mirror of
https://github.com/Z3Prover/z3
synced 2026-08-10 07:51:20 +00:00
466a5620e1
Imports the `davedets:master` covered-switch-default cleanup into
`Detlefs`.
- **Warning cleanup**
- Removes redundant `default` cases across exhaustive enum switches.
- Enables Clang’s `-Wcovered-switch-default`.
- **Portability**
- Adds the non-Clang no-op for statement-context warning suppression.
- Retains the arithmetic solver fallback for unrecognized solver IDs.
```cpp
START_DISABLE_COVERED_SWITCH_DEFAULT
default:
m_context.register_plugin(alloc(smt::theory_mi_arith, m_context));
break;
END_DISABLE_WARNING_STMT
```
---------
---------
Co-authored-by: Copilot <198982749+Copilot@users.noreply.github.com>
Co-authored-by: David Detlefs <daviddetlefs@gmail.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
|
||
|---|---|---|
| .. | ||
| modules | ||
| check_link_atomic.cmake | ||
| cmake_uninstall.cmake.in | ||
| compiler_lto.cmake | ||
| compiler_warnings.cmake | ||
| cxx_compiler_flags_overrides.cmake | ||
| git_utils.cmake | ||
| msvc_legacy_quirks.cmake | ||
| target_arch_detect.cmake | ||
| target_arch_detect.cpp | ||
| z3_add_component.cmake | ||
| z3_add_cxx_flag.cmake | ||
| z3_append_linker_flag_list_to_target.cmake | ||
| Z3Config.cmake.in | ||