Fixing merge error in dependence graph merge

thk123 · thk123 · commit ebbbd466cd4a · 2017-06-15T19:14:15.000+01:00
diff --git a/src/analyses/goto_rw.cpp b/src/analyses/goto_rw.cpp
@@ -583,7 +583,6 @@ void rw_range_sett::get_objects_rec(
     get_objects_address_of(to_address_of_expr(expr).object(), expr);
   else if(mode==get_modet::READ)
   {
-    get_objects_address_of(to_address_of_expr(expr).object(), expr);
     {
       // possibly affects the full object size, even if range_start/size
       // are only a subset of the bytes (e.g., when using the result of

Original file line number	Diff line number	Diff line change
`@@ -583,7 +583,6 @@ void rw_range_sett::get_objects_rec(`
`583`	`583`	`get_objects_address_of(to_address_of_expr(expr).object(), expr);`
`584`	`584`	`else if(mode==get_modet::READ)`
`585`	`585`	`{`
`586`		`- get_objects_address_of(to_address_of_expr(expr).object(), expr);`
`587`	`586`	`{`
`588`	`587`	`// possibly affects the full object size, even if range_start/size`
`589`	`588`	`// are only a subset of the bytes (e.g., when using the result of`