From f13e753b52a897d88c5d7e436e77de45f3f692a9 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Sun, 12 Mar 2023 21:28:14 -0400 Subject: [PATCH] Change ZERODLY to a warning. --- Changes | 1 + src/V3Error.h | 4 ++-- test_regress/t/t_delay_var.out | 5 +++-- test_regress/t/t_timing_zerodly_unsup.out | 5 +++-- 4 files changed, 9 insertions(+), 6 deletions(-) diff --git a/Changes b/Changes index db8c7a161..d11fbc08d 100644 --- a/Changes +++ b/Changes @@ -17,6 +17,7 @@ Verilator 5.009 devel * Add --public-params flag (#3990). [Andrew Nolte] * Support complicated IEEE 'for' assignments. * Support $fopen as an expression. +* Change ZERODLY to a warning. * Fix UNDRIVEN warning seg fault (#3989). [Felix Neumärker] * Fix symbol entries when inheriting classes (#3995) (#3996). [Krzysztof Bieganski, Antmicro Ltd] diff --git a/src/V3Error.h b/src/V3Error.h index 2c02e8eaa..cf0ab5fa6 100644 --- a/src/V3Error.h +++ b/src/V3Error.h @@ -219,11 +219,11 @@ public: || m_e == CONTASSREG || m_e == ENCAPSULATED || m_e == ENDLABEL || m_e == ENUMVALUE || m_e == IMPURE || m_e == PINNOTFOUND || m_e == PKGNODECL || m_e == PROCASSWIRE // Says IEEE - || m_e == ZERODLY); + ); } // Warnings to mention manual bool mentionManual() const VL_MT_SAFE { - return (m_e == EC_FATALSRC || m_e == SYMRSVDWORD || pretendError()); + return (m_e == EC_FATALSRC || m_e == SYMRSVDWORD || m_e == ZERODLY || pretendError()); } // Warnings that are lint only bool lintError() const VL_MT_SAFE { diff --git a/test_regress/t/t_delay_var.out b/test_regress/t/t_delay_var.out index 7c78068df..1ee2ef517 100644 --- a/test_regress/t/t_delay_var.out +++ b/test_regress/t/t_delay_var.out @@ -1,5 +1,6 @@ -%Error-ZERODLY: t/t_delay_var.v:20:7: Unsupported: #0 delays do not schedule process resumption in the Inactive region +%Warning-ZERODLY: t/t_delay_var.v:20:7: Unsupported: #0 delays do not schedule process resumption in the Inactive region 20 | #0 in = 1'b1; | ^ - ... For error description see https://verilator.org/warn/ZERODLY?v=latest + ... For warning description see https://verilator.org/warn/ZERODLY?v=latest + ... Use "/* verilator lint_off ZERODLY */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_timing_zerodly_unsup.out b/test_regress/t/t_timing_zerodly_unsup.out index 05ffbd7fb..bc85c6dcb 100644 --- a/test_regress/t/t_timing_zerodly_unsup.out +++ b/test_regress/t/t_timing_zerodly_unsup.out @@ -1,5 +1,6 @@ -%Error-ZERODLY: t/t_timing_zerodly_unsup.v:12:13: Unsupported: #0 delays do not schedule process resumption in the Inactive region +%Warning-ZERODLY: t/t_timing_zerodly_unsup.v:12:13: Unsupported: #0 delays do not schedule process resumption in the Inactive region 12 | #0 if (v) $finish; | ^ - ... For error description see https://verilator.org/warn/ZERODLY?v=latest + ... For warning description see https://verilator.org/warn/ZERODLY?v=latest + ... Use "/* verilator lint_off ZERODLY */" and lint_on around source to disable this message. %Error: Exiting due to