Merge pull request diffblue#31 from diffblue/smowton/bugfix/init_evs

smowton · web-flow · commit ef010390dab3 · 2017-03-15T14:16:48.000Z
Fix external value set init
diff --git a/src/pointer-analysis/external_value_set_expr.h b/src/pointer-analysis/external_value_set_expr.h
@@ -85,7 +85,7 @@ class external_value_set_exprt:public exprt
     // the caller should set label() before using an instance constructed
     // this way.
     operands().resize(1);
-    label()=constant_exprt();
+    operands()[0]=constant_exprt();
   }
 
   external_value_set_exprt(
@@ -96,7 +96,7 @@ class external_value_set_exprt:public exprt
     exprt(ID_external_value_set, type)
   {
     operands().resize(1);
-    label()=_label;
+    operands()[0]=_label;
     set("#lva_mode", std::to_string(static_cast<int>(mode)));
     set("modified", std::to_string(modified ? 1 : 0));
   }

Original file line number	Diff line number	Diff line change
`@@ -85,7 +85,7 @@ class external_value_set_exprt:public exprt`
`85`	`85`	`// the caller should set label() before using an instance constructed`
`86`	`86`	`// this way.`
`87`	`87`	`operands().resize(1);`
`88`		`- label()=constant_exprt();`
	`88`	`+ operands()[0]=constant_exprt();`
`89`	`89`	`}`
`90`	`90`
`91`	`91`	`external_value_set_exprt(`
`@@ -96,7 +96,7 @@ class external_value_set_exprt:public exprt`
`96`	`96`	`exprt(ID_external_value_set, type)`
`97`	`97`	`{`
`98`	`98`	`operands().resize(1);`
`99`		`- label()=_label;`
	`99`	`+ operands()[0]=_label;`
`100`	`100`	`set("#lva_mode", std::to_string(static_cast<int>(mode)));`
`101`	`101`	`set("modified", std::to_string(modified ? 1 : 0));`
`102`	`102`	`}`