[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