Merge pull request #1290 from diffblue/verilog-tc-boolean-cleanup

Verilog: cleanout unused Boolean operators from type checker

Author: tautschnig

src/verilog/verilog_typecheck_expr.cpp

@@ -3500,9 +3500,7 @@ exprt verilog_typecheck_exprt::convert_binary_expr(binary_exprt expr)
 
     return std::move(expr);
   }
-  else if(
-    expr.id() == ID_and || expr.id() == ID_or || expr.id() == ID_xor ||
-    expr.id() == ID_xnor || expr.id() == ID_nand || expr.id() == ID_nor)
+  else if(expr.id() == ID_and || expr.id() == ID_or)
   {
     for(auto &op : expr.operands())
     {
@@ -3516,6 +3514,13 @@ exprt verilog_typecheck_exprt::convert_binary_expr(binary_exprt expr)
 
     return std::move(expr);
   }
+  else if(
+    expr.id() == ID_xor || expr.id() == ID_xnor || expr.id() == ID_nand ||
+    expr.id() == ID_nor)
+  {
+    // should not occur -- only generated by the typechecker
+    PRECONDITION(false);
+  }
   else if(expr.id() == ID_verilog_value_range)
   {
     for(auto &op : expr.operands())