[clang] [clang][analyzer][NFC] Add a helper for conjuring symbols at call events (PR #137182)
Balazs Benics via cfe-commits
cfe-commits at lists.llvm.org
Thu Apr 24 08:05:20 PDT 2025
================
@@ -209,6 +209,12 @@ class SValBuilder {
const LocationContext *LCtx,
QualType type,
unsigned visitCount);
+ DefinedOrUnknownSVal conjureSymbolVal(const CallEvent &call, QualType type,
+ unsigned visitCount,
+ const void *symbolTag = nullptr);
----------------
steakhal wrote:
Shouldn't the Call already have a type? Why do we need to pass it separately?
https://github.com/llvm/llvm-project/pull/137182
More information about the cfe-commits
mailing list