Improve error reporting for unsupported combinations of task / interpreter / domain.

Author: martin

src/goto-analyzer/static_analyzer.cpp

@@ -267,7 +267,7 @@ bool static_analyzer(
     //    (goto_model, options, message_handler, out)();
 
     else
-      return true;
+      goto fail;
   }
   else if (options.get_bool_option("concurrent"))
   {
@@ -287,8 +287,14 @@ bool static_analyzer(
 
     else
 #endif
-      return true;
+      goto fail;
   }
   else
-    return true;
+    goto fail;
+
+  
+ fail :
+  messaget m(message_handler);
+  m.status() << "Task / Interpreter / Domain combination not supported" << messaget::eom;
+  return true;
 }

src/goto-analyzer/static_show_domain.cpp

@@ -66,7 +66,11 @@ bool static_show_domain(
   }
 
   if (domain == NULL)
+  {
+    messaget m(message_handler);
+    m.status() << "Task / Interpreter / Domain combination not supported" << messaget::eom;
     return true;
+  }
 
   //status() << "performing analysis" << eom;
   (*domain)(goto_model);

src/goto-analyzer/static_simplifier.cpp

@@ -257,7 +257,7 @@ bool static_simplifier(
     //    (goto_model, options, message_handler, out)();
 
     else
-      return true;
+      goto fail;
   }
   else if (options.get_bool_option("concurrent"))
   {
@@ -277,8 +277,13 @@ bool static_simplifier(
 
     else
 #endif
-      return true;
+      goto fail;
   }
   else
-    return true;
+    goto fail;
+
+ fail :
+  messaget m(message_handler);
+  m.status() << "Task / Interpreter / Domain combination not supported" << messaget::eom;
+  return true;
 }