[clang] [analyzer] Correct crash in Z3 wrapper (PR #158276)

[via cfe-commits]

================
@@ -13,3 +13,29 @@ int negate(int x, int y) {
     return 0;
   return 1;
 }
+
+void c();
+void case004(int *a, int *b) {
+  void *e;
+  b != a;
+  c(e); // expected-warning{{1st function call argument is an uninitialized value}}
+}
+
+void z3crash(int a, int b) {
+  b = a || b;
+  (-b == a) / a; // expected-warning{{expression result unused}}
----------------
vabridgers wrote:

Mmm, that's interesting. The change I made avoids the crash, I'll dig into this a bit more to explain what's happening here. 

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