From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 4 May 2018 13:27:28 +0000 (+0200)
Subject: Add "yosys -e regex" for turning warnings into errors
X-Git-Tag: yosys-0.8~108
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5c03aeac60b8f8e88367d3bbf3b13b84a54ef11b;p=yosys.git

Add "yosys -e regex" for turning warnings into errors

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/kernel/driver.cc b/kernel/driver.cc
index 3c16e5fd4..7a1dce497 100644
--- a/kernel/driver.cc
+++ b/kernel/driver.cc
@@ -255,9 +255,13 @@ int main(int argc, char **argv)
 		printf("        print a warning for all log messages matching the regex.\n");
 		printf("\n");
 		printf("    -w regex\n");
-		printf("        if a warning message matches the regex, it is printes as regular\n");
+		printf("        if a warning message matches the regex, it is printed as regular\n");
 		printf("        message instead.\n");
 		printf("\n");
+		printf("    -e regex\n");
+		printf("        if a warning message matches the regex, it is printed as error\n");
+		printf("        message instead and the tool terminates with a nonzero return code.\n");
+		printf("\n");
 		printf("    -E <depsfile>\n");
 		printf("        write a Makefile dependencies file with in- and output file names\n");
 		printf("\n");
@@ -281,7 +285,7 @@ int main(int argc, char **argv)
 	}
 
 	int opt;
-	while ((opt = getopt(argc, argv, "MXAQTVSm:f:Hh:b:o:p:l:L:qv:tds:c:W:w:D:E:")) != -1)
+	while ((opt = getopt(argc, argv, "MXAQTVSm:f:Hh:b:o:p:l:L:qv:tds:c:W:w:e:D:E:")) != -1)
 	{
 		switch (opt)
 		{
@@ -375,6 +379,12 @@ int main(int argc, char **argv)
 					std::regex_constants::optimize |
 					std::regex_constants::egrep));
 			break;
+		case 'e':
+			log_werror_regexes.push_back(std::regex(optarg,
+					std::regex_constants::nosubs |
+					std::regex_constants::optimize |
+					std::regex_constants::egrep));
+			break;
 		case 'D':
 			{
 				auto args = split_tokens(optarg, ":");
diff --git a/kernel/log.cc b/kernel/log.cc
index de564cb36..ff171f3e6 100644
--- a/kernel/log.cc
+++ b/kernel/log.cc
@@ -41,7 +41,7 @@ YOSYS_NAMESPACE_BEGIN
 std::vector<FILE*> log_files;
 std::vector<std::ostream*> log_streams;
 std::map<std::string, std::set<std::string>> log_hdump;
-std::vector<std::regex> log_warn_regexes, log_nowarn_regexes;
+std::vector<std::regex> log_warn_regexes, log_nowarn_regexes, log_werror_regexes;
 std::set<std::string> log_warnings;
 int log_warnings_count = 0;
 bool log_hdump_all = false;
@@ -218,6 +218,10 @@ void logv_warning(const char *format, va_list ap)
 	}
 	else
 	{
+		for (auto &re : log_werror_regexes)
+			if (std::regex_search(message, re))
+				log_error("%s",  message.c_str());
+
 		if (log_warnings.count(message))
 		{
 			log("Warning: %s", message.c_str());
@@ -256,6 +260,10 @@ void logv_warning_noprefix(const char *format, va_list ap)
 	}
 	else
 	{
+		for (auto &re : log_werror_regexes)
+			if (std::regex_search(message, re))
+				log_error("%s",  message.c_str());
+
 		if (log_warnings.count(message))
 		{
 			log("%s", message.c_str());
diff --git a/kernel/log.h b/kernel/log.h
index 90a12df36..457229c87 100644
--- a/kernel/log.h
+++ b/kernel/log.h
@@ -49,7 +49,7 @@ struct log_cmd_error_exception { };
 extern std::vector<FILE*> log_files;
 extern std::vector<std::ostream*> log_streams;
 extern std::map<std::string, std::set<std::string>> log_hdump;
-extern std::vector<std::regex> log_warn_regexes, log_nowarn_regexes;
+extern std::vector<std::regex> log_warn_regexes, log_nowarn_regexes, log_werror_regexes;
 extern std::set<std::string> log_warnings;
 extern int log_warnings_count;
 extern bool log_hdump_all;