mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-18 13:06:40 +00:00
dd01633c81
This change avoids a crash in BasicValueFactory by checking the bit width of an APSInt to avoid calling getZExtValue if greater than 64-bits. This was caught by our internal, randomized test generator. Clang invocation clang -cc1 -analyzer-checker=optin.portability.UnixAPI case.c <src-root>/llvm/include/llvm/ADT/APInt.h:1488: uint64_t llvm::APInt::getZExtValue() const: Assertion `getActiveBits() <= 64 && "Too many bits for uint64_t"' failed. ... #9 <address> llvm::APInt::getZExtValue() const <src-root>/llvm/include/llvm/ADT/APInt.h:1488:5 clang::BinaryOperatorKind, llvm::APSInt const&, llvm::APSInt const&) <src-root>/clang/lib/StaticAnalyzer/Core/BasicValueFactory.cpp:307:37 llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::BinaryOperatorKind, clang::ento::NonLoc, clang::ento::NonLoc, clang::QualType) <src-root>/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp:531:31 llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>, clang::BinaryOperatorKind, clang::ento::SVal, clang::ento::SVal, clang::QualType) <src-root>/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp:532:26 ...
16 lines
307 B
C
16 lines
307 B
C
// RUN: %clang_analyze_cc1 -analyzer-checker=optin.portability.UnixAPI \
|
|
// RUN: -triple x86_64-pc-linux-gnu -x c %s
|
|
|
|
// Don't crash!
|
|
// expected-no-diagnostics
|
|
const __int128_t a = ( (__int128_t)1 << 64 );
|
|
const _BitInt(72) b = ( 1 << 72 );
|
|
|
|
void int128() {
|
|
2 >> a;
|
|
}
|
|
|
|
void withbitint() {
|
|
2 >> b;
|
|
}
|