Fix function_may_throw maybe uninitialised error with gcc-12

thomasspriggs · thomasspriggs · commit 859ac17b701b · 2023-02-15T18:45:02.000Z
diff --git a/jbmc/src/java_bytecode/remove_exceptions.cpp b/jbmc/src/java_bytecode/remove_exceptions.cpp
@@ -95,7 +95,7 @@ class remove_exceptionst
     message_handlert &_message_handler)
     : symbol_table(_symbol_table),
       class_hierarchy(_class_hierarchy),
-      function_may_throw(_function_may_throw),
+      function_may_throw(std::move(_function_may_throw)),
       remove_added_instanceof(_remove_added_instanceof),
       message_handler(_message_handler)
   {

Original file line number	Diff line number	Diff line change
`@@ -95,7 +95,7 @@ class remove_exceptionst`
`95`	`95`	`message_handlert &_message_handler)`
`96`	`96`	`: symbol_table(_symbol_table),`
`97`	`97`	`class_hierarchy(_class_hierarchy),`
`98`		`- function_may_throw(_function_may_throw),`
	`98`	`+ function_may_throw(std::move(_function_may_throw)),`
`99`	`99`	`remove_added_instanceof(_remove_added_instanceof),`
`100`	`100`	`message_handler(_message_handler)`
`101`	`101`	`{`