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

[Donát Nagy via llvm-branch-commits]

https://github.com/NagyDonat approved this pull request.

Oops, I vaguely recalled that I already reviewed this, but it turns out I didn't. Anyway, the change LGTM, I only added a few minor remarks. (We already discussed a high-level overview of this on Discourse.)

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