Add analysis_exceptiont

Author: danpoe

src/util/exception_utils.cpp

@@ -18,3 +18,11 @@ std::string invalid_user_input_exceptiont::what() const noexcept
   res += correct_input + "\n";
   return res;
 }
+
+std::string analysis_exceptiont::what() const noexcept
+{
+  std::string res;
+  res += "Analysis Error\n";
+  res += "Reason: " + reason + "\n";
+  return res;
+}

src/util/exception_utils.h

@@ -33,4 +33,17 @@ class invalid_user_input_exceptiont
   std::string what() const noexcept;
 };
 
+class analysis_exceptiont
+{
+  /// The reason this exception was generated.
+  std::string reason;
+
+public:
+  analysis_exceptiont(std::string reason) : reason(reason)
+  {
+  }
+
+  std::string what() const noexcept;
+};
+
 #endif // CPROVER_UTIL_EXCEPTION_UTILS_H

src/util/parse_options.cpp

@@ -76,6 +76,12 @@ int parse_options_baset::main()
     std::cerr << e.what() << "\n";
     return CPROVER_EXIT_USAGE_ERROR;
   }
+  catch(analysis_exceptiont &e)
+  {
+    std::cerr << e.what() << "\n";
+    return CPROVER_EXIT_EXCEPTION;
+  }
+
   return CPROVER_EXIT_SUCCESS;
 }