aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/log.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2017-07-27 12:17:04 +0200
committerClifford Wolf <clifford@clifford.at>2017-07-27 12:17:04 +0200
commit2336d5508b29b607044f86676db98584b2b04f71 (patch)
treee669c834888572d263221f666a57519aaf976172 /kernel/log.cc
parentd9641621d95078fe9f6534154f21f50827de60a6 (diff)
downloadyosys-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.cc34
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;