[analyzer] Harden safeguards for Z3 query times#95129

steakhal merged 9 commits intomainllvm/llvm-project:mainfrom

users/steakhal/spr/analyzer-harden-safeguards-for-z3-query-timesllvm/llvm-project:users/steakhal/spr/analyzer-harden-safeguards-for-z3-query-timesCopy head branch name to clipboard