Merge pull request #3317 from tautschnig/vs-message-handler

tautschnig · web-flow · commit add270e8ea12 · 2018-11-10T12:06:35.000Z
Remove unused parameter message_handler from static_lifetime_init [blocks: #2310]
diff --git a/src/ansi-c/ansi_c_entry_point.cpp b/src/ansi-c/ansi_c_entry_point.cpp
@@ -177,7 +177,7 @@ bool ansi_c_entry_point(
     return false; // give up
   }
 
-  static_lifetime_init(symbol_table, symbol.location, message_handler);
+  static_lifetime_init(symbol_table, symbol.location);
 
   return generate_ansi_c_start_function(symbol, symbol_table, message_handler);
 }
diff --git a/src/linking/static_lifetime_init.cpp b/src/linking/static_lifetime_init.cpp
@@ -24,8 +24,7 @@ Author: Daniel Kroening, kroening@kroening.com
 
 void static_lifetime_init(
   symbol_tablet &symbol_table,
-  const source_locationt &source_location,
-  message_handlert &message_handler)
+  const source_locationt &source_location)
 {
   PRECONDITION(symbol_table.has_symbol(INITIALIZE_FUNCTION));
 
diff --git a/src/linking/static_lifetime_init.h b/src/linking/static_lifetime_init.h
@@ -18,8 +18,7 @@ class symbol_tablet;
 
 void static_lifetime_init(
   symbol_tablet &symbol_table,
-  const source_locationt &source_location,
-  message_handlert &message_handler);
+  const source_locationt &source_location);
 
 #define INITIALIZE_FUNCTION CPROVER_PREFIX "initialize"
 

Original file line number	Diff line number	Diff line change
`@@ -177,7 +177,7 @@ bool ansi_c_entry_point(`
`177`	`177`	`return false; // give up`
`178`	`178`	`}`
`179`	`179`
`180`		`- static_lifetime_init(symbol_table, symbol.location, message_handler);`
	`180`	`+ static_lifetime_init(symbol_table, symbol.location);`
`181`	`181`
`182`	`182`	`return generate_ansi_c_start_function(symbol, symbol_table, message_handler);`
`183`	`183`	`}`
Original file line number	Diff line number	Diff line change
`@@ -24,8 +24,7 @@ Author: Daniel Kroening, [email protected]`
`24`	`24`
`25`	`25`	`void static_lifetime_init(`
`26`	`26`	`symbol_tablet &symbol_table,`
`27`		`- const source_locationt &source_location,`
`28`		`- message_handlert &message_handler)`
	`27`	`+ const source_locationt &source_location)`
`29`	`28`	`{`
`30`	`29`	`PRECONDITION(symbol_table.has_symbol(INITIALIZE_FUNCTION));`
`31`	`30`