diff options
author | Clifford Wolf <clifford@clifford.at> | 2017-07-27 12:17:04 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2017-07-27 12:17:04 +0200 |
commit | 2336d5508b29b607044f86676db98584b2b04f71 (patch) | |
tree | e669c834888572d263221f666a57519aaf976172 /kernel/log.cc | |
parent | d9641621d95078fe9f6534154f21f50827de60a6 (diff) | |
download | yosys-2336d5508b29b607044f86676db98584b2b04f71.tar.gz yosys-2336d5508b29b607044f86676db98584b2b04f71.tar.bz2 yosys-2336d5508b29b607044f86676db98584b2b04f71.zip |
Add log_warning_noprefix() API, Use for Verific warnings and errors
Diffstat (limited to 'kernel/log.cc')
-rw-r--r-- | kernel/log.cc | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/kernel/log.cc b/kernel/log.cc index 3768922cd..7be95204b 100644 --- a/kernel/log.cc +++ b/kernel/log.cc @@ -227,6 +227,32 @@ void logv_warning(const char *format, va_list ap) } } +void logv_warning_noprefix(const char *format, va_list ap) +{ + std::string message = vstringf(format, ap); + bool suppressed = false; + + for (auto &re : log_nowarn_regexes) + if (std::regex_search(message, re)) + suppressed = true; + + if (suppressed) + { + log("%s", message.c_str()); + } + else + { + if (log_errfile != NULL && !log_quiet_warnings) + log_files.push_back(log_errfile); + + log("%s", message.c_str()); + log_flush(); + + if (log_errfile != NULL && !log_quiet_warnings) + log_files.pop_back(); + } +} + void logv_error(const char *format, va_list ap) { #ifdef EMSCRIPTEN @@ -282,6 +308,14 @@ void log_warning(const char *format, ...) va_end(ap); } +void log_warning_noprefix(const char *format, ...) +{ + va_list ap; + va_start(ap, format); + logv_warning_noprefix(format, ap); + va_end(ap); +} + void log_error(const char *format, ...) { va_list ap; |