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

[Arseniy Zaostrovnykh via cfe-commits]

necto wrote:

> Should I measure the perf of this change?

I think so, because the patch is substantially different. For example, the overly complex symbol tree is now preserved, even if it is apparently not traversed in its entirety any longer. That makes it not obvious if the initial performance gains are still there.

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