Print unrecognized Z3 expressions

lifting-bits · Apr 29, 2024 · 33dfc54 · 33dfc54
1 parent 0c3d315
commit 33dfc54
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/AST/IRToASTVisitor.cpp b/lib/AST/IRToASTVisitor.cpp
@@ -140,7 +140,7 @@ clang::Expr *IRToASTVisitor::ConvertExpr(z3::expr expr) {
       return neg;
     }
     default:
-      LOG(FATAL) << "Invalid z3 op";
+      LOG(FATAL) << "Invalid z3 op " << expr.to_string();
   }
   return nullptr;
 }