[clang] [StaticAnalyzer] early return if sym is concrete on assuming (PR #115579)

[Balazs Benics via cfe-commits]

steakhal wrote:

Hi, thanks for the PR!

I'm slightly confused that the compiler crash you refer to comes from the stdlibrary fn checker.
This suggest to me a checker problem - and likely relates to the stdlibraryfn checker early return.

However, this also couples with a solver change. Is this improving the solver that would also make the checker avoid the crash? If this is the case, then we should have separate PRs because we should harden the checker on one side, and also improve the solver in an other area.

In any case, I'll have a look at this next week.

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