search

Z3Prover / z3

The Z3 Theorem Prover
Other
10.35k stars 1.48k forks source link

unreachable code #5950

Closed maddin200 closed 2 years ago

maddin200 commented 2 years ago

src/api/api_ast.cpp line 1306 Code:

case OP_FPA_BV2RM: return Z3_OP_FPA_BV2RM; return Z3_OP_UNINTERPRETED; // <- unreachable default: return Z3_OP_INTERNAL; }

NikolajBjorner commented 2 years ago

If you feel this is important to fix, why not add a pull request?