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

[Balázs Benics via cfe-commits]

================
@@ -134,6 +137,101 @@ class SymbolConjured : public SymbolData {
   static constexpr bool classof(Kind K) { return K == ClassKind; }
 };
 
+/// A symbol representing the result of an expression that became too
+/// complicated. In other words, its complexity would have surpassed the
+/// MaxSymbolComplexity threshold.
+/// TODO: When the MaxSymbolComplexity is reached, we should propagate the taint
+/// info to it.
----------------
balazs-benics-sonarsource wrote:

In my opinion, the llvm-project static analyzer issue tracker is cursed. Once an issue gets there, will remain there for ever. FYI I just move this TODO to a more appropriate place. I didn't actually add it here.

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