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

[Ding Fei via cfe-commits]

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

Thanks for reminding of this! Fixed!

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