diff --git a/regression/goto-gcc/dev_null1/main.c b/regression/goto-gcc/dev_null1/main.c
new file mode 100644
index 0000000000..9dfa23ff19
--- /dev/null
+++ b/regression/goto-gcc/dev_null1/main.c
@@ -0,0 +1,4 @@
+void fails(void)
+{
+  asm volatile ( ".if (0 == 0); .error \"asm error\";.endif" );
+}
diff --git a/regression/goto-gcc/dev_null1/test.desc b/regression/goto-gcc/dev_null1/test.desc
new file mode 100644
index 0000000000..215049ec4f
--- /dev/null
+++ b/regression/goto-gcc/dev_null1/test.desc
@@ -0,0 +1,8 @@
+CORE
+main.c
+-o /dev/null
+^EXIT=1$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$
diff --git a/src/goto-cc/gcc_mode.cpp b/src/goto-cc/gcc_mode.cpp
index 229b8804b5..373ddb2141 100644
--- a/src/goto-cc/gcc_mode.cpp
+++ b/src/goto-cc/gcc_mode.cpp
@@ -914,7 +914,7 @@ int gcc_modet::gcc_hybrid_binary(compilet &compiler)
   if(output_files.empty() ||
      (output_files.size()==1 &&
       output_files.front()=="/dev/null"))
-    return EX_OK;
+    return run_gcc(compiler);
 
   debug() << "Running " << native_tool_name
           << " to generate hybrid binary" << eom;