[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


================
@@ -584,11 +584,9 @@ class StdLibraryFunctionsChecker
                           const Summary &Summary,
                           CheckerContext &C) const override {
       SValBuilder &SVB = C.getSValBuilder();
-      NonLoc ErrnoSVal =
-          SVB.conjureSymbolVal(&Tag, Call.getOriginExpr(),
-                               C.getLocationContext(), C.getASTContext().IntTy,
-                               C.blockCount())
-              .castAs<NonLoc>();
+      NonLoc ErrnoSVal = SVB.conjureSymbolVal(Call, C.getASTContext().IntTy,
----------------
fangyi-zhou wrote:

This int type is different from the call result type at times too.

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


More information about the cfe-commits mailing list