[clang] [clang][analyzer][NFC] Add a helper for conjuring symbols at call events (PR #137182)

[Fangyi Zhou via cfe-commits]

================
@@ -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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits