remark that lhs_object will be deprecated

diffblue · May 13, 2018 · c3ec3dd · c3ec3dd
1 parent be037e7
commit c3ec3dd
Showing 1 changed file with 8 additions and 4 deletions.
diff --git a/src/goto-programs/goto_trace.h b/src/goto-programs/goto_trace.h
@@ -104,14 +104,18 @@ class goto_trace_stept
   // for assert
   std::string comment;
 
-  // the object being assigned
+  // The object being assigned.
+  // This will get removed, use full_lhs instead.
   ssa_exprt lhs_object;
 
-  // the full, original lhs expression
+  // The full, original lhs expression,
+  // but without dereferencing.
   exprt full_lhs;
 
-  // A constant with the new value
-  exprt lhs_object_value, full_lhs_value;
+  // A constant with the new value.
+  // lhs_object_value will get removed, use full_lhs_value instead.
+  exprt lhs_object_value;
+  exprt full_lhs_value;
 
   // for INPUT/OUTPUT
   irep_idt format_string, io_id;