Merge pull request diffblue#2550 from tautschnig/vs-return

Use type-consistent unsigned value for unreachable return statement
NathanJPhillips · Jul 7, 2018 · 9b087dc · 9b087dc
2 parents dc35270 + 16e6a99
commit 9b087dc
Showing 1 changed file with 1 addition and 1 deletion.
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?