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

Balazs Benics via cfe-commits cfe-commits at lists.llvm.org
Mon Jan 6 23:50:13 PST 2025


steakhal wrote:

I find this really unfortunate that I had to patch the other places where we initialize the AnalyzerOptions table.
Just because the we can't assign the default value to the given option. This makes me reconsider my approach because it WILL break all downstream users.
Any suggestions?

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


More information about the cfe-commits mailing list