Merge pull request #6138 from tautschnig/bv-pointers-else

bv_pointerst: else case is just for byte updates
diffblue · Aug 13, 2021 · f0a4e75 · f0a4e75
2 parents 0aaf6d9 + d73135a
commit f0a4e75
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/solvers/flattening/bv_pointers.cpp b/src/solvers/flattening/bv_pointers.cpp
@@ -508,7 +508,9 @@ bvt bv_pointerst::convert_pointer_type(const exprt &expr)
   {
     return SUB::convert_byte_extract(to_byte_extract_expr(expr));
   }
-  else
+  else if(
+    expr.id() == ID_byte_update_little_endian ||
+    expr.id() == ID_byte_update_big_endian)
   {
     return SUB::convert_byte_update(to_byte_update_expr(expr));
   }