Repository navigation

Fix GCC 16 warning-as-error build failures - #9024

Merged

kroening merged 7 commits into

diffblue:developfrom

StudyingFather:g++16-warning-fix

Oct 2, 2026

Commits on Oct 1, 2026

util/unit: avoid GCC 16 array-bounds warnings in json string ranges
StudyingFather
committed
58accc3
variable-sensitivity: avoid GCC 16 array-bounds warnings from virtual dispatch
StudyingFather
committed
b43cd4c
smt2 incremental: avoid reference_wrapper on incomplete namespace type
StudyingFather
committed
9d9f6f4
smt2: remove unused struct component counter
StudyingFather
committed
3c4285e
unit: avoid assuming source-location pragma order
StudyingFather
committed
4bcebdc
unit: format JSON test includes
StudyingFather
committed
6a3f2c2
unit/util: format
StudyingFather
committed
83f4ae8