Commits on Sep 18, 2023

1. [analyzer] Fix crash analyzing _BitInt() in evalIntegralCast …

   evalIntegralCast was using makeIntVal, and when _BitInt() types were
   introduced this exposed a crash in evalIntegralCast as a result.
   
   Improve evalIntegralCast to use makeIntVal more efficiently to avoid the
   crash exposed by use of _BitInt.
   
   This was caught with our internal randomized testing.
   
   <src-root>/llvm/include/llvm/ADT/APInt.h:1510:
     int64_t llvm::APInt::getSExtValue() const: Assertion
     `getSignificantBits() <= 64 && "Too many bits for int64_t"' failed.a
   
   ...
    llvm#9 <address> llvm::APInt::getSExtValue() const
     <src-root>/llvm/include/llvm/ADT/APInt.h:1510:5
     llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>,
     clang::ento::SVal, clang::QualType, clang::QualType)
     <src-root>/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp:607:24
     clang::Expr const*, clang::ento::ExplodedNode*, clang::ento::ExplodedNodeSet&)
     <src-root>/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp:413:61
   ...
   
    Fixes: llvm#61960
   
    Reviewed By: donat.nagy

   

   vabridgers authored and einvbri committed Sep 18, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for ea63aae
   • Browse repository at this point

   Copy the full SHA

   ea63aae View commit details

   Browse the repository at this point in the history