projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4132e91) | patch
Fix nightly errors. (#6034)
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 2 Mar 2021 04:18:24 +0000 (20:18 -0800)
committerGitHub <noreply@github.com>
Tue, 2 Mar 2021 04:18:24 +0000 (04:18 +0000)
commit968ba63bab1709096f09efcdf84651c8c1481110
treeabc4b20a1b0506ff63bfe7d4e29da860dd0e1caatree
parent4132e91fdb2f8912a89a101e96c86bf5076b327acommit | diff
Fix nightly errors. (#6034)

Fixes warnings with CVC4_FALLTHROUGH and -Werror for debug/production with gcc/clang. Clang detects that a CVC4_FALLTHROUGH after an Assert(false); is unreachable and issues a warning, while gcc issues a warning about an implicit fall-through if CVC4_FALLTHROUGH is not present.
src/preprocessing/passes/bv_to_int.cpp diff | blob | history
src/theory/arrays/theory_arrays.cpp diff | blob | history