Use type-consistent unsigned value for unreachable return statement

2018-06-22 14:35:35 +01:00 · 2018-06-22 14:35:35 +01:00 · 16e6a997b0
parent 8187bdd165
commit 16e6a997b0
1 changed files with 1 additions and 1 deletions
--- 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?