From 16e6a997b0b1b34d17a9ad56d3a6cdbe94084c23 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 22 Jun 2018 14:35:35 +0100
Subject: [PATCH] Use type-consistent unsigned value for unreachable return
 statement

---
 src/goto-cc/goto_cc_cmdline.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/goto-cc/goto_cc_cmdline.cpp b/src/goto-cc/goto_cc_cmdline.cpp
index f1b933a284..52fd45b5d7 100644
--- 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?