[clang] [clang][StaticAnalyzer] Fix crash in SimpleSValBuilder with unsigned __int128 and negative literals (PR #150225)
Balazs Benics via cfe-commits
cfe-commits at lists.llvm.org
Fri Jul 25 06:16:47 PDT 2025
================
@@ -202,6 +213,11 @@ void BuiltinFunctionChecker::handleOverflowBuiltin(const CallEvent &Call,
// Calling a builtin with an incorrect argument count produces compiler error.
assert(Call.getNumArgs() == 3);
+ // If ResultType is null, we can't proceed with the evaluation
+ if (ResultType.isNull()) {
+ return;
+ }
----------------
steakhal wrote:
When can `ResultType` be null? Is it that the `getSufficientTypeForOverflowOp` of `__int128` is a null QualType?
https://github.com/llvm/llvm-project/pull/150225
More information about the cfe-commits
mailing list