Use type-consistent unsigned value for unreachable return statement

tautschnig · tautschnig · commit 16e6a997b0b1 · 2018-07-07T10:23:38.000+01:00
diff --git a/src/goto-cc/goto_cc_cmdline.cpp b/src/goto-cc/goto_cc_cmdline.cpp
@@ -103,7 +103,7 @@ std::size_t goto_cc_cmdlinet::get_optnr(const std::string &opt_string)
   else
   {
     UNREACHABLE;
-    return -1;
+    return 0;
   }
 
   // new?

Original file line number	Diff line number	Diff line change
`@@ -103,7 +103,7 @@ std::size_t goto_cc_cmdlinet::get_optnr(const std::string &opt_string)`
`103`	`103`	`else`
`104`	`104`	`{`
`105`	`105`	`UNREACHABLE;`
`106`		`- return -1;`
	`106`	`+ return 0;`
`107`	`107`	`}`
`108`	`108`
`109`	`109`	`// new?`