Temporarily remove new UNREACHABLE statements

antlechner · antlechner · commit c9e46ae7b742 · 2018-08-13T21:15:55.000+01:00
These really should be unreachable, but some company code needs to be
changed for this first. A ticket number has been added as a reminder.
diff --git a/src/goto-symex/symex_builtin_functions.cpp b/src/goto-symex/symex_builtin_functions.cpp
@@ -505,7 +505,8 @@ void goto_symext::symex_fkt(
   statet &,
   const code_function_callt &)
 {
-  UNREACHABLE;
+  // TODO: uncomment this line when TG-4667 is done
+  // UNREACHABLE;
   #if 0
   exprt new_fc(ID_function, fc.type());
 
diff --git a/src/goto-symex/symex_catch.cpp b/src/goto-symex/symex_catch.cpp
@@ -13,7 +13,8 @@ Author: Daniel Kroening, kroening@kroening.com
 
 void goto_symext::symex_catch(statet &)
 {
-  UNREACHABLE;
+  // TODO: uncomment this line when TG-4667 is done
+  // UNREACHABLE;
   // there are two variants: 'push' and 'pop'
 
   #if 0

Original file line number	Diff line number	Diff line change
`@@ -505,7 +505,8 @@ void goto_symext::symex_fkt(`
`505`	`505`	`statet &,`
`506`	`506`	`const code_function_callt &)`
`507`	`507`	`{`
`508`		`- UNREACHABLE;`
	`508`	`+ // TODO: uncomment this line when TG-4667 is done`
	`509`	`+ // UNREACHABLE;`
`509`	`510`	`#if 0`
`510`	`511`	`exprt new_fc(ID_function, fc.type());`
`511`	`512`
Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,8 @@ Author: Daniel Kroening, [email protected]`
`13`	`13`
`14`	`14`	`void goto_symext::symex_catch(statet &)`
`15`	`15`	`{`
`16`		`- UNREACHABLE;`
	`16`	`+ // TODO: uncomment this line when TG-4667 is done`
	`17`	`+ // UNREACHABLE;`
`17`	`18`	`// there are two variants: 'push' and 'pop'`
`18`	`19`
`19`	`20`	`#if 0`