mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-08-02 12:13:25 +00:00
Code Activity

Add -Wextra-semi to CLANG_ONLY_WARNINGS (#10305)

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.

I realized that in https://github.com/Z3Prover/z3/pull/10192, I had
intended to add "-Wextra-semi" to CLANG_ONLY_WARNINGS. I certainly did
in testing, and the PR fixes all the remaining warnings it provokes, but
for some reason I left it out of the final PR. This adds it back; I
tested by doing both the dbg and release builds.
This commit is contained in:
davedets 2026-07-30 11:36:00 -07:00 • committed by GitHub
parent 808a35b5e3
commit 966a32cfc0
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

@ -26,6 +26,7 @@ set(CLANG_ONLY_WARNINGS
"-Wno-missing-field-initializers"
"-Wcast-qual"
"-Wimplicit-fallthrough"
"-Wextra-semi"
)
set(MSVC_WARNINGS "/W3")