[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