[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