[clang] [llvm] [analyzer] Correct Z3 test cases, fix exposed crashes (PR #146597)

[Balazs Benics via llvm-commits]

================
@@ -932,7 +932,8 @@ class Z3Statistics final : public SMTSolverStatistics {
   };
   unsigned getUnsigned(StringRef Key) const override {
     auto It = UnsignedValues.find(Key.str());
-    assert(It != UnsignedValues.end());
+    if (It == UnsignedValues.end())
+      return 0;
----------------
steakhal wrote:

Why did this assertion fail? I thought the "rlimit" must exist on the required Z3 versions.

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