Merge pull request diffblue#483 from diffblue/smowton/fix/csvsa-always-queue-successors

CSVSA: disregard return value from 'visit'

Author: smowton

src/pointer-analysis/context_sensitive_value_set_analysis.cpp

@@ -113,12 +113,9 @@ void csvsa_function_contextt::csvsa_visit(locationt l)
 
   // Otherwise turn local successors into global ones:
   working_sett local_successors;
-  bool changed = visit(l, local_successors, goto_program, empty_goto_functions);
-  if(changed)
-  {
-    for(auto &successor : local_successors)
-      driver.queue_instruction(context_number, successor.second);
-  }
+  visit(l, local_successors, goto_program, empty_goto_functions);
+  for(auto &successor : local_successors)
+    driver.queue_instruction(context_number, successor.second);
 }
 
 void csvsa_function_contextt::merge_call_return_state(