[clang] [clang][analyzer][NFC] Add a helper for conjuring symbols at call events (PR #137182)
Fangyi Zhou via cfe-commits
cfe-commits at lists.llvm.org
Thu Apr 24 12:54:25 PDT 2025
================
@@ -853,7 +853,7 @@ void SmartPtrModeling::handleBoolConversion(const CallEvent &Call,
const LocationContext *LC = C.getLocationContext();
InnerPointerVal = C.getSValBuilder().conjureSymbolVal(
- CallExpr, LC, InnerPointerType, C.blockCount());
+ Call, InnerPointerType, C.blockCount());
----------------
fangyi-zhou wrote:
For example, this inner pointer type is sometimes different from the call result type.
https://github.com/llvm/llvm-project/pull/137182
More information about the cfe-commits
mailing list