mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-25 01:50:33 +00:00
Code Activity

Fix missing field initializers (better). (#9923)

Browse source 
This is another PR towards the goal of getting Z3 to compile cleanly
when included via FetchContents into clang-tidy, which uses a pretty
strict set of warnings.

This one fixes warnings about "missing field initializers" -- struct
initializers that leave some field uninitialized.

In https://github.com/Z3Prover/z3/pull/9904, I tried to do this in the
code. @nunoplopes pointed out flaws with this approach. He outlined a
more ambitious approach to fix the actual problem (use of an "entry"
type when just a "key" type should be sufficient in some places). For
now, though, I think it's doesn't lose anything to just disable the
warning.
This commit is contained in:
davedets 2026-06-22 17:48:07 -07:00 • committed by GitHub
parent 5bba757131
commit 86737e11ea
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
cmake/compiler_warnings.cmake
View file

@ -23,6 +23,7 @@ set(CLANG_ONLY_WARNINGS
"-Wc99-extensions"
"-Wsuggest-override"
"-Winconsistent-missing-override"
"-Wno-missing-field-initializers"
)
set(MSVC_WARNINGS "/W3")