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

[Donát Nagy via cfe-commits]

================
@@ -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.
----------------
NagyDonat wrote:

Please place a copy of this (very helpful!) comment at the declaration of this method as well.

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