[clang] [analyzer][Solver] Early return if sym is concrete on assuming (PR #115579)

[Ding Fei via cfe-commits]

danix800 wrote:

> I'm not sure I see why. The logs I linked in the revert only showed a single test failure. The new test we added in this PR. This suggests close correlations. Maybe the content of the "constraints" map in the State is dumped in a non-deterministic order? And we just happened to step on it now.

Yes it's the testcase touched by this PR that failed (not other random testcase inside the repo).

I mean that clang behaves randomly.

The randomness might not be introduced by this PR but by some earlier commit point.

I'm working on it.

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