[clang] [analyzer] Enforce not making overly complicated symbols (PR #144327)

Balázs Benics via cfe-commits cfe-commits at lists.llvm.org
Tue Jun 24 07:25:35 PDT 2025


================
@@ -671,17 +779,33 @@ class SymbolVisitor {
   virtual bool VisitMemRegion(const MemRegion *) { return true; }
 };
 
+// Returns a pointer to T if T is a SymbolData, otherwise SymExpr.
----------------
balazs-benics-sonarsource wrote:

Reworked the code, and dropped the `auto` type spec. This should be more readable now.

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


More information about the cfe-commits mailing list