Merge pull request #905 from CAS-Atlantic/odin_soft_error

Odin: add soft errors

Author: jeanlego

ODIN_II/SRC/include/odin_error.h

@@ -43,6 +43,7 @@ static inline void _verbose_assert(bool condition, const char *condition_str, co
 void _log_message(odin_error error_type, long line_number, long file, bool soft_error, const char *function_file_name, long function_line, const char *function_name, const char *message, ...);
 
 #define error_message(error_type, line_number, file, message, ...) _log_message(error_type, line_number, file, false, __FILE__, __LINE__, __func__, message, __VA_ARGS__)
+#define possible_error_message(error_type, line_number, file, message, ...) _log_message(error_type, line_number, file, global_args.permissive.value(), __FILE__, __LINE__, __func__, message, __VA_ARGS__)
 #define warning_message(error_type, line_number, file, message, ...) _log_message(error_type, line_number, file, true, __FILE__, __LINE__, __func__, message, __VA_ARGS__)
 
 #endif

ODIN_II/SRC/include/odin_types.h

@@ -88,6 +88,7 @@ struct global_args_t
 	argparse::ArgValue<std::string> blif_file;
 	argparse::ArgValue<std::string> output_file;
 	argparse::ArgValue<std::string> arch_file; // Name of the FPGA architecture file
+	argparse::ArgValue<bool> permissive; //turn possible_errors into warnings
 
 	argparse::ArgValue<std::string> high_level_block; //Legacy option, no longer used
 

ODIN_II/SRC/odin_ii.cpp

@@ -396,6 +396,12 @@ void get_options(int argc, char** argv) {
 			.metavar("ARCHITECTURE_FILE")
 			;
 
+	other_grp.add_argument(global_args.permissive, "--permissive")
+			.help("Turn possible_error_messages into warning_messages ... unexpected behaviour may occur")
+			.default_value("false")
+			.action(argparse::Action::STORE_TRUE)
+			;
+
 	other_grp.add_argument(global_args.write_netlist_as_dot, "-G")
 			.help("Output netlist graph in graphviz .dot format")
 			.default_value("false")
@@ -607,6 +613,11 @@ void get_options(int argc, char** argv) {
 	{
 		configuration.debug_output_path = global_args.sim_directory;
 	}
+
+	if(global_args.permissive.value())
+	{
+		warning_message(ARG_ERROR,-1,-1, "%s", "Permissive flag is ON. Undefined behaviour may occur\n");
+	}
 }
 
 /*---------------------------------------------------------------------------

ODIN_II/SRC/odin_util.cpp

@@ -104,7 +104,7 @@ void assert_supported_file_extension(std::string input_file, int file_number)
 			supported_extension_list += file_extension_supported_STR[i];
 		}
 
-		error_message(ARG_ERROR, -1, file_number, 
+		possible_error_message(ARG_ERROR, -1, file_number, 
 			"File (%s) has an unsupported extension (%s), Odin only support { %s }",
 			input_file.c_str(),
 			extension.c_str(),