[llvm-branch-commits] [analyzer] Harden safeguards for Z3 query times (PR #95129)

[Balazs Benics via llvm-branch-commits]

steakhal wrote:

I've tested this change on 200+ projects, and the overall effect is:
 - 0 new issues appear
 - 276 issues disappear (because we drop the report eqclass)
 
 The three most affected checker categories (all of them are spread across usually 20+ projects):
  - null-deref-like diagnostics (74)
 - OOBv2 (70)
 - uninit-read-like (55)
 
 This underpins the non-intrusive nature of this change.

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