mirror of
https://github.com/Z3Prover/z3
synced 2026-06-20 15:40:37 +00:00
c6d514a707
This is another PR towards the goal of getting a clean build with clang, using the compiler options used in building clang-tidy. In https://github.com/Z3Prover/z3/pull/9800, we changed the build flags to eliminate a warning for zero-length arrays. In that PR, I missed this one: there was one instance of m_arr[] instead of m_arr[0]. In the clang-tidy build, that gives warnings like: ``` /Users/daviddetlefs/llvm-project/build_dbg/_deps/z3-src/src/model/func_interp.h:43:12: warning: flexible array members are a C99 feature [-Wc99-extensions] ``` The PR fixes this, making it a zero-length array, the idiom used in all the other similar cases. I also added the compiler flag that produced this warning, so we can notice such changes in the future. |
||
|---|---|---|
| .. | ||
| ackermannization | ||
| api | ||
| ast | ||
| cmd_context | ||
| math | ||
| model | ||
| muz | ||
| nlsat | ||
| opt | ||
| params | ||
| parsers | ||
| qe | ||
| sat | ||
| shell | ||
| smt | ||
| solver | ||
| tactic | ||
| test | ||
| util | ||
| CMakeLists.txt | ||