Merge pull request #3940 from tautschnig/deprecation-nil_typet-unreachable

tautschnig · web-flow · commit 70b96ababcd6 · 2019-01-26T17:14:38.000Z
Remove unreachable statement [blocks: #3800]
diff --git a/jbmc/src/java_bytecode/java_types.cpp b/jbmc/src/java_bytecode/java_types.cpp
@@ -210,7 +210,8 @@ typet java_type_from_char(char t)
   case 'd': return java_double_type();
   case 'z': return java_boolean_type();
   case 'a': return java_reference_type(void_typet());
-  default: UNREACHABLE; return nil_typet();
+  default:
+    UNREACHABLE;
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -210,7 +210,8 @@ typet java_type_from_char(char t)`
`210`	`210`	`case 'd': return java_double_type();`
`211`	`211`	`case 'z': return java_boolean_type();`
`212`	`212`	`case 'a': return java_reference_type(void_typet());`
`213`		`- default: UNREACHABLE; return nil_typet();`
	`213`	`+ default:`
	`214`	`+ UNREACHABLE;`
`214`	`215`	`}`
`215`	`216`	`}`
`216`	`217`