Merge pull request #4662 from tautschnig/exception-fix

tautschnig · web-flow · commit 5d23f212d110 · 2019-05-16T17:08:35.000+02:00
Fix compiler warning about polymorphic exception
diff --git a/src/memory-analyzer/analyze_symbol.cpp b/src/memory-analyzer/analyze_symbol.cpp
@@ -64,7 +64,7 @@ void gdb_value_extractort::analyze_symbol(const irep_idt &symbol_name)
 
     add_assignment(symbol_expr, target_expr);
   }
-  catch(gdb_interaction_exceptiont e)
+  catch(const gdb_interaction_exceptiont &e)
   {
     throw analysis_exceptiont(e.what());
   }

Original file line number	Diff line number	Diff line change
`@@ -64,7 +64,7 @@ void gdb_value_extractort::analyze_symbol(const irep_idt &symbol_name)`
`64`	`64`
`65`	`65`	`add_assignment(symbol_expr, target_expr);`
`66`	`66`	`}`
`67`		`- catch(gdb_interaction_exceptiont e)`
	`67`	`+ catch(const gdb_interaction_exceptiont &e)`
`68`	`68`	`{`
`69`	`69`	`throw analysis_exceptiont(e.what());`
`70`	`70`	`}`