From 966a32cfc0fd082511139ee638b8300ba230b0cd Mon Sep 17 00:00:00 2001 From: davedets Date: Thu, 30 Jul 2026 11:36:00 -0700 Subject: [PATCH] Add -Wextra-semi to CLANG_ONLY_WARNINGS (#10305) 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. --- cmake/compiler_warnings.cmake | 1 + 1 file changed, 1 insertion(+) diff --git a/cmake/compiler_warnings.cmake b/cmake/compiler_warnings.cmake index b9424e1b25..7a68711bc6 100644 --- a/cmake/compiler_warnings.cmake +++ b/cmake/compiler_warnings.cmake @@ -26,6 +26,7 @@ set(CLANG_ONLY_WARNINGS "-Wno-missing-field-initializers" "-Wcast-qual" "-Wimplicit-fallthrough" + "-Wextra-semi" ) set(MSVC_WARNINGS "/W3")