diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-04-30 12:17:13 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-30 12:17:13 -0700 |
| commit | 859b55b3ba0d6aa43b71e05bdc83480313c107ac (patch) | |
| tree | 8420b3514f830c176cc8cf7b599e9530e46e6f7b /test/regress/regress1/arith | |
| parent | a6ef5fbd9ac3a6a247c6ecbcac2fc9e518be6f1c (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).
Diffstat (limited to 'test/regress/regress1/arith')
0 files changed, 0 insertions, 0 deletions