Supports ptrmember in history variables

feliperodri · feliperodri · commit 4d35e6c968b3 · 2021-08-09T05:29:46.000Z
Signed-off-by: Felipe R. Monteiro &lt;felisous@amazon.com&gt;
diff --git a/src/goto-instrument/contracts/contracts.cpp b/src/goto-instrument/contracts/contracts.cpp
@@ -396,7 +396,7 @@ void code_contractst::replace_old_parameter(
 
     if(
       parameter.id() == ID_dereference || parameter.id() == ID_member ||
-      parameter.id() == ID_symbol)
+      parameter.id() == ID_symbol || parameter.id() == ID_ptrmember)
     {
       auto it = parameter2history.find(parameter);
 

Original file line number	Diff line number	Diff line change
`@@ -396,7 +396,7 @@ void code_contractst::replace_old_parameter(`
`396`	`396`
`397`	`397`	`if(`
`398`	`398`	`parameter.id() == ID_dereference \|\| parameter.id() == ID_member \|\|`
`399`		`- parameter.id() == ID_symbol)`
	`399`	`+ parameter.id() == ID_symbol \|\| parameter.id() == ID_ptrmember)`
`400`	`400`	`{`
`401`	`401`	`auto it = parameter2history.find(parameter);`
`402`	`402`