projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a6ef5fb) | patch
Remove dead code in bv-to-bool preprocessing pass (#1828)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 30 Apr 2018 19:17:13 +0000 (12:17 -0700)
committerGitHub <noreply@github.com>
Mon, 30 Apr 2018 19:17:13 +0000 (12:17 -0700)
commit859b55b3ba0d6aa43b71e05bdc83480313c107ac
tree8420b3514f830c176cc8cf7b599e9530e46e6f7btree
parenta6ef5fbd9ac3a6a247c6ecbcac2fc9e518be6f1ccommit | diff
Remove dead code in bv-to-bool preprocessing pass (#1828)

Fixes Coverity issue 1468436. As Coverity correctly detects,
kind::BITVECTOR_XOR is dealt with in an if-statement before the switch
statement on kind. This is because kind::XOR is binary while
kind::BITVECTOR_XOR is n-ary (as a comment in the code correctly
indicates).
src/preprocessing/passes/bv_to_bool.cpp diff | blob | history