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

[Balazs Benics via cfe-commits]

================
@@ -0,0 +1,37 @@
+// RUN: %clang_analyze_cc1 %s \
+// RUN:   -analyzer-checker=debug.ExprInspection \
+// RUN:   -verify
----------------
steakhal wrote:

I think you need to pin the target triple as in the test you have an assumption about the size of int, as the upperbound of a value range.

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