allow goto-cc -E

smowton · Sep 19, 2017 · 0823f05 · 0823f05
1 parent 00cbad7
commit 0823f05
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/goto-cc/gcc_mode.cpp b/src/goto-cc/gcc_mode.cpp
@@ -419,10 +419,7 @@ int gcc_modet::doit()
   else if(cmdline.isset('c'))
     compiler.mode=compilet::COMPILE_ONLY;
   else if(cmdline.isset('E'))
-  {
     compiler.mode=compilet::PREPROCESS_ONLY;
-    UNREACHABLE;
-  }
   else if(cmdline.isset("shared") ||
           cmdline.isset('r')) // really not well documented
     compiler.mode=compilet::COMPILE_LINK;