[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:06:14 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:

I suspect that everywhere where we pass this type separately we either pass the wrong type or we pass the return type of the call.

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


More information about the cfe-commits mailing list