diff options
author | Clifford Wolf <clifford@clifford.at> | 2018-05-04 15:27:28 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2018-05-04 15:27:28 +0200 |
commit | 5c03aeac60b8f8e88367d3bbf3b13b84a54ef11b (patch) | |
tree | d56b5370ec336ba4edd4171ae1f02cc367594fd3 | |
parent | 47eb150eec1530384c586971bcf8ec270e1d6acc (diff) | |
download | yosys-5c03aeac60b8f8e88367d3bbf3b13b84a54ef11b.tar.gz yosys-5c03aeac60b8f8e88367d3bbf3b13b84a54ef11b.tar.bz2 yosys-5c03aeac60b8f8e88367d3bbf3b13b84a54ef11b.zip |
Add "yosys -e regex" for turning warnings into errors
Signed-off-by: Clifford Wolf <clifford@clifford.at>
-rw-r--r-- | kernel/driver.cc | 14 | ||||
-rw-r--r-- | kernel/log.cc | 10 | ||||
-rw-r--r-- | kernel/log.h | 2 |
3 files changed, 22 insertions, 4 deletions
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; |