Do not unnecessarily pass in class member "symbol_table"

tautschnig · tautschnig · commit ee34d34d7f19 · 2018-11-14T23:26:03.000Z
Just remove the parameter.
diff --git a/src/goto-instrument/wmm/shared_buffers.cpp b/src/goto-instrument/wmm/shared_buffers.cpp
@@ -1021,7 +1021,6 @@ bool shared_bufferst::is_buffered_in_general(
 /// variables (non necessarily shared themselves) whose value could be changed
 /// as effect of a read delay
 void shared_bufferst::affected_by_delay(
-  symbol_tablet &symbol_table,
   value_setst &value_sets,
   goto_functionst &goto_functions)
 {
diff --git a/src/goto-instrument/wmm/shared_buffers.h b/src/goto-instrument/wmm/shared_buffers.h
@@ -184,7 +184,6 @@ class shared_bufferst
     goto_functionst &goto_functions);
 
   void affected_by_delay(
-    symbol_tablet &symbol_table,
     value_setst &value_sets,
     goto_functionst &goto_functions);
 
diff --git a/src/goto-instrument/wmm/weak_memory.cpp b/src/goto-instrument/wmm/weak_memory.cpp
@@ -222,8 +222,7 @@ void weak_memory(
   shared_buffers.cycles_r_loc = instrumenter.id2cycloc; // places in the cycles
 
   // for reads delays
-  shared_buffers.affected_by_delay(
-    goto_model.symbol_table, value_sets, goto_model.goto_functions);
+  shared_buffers.affected_by_delay(value_sets, goto_model.goto_functions);
 
   for(std::set<irep_idt>::iterator it=
     shared_buffers.affected_by_delay_set.begin();

Original file line number	Diff line number	Diff line change
`@@ -1021,7 +1021,6 @@ bool shared_bufferst::is_buffered_in_general(`
`1021`	`1021`	`/// variables (non necessarily shared themselves) whose value could be changed`
`1022`	`1022`	`/// as effect of a read delay`
`1023`	`1023`	`void shared_bufferst::affected_by_delay(`
`1024`		`- symbol_tablet &symbol_table,`
`1025`	`1024`	`value_setst &value_sets,`
`1026`	`1025`	`goto_functionst &goto_functions)`
`1027`	`1026`	`{`