Merge pull request #3138 from chrisr-diffblue/exception-fixup

tautschnig · web-flow · commit bffa0b93a0c5 · 2018-10-12T13:25:40.000+01:00
Make incorrect_goto_program_exceptiont only output '(at: ..)' if there is a source_location
diff --git a/src/util/exception_utils.cpp b/src/util/exception_utils.cpp
@@ -63,7 +63,6 @@ incorrect_goto_program_exceptiont::incorrect_goto_program_exceptiont(
 
 std::string incorrect_goto_program_exceptiont::what() const
 {
-  return message + " (at: " + source_location.as_string() + ")";
   if(source_location.is_nil())
     return message;
   else

Original file line number	Diff line number	Diff line change
`@@ -63,7 +63,6 @@ incorrect_goto_program_exceptiont::incorrect_goto_program_exceptiont(`
`63`	`63`
`64`	`64`	`std::string incorrect_goto_program_exceptiont::what() const`
`65`	`65`	`{`
`66`		`- return message + " (at: " + source_location.as_string() + ")";`
`67`	`66`	`if(source_location.is_nil())`
`68`	`67`	`return message;`
`69`	`68`	`else`