diff options
| author | whitequark <whitequark@whitequark.org> | 2020-06-19 15:46:54 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-19 15:46:54 +0000 |
| commit | d5d0cc88d272b85c3be3677993596dcfa82d579f (patch) | |
| tree | f95fb6ee8826f74df945a033ea2161b0fab6f82c | |
| parent | ede4b10da8fdbdcff900b93c6c723516901483ff (diff) | |
| parent | 817411044a689cc26a5444a108f4f66c6484f632 (diff) | |
| download | yosys-d5d0cc88d272b85c3be3677993596dcfa82d579f.tar.gz yosys-d5d0cc88d272b85c3be3677993596dcfa82d579f.tar.bz2 yosys-d5d0cc88d272b85c3be3677993596dcfa82d579f.zip | |
Merge pull request #2175 from Xiretza/missing-noreturn
Add missing [[noreturn]] to log_file_error()
| -rw-r--r-- | kernel/log.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/log.h b/kernel/log.h index 9a6c2a8e6..501d20c09 100644 --- a/kernel/log.h +++ b/kernel/log.h @@ -152,7 +152,7 @@ void log_file_info(const std::string &filename, int lineno, const char *format, void log_warning_noprefix(const char *format, ...) YS_ATTRIBUTE(format(printf, 1, 2)); [[noreturn]] void log_error(const char *format, ...) YS_ATTRIBUTE(format(printf, 1, 2)); -void log_file_error(const string &filename, int lineno, const char *format, ...) YS_ATTRIBUTE(format(printf, 3, 4)); +[[noreturn]] void log_file_error(const string &filename, int lineno, const char *format, ...) YS_ATTRIBUTE(format(printf, 3, 4)); [[noreturn]] void log_cmd_error(const char *format, ...) YS_ATTRIBUTE(format(printf, 1, 2)); #ifndef NDEBUG |