[clang] [analyzer] Retry UNDEF Z3 queries 2 times by default (PR #120239)

[Balazs Benics via cfe-commits]

steakhal wrote:

> LGTM, thanks for the updates!
> 
> If the updated test passes, feel free to merge it.

The uploaded tests never run in the CI due to the `REQUIRES: Z3`. I double checked locally and everything passes.

Thanks for the review.

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