diff options
author | Clifford Wolf <clifford@clifford.at> | 2018-03-04 22:35:59 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2018-03-04 22:35:59 +0100 |
commit | e5534a080e953b7935defa92bed9452ed1616047 (patch) | |
tree | f24a97ef4f8c33e3c740f9e1a90eafce18140e39 /kernel/log.cc | |
parent | 2935e8ea4152b0678314f79bae91258565592032 (diff) | |
download | yosys-e5534a080e953b7935defa92bed9452ed1616047.tar.gz yosys-e5534a080e953b7935defa92bed9452ed1616047.tar.bz2 yosys-e5534a080e953b7935defa92bed9452ed1616047.zip |
Improve handling of warning messages
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'kernel/log.cc')
-rw-r--r-- | kernel/log.cc | 50 |
1 files changed, 38 insertions, 12 deletions
diff --git a/kernel/log.cc b/kernel/log.cc index 8b12008bc..de564cb36 100644 --- a/kernel/log.cc +++ b/kernel/log.cc @@ -42,6 +42,8 @@ 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::set<std::string> log_warnings; +int log_warnings_count = 0; bool log_hdump_all = false; FILE *log_errfile = NULL; SHA1 *log_hasher = NULL; @@ -216,14 +218,26 @@ void logv_warning(const char *format, va_list ap) } else { - if (log_errfile != NULL && !log_quiet_warnings) - log_files.push_back(log_errfile); + if (log_warnings.count(message)) + { + log("Warning: %s", message.c_str()); + log_flush(); + } + else + { + if (log_errfile != NULL && !log_quiet_warnings) + log_files.push_back(log_errfile); - log("Warning: %s", message.c_str()); - log_flush(); + log("Warning: %s", message.c_str()); + log_flush(); - if (log_errfile != NULL && !log_quiet_warnings) - log_files.pop_back(); + if (log_errfile != NULL && !log_quiet_warnings) + log_files.pop_back(); + + log_warnings.insert(message); + } + + log_warnings_count++; } } @@ -242,14 +256,26 @@ void logv_warning_noprefix(const char *format, va_list ap) } else { - if (log_errfile != NULL && !log_quiet_warnings) - log_files.push_back(log_errfile); + if (log_warnings.count(message)) + { + log("%s", message.c_str()); + log_flush(); + } + else + { + if (log_errfile != NULL && !log_quiet_warnings) + log_files.push_back(log_errfile); - log("%s", message.c_str()); - log_flush(); + log("%s", message.c_str()); + log_flush(); + + if (log_errfile != NULL && !log_quiet_warnings) + log_files.pop_back(); + + log_warnings.insert(message); + } - if (log_errfile != NULL && !log_quiet_warnings) - log_files.pop_back(); + log_warnings_count++; } } |