[clang] [analyzer] Fix crash in BasicValueFactory.cpp with __int128_t integers (PR #67212)

via cfe-commits cfe-commits at lists.llvm.org
Wed Sep 27 03:11:05 PDT 2023


================
@@ -298,6 +301,9 @@ BasicValueFactory::evalAPSInt(BinaryOperator::Opcode Op,
       if (V2.isSigned() && V2.isNegative())
         return nullptr;
 
+      if (V2.getBitWidth() > 64)
----------------
DonatNagyE wrote:

```suggestion
      if (V2.isNegative() || V2.getBitWidth() > 64)
```
As above.

https://github.com/llvm/llvm-project/pull/67212


More information about the cfe-commits mailing list