Reland "[analyzer] Harden safeguards for Z3 query times"#97298

steakhal merged 1 commit intollvm:mainllvm/llvm-project:mainfrom

steakhal:bb/reland-z3-safeguardsCopy head branch name to clipboard