update

SpencerL-Y · Jun 28, 2024 · 5aae9bb · 5aae9bb
1 parent f309375
commit 5aae9bb
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/goto-symex/builtin_functions.cpp b/src/goto-symex/builtin_functions.cpp
@@ -486,11 +486,13 @@ void goto_symext::symex_free(const expr2tc &expr)
   } else {
 
     // Clear the alloc heapsize.
-    expr2tc ptr_obj = dereference2tc(get_uint8_type(), code.operand);
+    // expr2tc ptr_obj = dereference2tc(get_uint8_type(), code.operand);
+    expr2tc ptr_obj = pointer_object2tc(pointer_type2(), code.operand);
     ptr_obj->dump();
     dereference(ptr_obj, dereferencet::READ);
     log_status("dereferenced ptr_obj to free");
     ptr_obj->dump();
+
 
   }
 }