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

[Donát Nagy via cfe-commits]

NagyDonat wrote:

I'm still convinced that the solution that returns `UnknownVal`s is unacceptable from a code readability and maintainability perspective. In my opinion adding so much complexity would be only acceptable if it was the only way to fix regularly occurring crash, and enforcing this invariant is not worth the change.

Of course, I understand that this is my personal opinion and can accept if other members of the community overrule it, but I'm strongly against it.

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