diff --git a/src/V3Error.cpp b/src/V3Error.cpp index e9ad855cb..2d0d30688 100644 --- a/src/V3Error.cpp +++ b/src/V3Error.cpp @@ -72,7 +72,7 @@ string V3ErrorGuarded::msgPrefix() VL_REQUIRES(m_mutex) { return "-Info: "; } else if (code == V3ErrorCode::EC_FATAL) { return "%Error: "; - } else if (code == V3ErrorCode::EC_FATALEXIT) { + } else if (code == V3ErrorCode::EC_FATALMANY) { return "%Error: "; } else if (code == V3ErrorCode::EC_FATALSRC) { return "%Error: Internal Error: "; @@ -162,7 +162,7 @@ void V3ErrorGuarded::v3errorEnd(std::ostringstream& sstr, const string& extra) // Output if ( #ifndef V3ERROR_NO_GLOBAL_ - !(v3Global.opt.quietExit() && m_errorCode == V3ErrorCode::EC_FATALEXIT) + !(v3Global.opt.quietExit() && m_errorCode == V3ErrorCode::EC_FATALMANY) #else true #endif @@ -172,54 +172,54 @@ void V3ErrorGuarded::v3errorEnd(std::ostringstream& sstr, const string& extra) if (!m_errorSuppressed && !(m_errorCode == V3ErrorCode::EC_INFO || m_errorCode == V3ErrorCode::USERINFO)) { const bool anError = isError(m_errorCode, m_errorSuppressed); - if (m_errorCode >= V3ErrorCode::EC_FIRST_NAMED && !m_describedWeb) { - m_describedWeb = true; - std::cerr << warnMore() << "... For " << (anError ? "error" : "warning") - << " description see https://verilator.org/warn/" << m_errorCode.ascii() - << "?v=" << PACKAGE_VERSION_NUMBER_STRING << endl; - } - if (!m_describedEachWarn[m_errorCode] && !m_pretendError[m_errorCode]) { + if (m_errorCode != V3ErrorCode::EC_FATALMANY // Not verbose on final too-many-errors error + && !m_describedEachWarn[m_errorCode]) { m_describedEachWarn[m_errorCode] = true; - if (!m_errorCode.hardError() && !m_describedWarnings) { - m_describedWarnings = true; + const string docUrl = "https://verilator.org/verilator_doc.html"s + + "?v=" + PACKAGE_VERSION_NUMBER_STRING; + const string warnUrl = "https://verilator.org/warn/"s + m_errorCode.ascii() + + "?v=" + PACKAGE_VERSION_NUMBER_STRING; + if (m_errorCode >= V3ErrorCode::EC_FIRST_NAMED) { + std::cerr << warnMore() << "... For " << (anError ? "error" : "warning") + << " description see " << warnUrl << endl; + } else if (m_errCount >= 1 + && (m_errorCode == V3ErrorCode::EC_FATAL + || m_errorCode == V3ErrorCode::EC_FATALMANY + || m_errorCode == V3ErrorCode::EC_FATALSRC) + && !m_tellInternal) { + m_tellInternal = true; + std::cerr << warnMore() + << "... This fatal error may be caused by the earlier error(s);" + " resolve those first." + << endl; + } else if (!m_tellManual) { + m_tellManual = true; + std::cerr << warnMore() << "... See the manual at " << docUrl + << " for more assistance." << endl; + } + if (!m_pretendError[m_errorCode] && !m_errorCode.hardError()) { std::cerr << warnMore() << "... Use \"/* verilator lint_off " << m_errorCode.ascii() << " */\" and lint_on around source to disable this message." << endl; - } - if (m_errorCode.dangerous()) { - std::cerr << warnMore() << "*** See https://verilator.org/warn/" - << m_errorCode.ascii() << " before disabling this,\n"; - std::cerr << warnMore() << "else you may end up with different sim results." - << endl; + if (m_errorCode.dangerous()) { + std::cerr << warnMore() << "*** See " << warnUrl + << " before disabling this,\n"; + std::cerr << warnMore() << "else you may end up with different sim results." + << endl; + } } } if (!msg_additional.empty()) std::cerr << msg_additional; - // If first warning is not the user's fault (internal/unsupported) then give the website - // Not later warnings, as a internal may be caused by an earlier problem - if (tellManual() == 0) { - if (m_errorCode.mentionManual() || sstr.str().find("Unsupported") != string::npos) { - tellManual(1); - } else { - tellManual(2); - } - } if (anError) { incErrors(); } else { incWarnings(); } - if (m_errorCode == V3ErrorCode::EC_FATAL || m_errorCode == V3ErrorCode::EC_FATALEXIT + if (m_errorCode == V3ErrorCode::EC_FATAL || m_errorCode == V3ErrorCode::EC_FATALMANY || m_errorCode == V3ErrorCode::EC_FATALSRC) { static bool inFatal = false; if (!inFatal) { inFatal = true; - if (tellManual() == 1) { - std::cerr << warnMore() - << "... See the manual at https://verilator.org/verilator_doc.html " - "for more assistance." - << endl; - tellManual(2); - } #ifndef V3ERROR_NO_GLOBAL_ if (dumpTreeLevel() || dumpTreeJsonLevel() || debug()) { V3Broken::allowMidvisitorCheck(true); @@ -271,12 +271,12 @@ string V3Error::lineStr(const char* filename, int lineno) VL_PURE { void V3Error::abortIfWarnings() { const bool exwarn = warnFatal() && warnCount(); if (errorCount() && exwarn) { - v3fatalExit("Exiting due to " << std::dec << V3Error::s().errorCount() << " error(s), " // + v3fatalMany("Exiting due to " << std::dec << V3Error::s().errorCount() << " error(s), " // << V3Error::s().warnCount() << " warning(s)\n"); } else if (errorCount()) { - v3fatalExit("Exiting due to " << std::dec << V3Error::s().errorCount() << " error(s)\n"); + v3fatalMany("Exiting due to " << std::dec << V3Error::s().errorCount() << " error(s)\n"); } else if (exwarn) { - v3fatalExit("Exiting due to " << std::dec << V3Error::s().warnCount() << " warning(s)\n"); + v3fatalMany("Exiting due to " << std::dec << V3Error::s().warnCount() << " warning(s)\n"); } } diff --git a/src/V3Error.h b/src/V3Error.h index 3d8d223f6..988fbb775 100644 --- a/src/V3Error.h +++ b/src/V3Error.h @@ -44,7 +44,7 @@ public: // EC_INFO, // General information out EC_FATAL, // Kill the program - EC_FATALEXIT, // Kill the program, suppress with --quiet-exit + EC_FATALMANY, // Kill the program, due to too many errors, suppress with --quiet-exit EC_FATALSRC, // Kill the program, for internal source errors EC_ERROR, // General error out, can't suppress EC_FIRST_NAMED, // Just a code so the program knows where to start info/errors @@ -186,7 +186,7 @@ public: // clang-format off static const char* const names[] = { // Leading spaces indicate it can't be disabled. - " MIN", " INFO", " FATAL", " FATALEXIT", " FATALSRC", " ERROR", " FIRST_NAMED", + " MIN", " INFO", " FATAL", " FATALMANY", " FATALSRC", " ERROR", " FIRST_NAMED", // Boolean " I_CELLDEFINE", " I_COVERAGE", " I_DEF_NETTYPE_WIRE", " I_LINT", " I_TIMING", " I_TRACING", " I_UNUSED", // Errors @@ -313,9 +313,9 @@ public: private: static constexpr unsigned MAX_ERRORS = 50; // Fatal after this may errors - bool m_describedWarnings VL_GUARDED_BY(m_mutex) = false; // Told user how to disable warns // Tell user to see manual, 0=not yet, 1=doit, 2=disable - int m_tellManual VL_GUARDED_BY(m_mutex) = 0; + bool m_tellManual VL_GUARDED_BY(m_mutex) = false; + bool m_tellInternal VL_GUARDED_BY(m_mutex) = false; V3ErrorCode m_errorCode VL_GUARDED_BY(m_mutex) = V3ErrorCode::EC_FATAL; // Error string being formed will abort bool m_errorSuppressed VL_GUARDED_BY(m_mutex) @@ -328,7 +328,6 @@ private: int m_errCount VL_GUARDED_BY(m_mutex) = 0; // Error count // Pretend this warning is an error std::array m_pretendError VL_GUARDED_BY(m_mutex); - bool m_describedWeb VL_GUARDED_BY(m_mutex) = false; // Told user to see web // Told user specifics about this warning std::array m_describedEachWarn VL_GUARDED_BY(m_mutex); int m_debugDefault = 0; // Option: --debugi Default debugging level @@ -364,7 +363,7 @@ public: m_errCount++; if (errorCount() == errorLimit()) { // Not >= as would otherwise recurse v3errorEnd( - (v3errorPrep(V3ErrorCode::EC_FATALEXIT), + (v3errorPrep(V3ErrorCode::EC_FATALMANY), (v3errorStr() << "Exiting due to too many errors encountered; --error-limit=" << errorCount() << std::endl), v3errorStr())); @@ -393,18 +392,12 @@ public: int warnCount() VL_REQUIRES(m_mutex) { return m_warnCount; } bool errorSuppressed() VL_REQUIRES(m_mutex) { return m_errorSuppressed; } void errorSuppressed(bool flag) VL_REQUIRES(m_mutex) { m_errorSuppressed = flag; } - bool describedWeb() VL_REQUIRES(m_mutex) { return m_describedWeb; } - void describedWeb(bool flag) VL_REQUIRES(m_mutex) { m_describedWeb = flag; } bool describedEachWarn(V3ErrorCode code) VL_REQUIRES(m_mutex) { return m_describedEachWarn[code]; } void describedEachWarn(V3ErrorCode code, bool flag) VL_REQUIRES(m_mutex) { m_describedEachWarn[code] = flag; } - bool describedWarnings() VL_REQUIRES(m_mutex) { return m_describedWarnings; } - void describedWarnings(bool flag) VL_REQUIRES(m_mutex) { m_describedWarnings = flag; } - int tellManual() VL_REQUIRES(m_mutex) { return m_tellManual; } - void tellManual(int level) VL_REQUIRES(m_mutex) { m_tellManual = level; } void suppressThisWarning() VL_REQUIRES(m_mutex); string warnContextNone() VL_REQUIRES(m_mutex) { errorContexted(true); @@ -567,7 +560,7 @@ void v3errorEndFatal(std::ostringstream& sstr) #define v3error(msg) v3warnCode(V3ErrorCode::EC_ERROR, msg) #define v3fatal(msg) v3warnCodeFatal(V3ErrorCode::EC_FATAL, msg) // Fatal exit; used instead of fatal() if message gets suppressed with --quiet-exit -#define v3fatalExit(msg) v3warnCodeFatal(V3ErrorCode::EC_FATALEXIT, msg) +#define v3fatalMany(msg) v3warnCodeFatal(V3ErrorCode::EC_FATALMANY, msg) // Fatal exit; used instead of fatal() to mention the source code line #define v3fatalSrc(msg) \ v3errorEndFatal(v3errorBuildMessage( \ diff --git a/test_regress/t/t_array_backw_index_bad.out b/test_regress/t/t_array_backw_index_bad.out index babc5358e..4f63b9cb9 100644 --- a/test_regress/t/t_array_backw_index_bad.out +++ b/test_regress/t/t_array_backw_index_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 17 | array_assign[1:3] = '{32'd4, 32'd3, 32'd2}; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_array_backw_index_bad.v:18:20: Slice selection '[3:1]' has reversed range order versus data type's '[0:3]' : ... note: In instance 't' 18 | larray_assign[3:1] = '{32'd4, 32'd3, 32'd2}; diff --git a/test_regress/t/t_array_list_bad.out b/test_regress/t/t_array_list_bad.out index 96a70f1d3..c298dd605 100644 --- a/test_regress/t/t_array_list_bad.out +++ b/test_regress/t/t_array_list_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 38 | test_out <= '{'0, '0}; | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Warning-WIDTHEXPAND: t/t_array_list_bad.v:38:22: Operator ASSIGNDLY expects 3 bits on the Assign RHS, but Assign RHS's CONCAT generates 2 bits. : ... note: In instance 't' 38 | test_out <= '{'0, '0}; diff --git a/test_regress/t/t_array_method_bad.out b/test_regress/t/t_array_method_bad.out index ce2d8a52d..8e2cf6c76 100644 --- a/test_regress/t/t_array_method_bad.out +++ b/test_regress/t/t_array_method_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 11 | q.mex; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_array_method_map.out b/test_regress/t/t_array_method_map.out index 62e0a3186..a57e239a2 100644 --- a/test_regress/t/t_array_method_map.out +++ b/test_regress/t/t_array_method_map.out @@ -7,4 +7,5 @@ : ... note: In instance 't' 17 | res = a.map(el) with (el == 200); | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_array_method_unsup.out b/test_regress/t/t_array_method_unsup.out index 8937ef4bf..46f00ef4d 100644 --- a/test_regress/t/t_array_method_unsup.out +++ b/test_regress/t/t_array_method_unsup.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 23 | i = q.sum with (item + 1); do if ((i) !== (32'h11)) begin $write("%%Error: %s:%0d: got='h%x exp='h%x\n", "t/t_array_method_unsup.v",23, (i), (32'h11)); $stop; end while(0);; | ^~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_array_method_unsup.v:24:21: 'with' not legal on this method : ... note: In instance 't' 24 | i = q.product with (item + 1); do if ((i) !== (32'h168)) begin $write("%%Error: %s:%0d: got='h%x exp='h%x\n", "t/t_array_method_unsup.v",24, (i), (32'h168)); $stop; end while(0);; diff --git a/test_regress/t/t_array_pattern_bad.out b/test_regress/t/t_array_pattern_bad.out index 2a451e965..c93c13306 100644 --- a/test_regress/t/t_array_pattern_bad.out +++ b/test_regress/t/t_array_pattern_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 24 | valids: '1}; | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_array_pattern_bad2.out b/test_regress/t/t_array_pattern_bad2.out index ca000e327..5b81d55ec 100644 --- a/test_regress/t/t_array_pattern_bad2.out +++ b/test_regress/t/t_array_pattern_bad2.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 22 | myinfo = '{default: '0, | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_array_pattern_bad3.out b/test_regress/t/t_array_pattern_bad3.out index ccc680c93..05fbe3d6a 100644 --- a/test_regress/t/t_array_pattern_bad3.out +++ b/test_regress/t/t_array_pattern_bad3.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 20 | 1: '1}; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_array_pattern_bad3.v:21:13: Assignment pattern with too many elements : ... note: In instance 't' 21 | arr = '{'0, '1, '0, '1}; diff --git a/test_regress/t/t_assert_comp_bad.out b/test_regress/t/t_assert_comp_bad.out index e5c696031..7cf00604e 100644 --- a/test_regress/t/t_assert_comp_bad.out +++ b/test_regress/t/t_assert_comp_bad.out @@ -24,6 +24,8 @@ : ... note: In instance 't' 15 | $error; | ^~~~~~ + ... For warning description see https://verilator.org/warn/USERERROR?v=latest + ... Use "/* verilator lint_off USERERROR */" and lint_on around source to disable this message. %Warning-USERERROR: t/t_assert_comp_bad.v:16:7: User elaboration-time error : ... note: In instance 't' 16 | $error("User elaboration-time error"); @@ -32,6 +34,8 @@ : ... note: In instance 't' 17 | $fatal(0, "User elaboration-time fatal"); | ^~~~~~ + ... For warning description see https://verilator.org/warn/USERFATAL?v=latest + ... Use "/* verilator lint_off USERFATAL */" and lint_on around source to disable this message. %Warning-USERFATAL: t/t_assert_comp_bad.v:18:7: Elaboration system task message (IEEE 1800-2023 20.11) : ... note: In instance 't' 18 | $fatal; diff --git a/test_regress/t/t_assert_ctl_unsup.out b/test_regress/t/t_assert_ctl_unsup.out index 4d3e88baf..322ec5bd8 100644 --- a/test_regress/t/t_assert_ctl_unsup.out +++ b/test_regress/t/t_assert_ctl_unsup.out @@ -31,6 +31,7 @@ %Error: t/t_assert_ctl_unsup.v:38:7: Bad assertcontrol control_type (IEEE 1800-2023 Table 20-5) 38 | $assertcontrol(0); | ^~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_assert_ctl_unsup.v:39:7: Bad assertcontrol control_type (IEEE 1800-2023 Table 20-5) 39 | $assertcontrol(100); | ^~~~~~~~~~~~~~ diff --git a/test_regress/t/t_assert_disable_bad.out b/test_regress/t/t_assert_disable_bad.out index 8fc8cf9ef..66a373165 100644 --- a/test_regress/t/t_assert_disable_bad.out +++ b/test_regress/t/t_assert_disable_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 27 | assert property (disable iff (val == 0) check(1, 1)); | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_assert_dup_bad.out b/test_regress/t/t_assert_dup_bad.out index 8357b40ac..3bce26f7b 100644 --- a/test_regress/t/t_assert_dup_bad.out +++ b/test_regress/t/t_assert_dup_bad.out @@ -4,4 +4,5 @@ t/t_assert_dup_bad.v:15:4: ... Location of original declaration 15 | covlabel: | ^~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_assert_imm_nz_bad.out b/test_regress/t/t_assert_imm_nz_bad.out index 6c3b0a9c4..8bf198256 100644 --- a/test_regress/t/t_assert_imm_nz_bad.out +++ b/test_regress/t/t_assert_imm_nz_bad.out @@ -1,4 +1,5 @@ %Error: t/t_assert_imm_nz_bad.v:13:26: Deferred assertions must use '#0' (IEEE 1800-2023 16.4) 13 | labeled_imas: assert #1 (clk); | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_assert_procedural_clk_bad.out b/test_regress/t/t_assert_procedural_clk_bad.out index d131ed2f3..cb94ec8d8 100644 --- a/test_regress/t/t_assert_procedural_clk_bad.out +++ b/test_regress/t/t_assert_procedural_clk_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 21 | assume property (@(posedge clk) cyc == 9); | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_assert_procedural_clk_bad.v:22:13: Unsupported: Procedural concurrent assertion with clocking event inside always (IEEE 1800-2023 16.14.6) : ... note: In instance 't' 22 | assume property (@(negedge clk) cyc == 9); diff --git a/test_regress/t/t_assert_property_var_unsup.out b/test_regress/t/t_assert_property_var_unsup.out index 16e308717..8e61022c7 100644 --- a/test_regress/t/t_assert_property_var_unsup.out +++ b/test_regress/t/t_assert_property_var_unsup.out @@ -5,10 +5,11 @@ %Error: t/t_assert_property_var_unsup.v:18:7: syntax error, unexpected '(', expecting endproperty 18 | (valid, prevcyc = cyc) |=> (cyc == prevcyc + 1); | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error-UNSUPPORTED: t/t_assert_property_var_unsup.v:24:31: Unsupported: property variable default value 24 | property with_def(int nine = 9); | ^ %Error: Internal Error: t/t_assert_property_var_unsup.v:7:8: ../V3ParseSym.h:#: Symbols suggest ending PROPERTY 'prop' but parser thinks ending MODULE 't' 7 | module t ( | ^ - ... See the manual at https://verilator.org/verilator_doc.html for more assistance. + ... This fatal error may be caused by the earlier error(s); resolve those first. diff --git a/test_regress/t/t_assoc_method_bad.out b/test_regress/t/t_assoc_method_bad.out index 52cb6da31..101bd8f61 100644 --- a/test_regress/t/t_assoc_method_bad.out +++ b/test_regress/t/t_assoc_method_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 14 | v = a.num("badarg"); | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_assoc_method_bad.v:15:13: The 1 arguments passed to .size method does not match its requiring 0 arguments : ... note: In instance 't' 15 | v = a.size("badarg"); diff --git a/test_regress/t/t_assoc_nokey_bad.out b/test_regress/t/t_assoc_nokey_bad.out index 4e172e2f5..3ad1b3790 100644 --- a/test_regress/t/t_assoc_nokey_bad.out +++ b/test_regress/t/t_assoc_nokey_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 12 | int dict[string] = '{1, 2}; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_assoc_nokey_bad.v:12:31: Missing pattern key (need an expression then a ':') : ... note: In instance 't' 12 | int dict[string] = '{1, 2}; diff --git a/test_regress/t/t_assoc_wildcard_bad.out b/test_regress/t/t_assoc_wildcard_bad.out index 7a2cc869b..a76182730 100644 --- a/test_regress/t/t_assoc_wildcard_bad.out +++ b/test_regress/t/t_assoc_wildcard_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 23 | v = a.num("badarg"); | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_assoc_wildcard_bad.v:24:13: The 1 arguments passed to .size method does not match its requiring 0 arguments : ... note: In instance 't' 24 | v = a.size("badarg"); diff --git a/test_regress/t/t_bigmem_bad.out b/test_regress/t/t_bigmem_bad.out index 9bf62ffce..e502f93d5 100644 --- a/test_regress/t/t_bigmem_bad.out +++ b/test_regress/t/t_bigmem_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't_bigmem' 14 | if (wen) mem[addr] <= data; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Warning-WIDTHTRUNC: t/t_bigmem_bad.v:14:26: Operator ASSIGNDLY expects 1 bits on the Assign RHS, but Assign RHS's VARREF 'data' generates 256 bits. : ... note: In instance 't_bigmem' 14 | if (wen) mem[addr] <= data; diff --git a/test_regress/t/t_bitsel_const_bad.out b/test_regress/t/t_bitsel_const_bad.out index c3ad070be..f4060503d 100644 --- a/test_regress/t/t_bitsel_const_bad.out +++ b/test_regress/t/t_bitsel_const_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 16 | assign a = b[0]; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_bitsel_wire_array_bad.out b/test_regress/t/t_bitsel_wire_array_bad.out index 24c6ffdcb..5fdddc94d 100644 --- a/test_regress/t/t_bitsel_wire_array_bad.out +++ b/test_regress/t/t_bitsel_wire_array_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 16 | assign b = a[0]; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_case_default_bad.out b/test_regress/t/t_case_default_bad.out index 49b92c1ea..63cb3e614 100644 --- a/test_regress/t/t_case_default_bad.out +++ b/test_regress/t/t_case_default_bad.out @@ -1,4 +1,5 @@ %Error: t/t_case_default_bad.v:16:9: Multiple default statements in case statement. 16 | default: $stop; | ^~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_case_genx_bad.out b/test_regress/t/t_case_genx_bad.out index c70d5a572..09c1b5392 100644 --- a/test_regress/t/t_case_genx_bad.out +++ b/test_regress/t/t_case_genx_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 14 | 32'b1xxx: initial begin end | ^~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_case_inside_bad.out b/test_regress/t/t_case_inside_bad.out index 2be995ce2..f124f4689 100644 --- a/test_regress/t/t_case_inside_bad.out +++ b/test_regress/t/t_case_inside_bad.out @@ -1,4 +1,5 @@ %Error: t/t_case_inside_bad.v:9:20: Illegal to have inside on a casex/casez 9 | casex (1'bx) inside | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_case_x_bad.out b/test_regress/t/t_case_x_bad.out index 7c13a125b..0f5729ed2 100644 --- a/test_regress/t/t_case_x_bad.out +++ b/test_regress/t/t_case_x_bad.out @@ -6,4 +6,6 @@ %Warning-CASEWITHX: t/t_case_x_bad.v:19:9: Use of x/? constant in case statement, (perhaps intended casex/casez) 19 | 4'b1xxx: $stop; | ^~~~~~~ + ... For warning description see https://verilator.org/warn/CASEWITHX?v=latest + ... Use "/* verilator lint_off CASEWITHX */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_cast_class_incompat_bad.out b/test_regress/t/t_cast_class_incompat_bad.out index fe3419c77..ee8e7cb1c 100644 --- a/test_regress/t/t_cast_class_incompat_bad.out +++ b/test_regress/t/t_cast_class_incompat_bad.out @@ -3,6 +3,7 @@ : ... Suggest dynamic $cast 26 | cls_ab = BaseExtended'(cls_a); | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_cast_class_incompat_bad.v:27:20: Incompatible types to static cast to 'class{}Other' from 'class{}BaseExtended' : ... note: In instance 't' 27 | other = Other'(cls_ab); diff --git a/test_regress/t/t_cast_size_bad.out b/test_regress/t/t_cast_size_bad.out index e8243cae6..538b9d168 100644 --- a/test_regress/t/t_cast_size_bad.out +++ b/test_regress/t/t_cast_size_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 14 | b = (-1)'(a); | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Warning-WIDTHEXPAND: t/t_cast_size_bad.v:14:9: Operator ASSIGN expects 4 bits on the Assign RHS, but Assign RHS's SEL generates 1 bits. : ... note: In instance 't' 14 | b = (-1)'(a); diff --git a/test_regress/t/t_class_assign_bad.out b/test_regress/t/t_class_assign_bad.out index 4ae5b5cad..eeb7d4666 100644 --- a/test_regress/t/t_class_assign_bad.out +++ b/test_regress/t/t_class_assign_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 28 | c = 0; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_class_assign_bad.v:29:9: Assign RHS expects a CLASSREFDTYPE 'Cls', got BASICDTYPE 'logic' : ... note: In instance 't' 29 | c = 1; diff --git a/test_regress/t/t_class_assign_cond_bad.out b/test_regress/t/t_class_assign_cond_bad.out index 6705aafef..6dbaf0b17 100644 --- a/test_regress/t/t_class_assign_cond_bad.out +++ b/test_regress/t/t_class_assign_cond_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 22 | c1 = (c1 != null) ? c1 : c2; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_class_assign_cond_bad.v:23:10: Assign RHS expects a CLASSREFDTYPE 'Cls1', got CLASSREFDTYPE 'Cls2' : ... note: In instance 't' 23 | c1 = (c1 != null) ? c2 : c2; diff --git a/test_regress/t/t_class_builtin_bad.out b/test_regress/t/t_class_builtin_bad.out index 0f52819b0..ebe06364a 100644 --- a/test_regress/t/t_class_builtin_bad.out +++ b/test_regress/t/t_class_builtin_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 8 | function int rand_mode(bit onoff); | ^~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_class_builtin_bad.v:11:17: The 'constraint_mode' method is built-in and cannot be overridden (IEEE 1800-2023 18.9) : ... note: In instance 't' 11 | function int constraint_mode(bit onoff); diff --git a/test_regress/t/t_class_copy_bad.out b/test_regress/t/t_class_copy_bad.out index 62187f6b1..217391ca2 100644 --- a/test_regress/t/t_class_copy_bad.out +++ b/test_regress/t/t_class_copy_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 19 | c1 = new co; | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_class_extends_aliased_real_bad.out b/test_regress/t/t_class_extends_aliased_real_bad.out index 0aca6d8e4..33d8191ed 100644 --- a/test_regress/t/t_class_extends_aliased_real_bad.out +++ b/test_regress/t/t_class_extends_aliased_real_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 14 | bar #(real_t) bar_real_t; | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_class_extends_bad.out b/test_regress/t/t_class_extends_bad.out index 475365d7e..5b0abf82e 100644 --- a/test_regress/t/t_class_extends_bad.out +++ b/test_regress/t/t_class_extends_bad.out @@ -1,4 +1,5 @@ %Error: t/t_class_extends_bad.v:13:26: Multiple inheritance illegal on non-interface classes (IEEE 1800-2023 8.13) 13 | class Cls extends Base1, Base2; | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_class_extends_int_param_bad.out b/test_regress/t/t_class_extends_int_param_bad.out index d6d473552..041883e98 100644 --- a/test_regress/t/t_class_extends_int_param_bad.out +++ b/test_regress/t/t_class_extends_int_param_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 9 | class Bar #(type T=int) extends T; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_class_extends_nf_bad.out b/test_regress/t/t_class_extends_nf_bad.out index b0aac0bf5..aa7a6cc54 100644 --- a/test_regress/t/t_class_extends_nf_bad.out +++ b/test_regress/t/t_class_extends_nf_bad.out @@ -2,6 +2,7 @@ : ... Suggested alternative: 'IsFound' 15 | class Cls extends IsNotFound; | ^~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_class_extends_nf_bad.v:18:25: Class for 'extends' not found: 'NotFound2' : ... Suggested alternative: 'otFound2' 18 | class Cls2 extends Pkg::NotFound2; diff --git a/test_regress/t/t_class_extends_rec_bad.out b/test_regress/t/t_class_extends_rec_bad.out index c5ffe68ce..3de4c89d7 100644 --- a/test_regress/t/t_class_extends_rec_bad.out +++ b/test_regress/t/t_class_extends_rec_bad.out @@ -1,4 +1,5 @@ %Error: t/t_class_extends_rec_bad.v:7:31: Attempting to extend class 'RecursiveExtCls' from itself 7 | class RecursiveExtCls extends RecursiveExtCls; | ^~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_class_extern_bad.out b/test_regress/t/t_class_extern_bad.out index 6fda0c135..fef3a2036 100644 --- a/test_regress/t/t_class_extern_bad.out +++ b/test_regress/t/t_class_extern_bad.out @@ -4,6 +4,7 @@ t/t_class_extern_bad.v:8:16: ... Location of original declaration 8 | extern task nodef(); | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_class_extern_bad.v:8:16: Definition not found for extern 'nodef' 8 | extern task nodef(); | ^~~~~ diff --git a/test_regress/t/t_class_func_nvoid_bad.out b/test_regress/t/t_class_func_nvoid_bad.out index 52690482f..3c2fa409b 100644 --- a/test_regress/t/t_class_func_nvoid_bad.out +++ b/test_regress/t/t_class_func_nvoid_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 47 | if (mod_fv() == 10) $stop; | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_class_func_nvoid_bad.v:50:11: Cannot call a task/void-function as a function: 'mod_t' : ... note: In instance 't' 50 | if (mod_t() == 10) $stop; diff --git a/test_regress/t/t_class_member_bad.out b/test_regress/t/t_class_member_bad.out index a7b0dbb3e..ff345409a 100644 --- a/test_regress/t/t_class_member_bad.out +++ b/test_regress/t/t_class_member_bad.out @@ -3,6 +3,7 @@ : ... Suggested alternative: 'memb2' 18 | c.memb3 = 3; | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Warning-WIDTHTRUNC: t/t_class_member_bad.v:18:15: Operator ASSIGN expects 1 bits on the Assign RHS, but Assign RHS's CONST '?32?sh3' generates 32 or 2 bits. : ... note: In instance 't' 18 | c.memb3 = 3; diff --git a/test_regress/t/t_class_member_bad2.out b/test_regress/t/t_class_member_bad2.out index 7bc20f324..d84763811 100644 --- a/test_regress/t/t_class_member_bad2.out +++ b/test_regress/t/t_class_member_bad2.out @@ -4,6 +4,7 @@ t/t_class_member_bad2.v:8:8: ... Location of original declaration 8 | int vardup; | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_class_member_bad2.v:12:9: Duplicate declaration of task: 'memdup' 12 | task memdup; | ^~~~~~ diff --git a/test_regress/t/t_class_member_var_virt_bad.out b/test_regress/t/t_class_member_var_virt_bad.out index 21bee5fdf..df9f9185b 100644 --- a/test_regress/t/t_class_member_var_virt_bad.out +++ b/test_regress/t/t_class_member_var_virt_bad.out @@ -1,4 +1,5 @@ %Error: t/t_class_member_var_virt_bad.v:8:16: Syntax error: 'virtual' not allowed before var declaration 8 | virtual int member; | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_class_method_bad.out b/test_regress/t/t_class_method_bad.out index 754de927c..4a68cefb5 100644 --- a/test_regress/t/t_class_method_bad.out +++ b/test_regress/t/t_class_method_bad.out @@ -3,4 +3,5 @@ : ... Suggested alternative: 'meth2' 18 | c.meth3(); | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_class_mispure_bad.out b/test_regress/t/t_class_mispure_bad.out index b5cc6f091..185132b3f 100644 --- a/test_regress/t/t_class_mispure_bad.out +++ b/test_regress/t/t_class_mispure_bad.out @@ -4,4 +4,5 @@ t/t_class_mispure_bad.v:8:31: ... Location of interface class's function 8 | pure virtual function void pvfunc(); | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_class_misstatic_bad.out b/test_regress/t/t_class_misstatic_bad.out index dbb381827..d6deb0936 100644 --- a/test_regress/t/t_class_misstatic_bad.out +++ b/test_regress/t/t_class_misstatic_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 31 | nonstatic(); | ^~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_class_misstatic_bad.v:38:12: Cannot call non-static member function 'nonstatic' without object (IEEE 1800-2023 8.10) : ... note: In instance 't' 38 | Cls::nonstatic(); diff --git a/test_regress/t/t_class_mod_bad.out b/test_regress/t/t_class_mod_bad.out index 359343923..f5bc65c0b 100644 --- a/test_regress/t/t_class_mod_bad.out +++ b/test_regress/t/t_class_mod_bad.out @@ -1,6 +1,7 @@ %Error: t/t_class_mod_bad.v:21:7: Package/class for ':: reference' not found: 'M' 21 | M::Cls p; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_class_mod_bad.v:21:7: Package/class for 'class/package reference' not found: 'M' 21 | M::Cls p; | ^ diff --git a/test_regress/t/t_class_new_bad.out b/test_regress/t/t_class_new_bad.out index 19ea9d1cf..f0f0b6672 100644 --- a/test_regress/t/t_class_new_bad.out +++ b/test_regress/t/t_class_new_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 31 | c1 = new(3); | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_class_new_bad.v:32:16: Too many arguments in function call to FUNC 'new' : ... note: In instance 't' 32 | c2 = new(3); @@ -18,3 +19,4 @@ : ... note: In instance 't' 34 | c1 = new[2]; | ^~~ + ... This fatal error may be caused by the earlier error(s); resolve those first. diff --git a/test_regress/t/t_class_new_ref_bad.out b/test_regress/t/t_class_new_ref_bad.out index 61aeb7fb8..bd21bae13 100644 --- a/test_regress/t/t_class_new_ref_bad.out +++ b/test_regress/t/t_class_new_ref_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 16 | txn_type_t txn = new; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_class_new_ref_bad.v:17:25: new() cannot copy from non-class data type 'int' : ... note: In instance 't' 17 | txn_type_t copy = new txn; diff --git a/test_regress/t/t_class_new_scoped.out b/test_regress/t/t_class_new_scoped.out index 2e1ac485d..6fab6fab6 100644 --- a/test_regress/t/t_class_new_scoped.out +++ b/test_regress/t/t_class_new_scoped.out @@ -1,6 +1,7 @@ %Error: t/t_class_new_scoped.v:45:21: syntax error, unexpected new, expecting IDENTIFIER-for-type 45 | b = ClsNoArg::new; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_class_new_scoped.v:50:19: syntax error, unexpected new-then-paren, expecting IDENTIFIER-for-type 50 | b = ClsArg::new(20, 1); | ^~~ diff --git a/test_regress/t/t_class_override_bad.out b/test_regress/t/t_class_override_bad.out index 0ebdb6bc8..801ceba7f 100644 --- a/test_regress/t/t_class_override_bad.out +++ b/test_regress/t/t_class_override_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 22 | function :extends int get_e; return 1; endfunction | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_class_override_bad.v:24:33: Member 'get_ef' marked ':extends' but no base class function is being extend (IEEE 1800-2023 8.20) : ... note: In instance 't' 24 | function :extends :final int get_ef; return 1; endfunction diff --git a/test_regress/t/t_class_param_bad2.out b/test_regress/t/t_class_param_bad2.out index 6def63ba0..466fd5e5d 100644 --- a/test_regress/t/t_class_param_bad2.out +++ b/test_regress/t/t_class_param_bad2.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 12 | Cls c; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_class_param_bad2.v:7:18: Parameter type without default value is never given value (IEEE 1800-2023 6.20.1): 'PARAMB' : ... note: In instance 't' 7 | class Cls #(type PARAMB); diff --git a/test_regress/t/t_class_param_bad_paren.out b/test_regress/t/t_class_param_bad_paren.out index 371237552..481229934 100644 --- a/test_regress/t/t_class_param_bad_paren.out +++ b/test_regress/t/t_class_param_bad_paren.out @@ -2,4 +2,5 @@ : ... Suggest use 'Cls#()' 28 | if (Cls::OTHER != 12) $stop; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_class_param_circ_bad.out b/test_regress/t/t_class_param_circ_bad.out index 48506b492..a7061a9a4 100644 --- a/test_regress/t/t_class_param_circ_bad.out +++ b/test_regress/t/t_class_param_circ_bad.out @@ -2,4 +2,6 @@ : ... note: In instance 't' 14 | ClsA #(PARAM+1) a; | ^~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Internal Error: ../V3Param.cpp:#: should find just-made module + ... This fatal error may be caused by the earlier error(s); resolve those first. diff --git a/test_regress/t/t_class_param_comma_bad.out b/test_regress/t/t_class_param_comma_bad.out index a775e47c0..05bdbaff7 100644 --- a/test_regress/t/t_class_param_comma_bad.out +++ b/test_regress/t/t_class_param_comma_bad.out @@ -1,6 +1,7 @@ %Error: t/t_class_param_comma_bad.v:16:22: syntax error, unexpected ')', expecting IDENTIFIER-for-type 16 | Cls #(.PARAMB(14),) ce; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_class_param_comma_bad.v:17:13: syntax error, unexpected ')', expecting IDENTIFIER-for-type 17 | Cls #(14,) cf; | ^ diff --git a/test_regress/t/t_class_param_enum_bad.out b/test_regress/t/t_class_param_enum_bad.out index b920a9dcb..afd1047ca 100644 --- a/test_regress/t/t_class_param_enum_bad.out +++ b/test_regress/t/t_class_param_enum_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 20 | Converter#(bit) conv2 = conv1; | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error-ENUMVALUE: t/t_class_param_enum_bad.v:21:19: Implicit conversion to enum 'enum{}$unit::enum_t' from 'logic[31:0]' (IEEE 1800-2023 6.19.3) : ... note: In instance 't' : ... Suggest use enum's mnemonic, or static cast diff --git a/test_regress/t/t_class_param_nconst_bad.out b/test_regress/t/t_class_param_nconst_bad.out index 28382723a..45fe0e7de 100644 --- a/test_regress/t/t_class_param_nconst_bad.out +++ b/test_regress/t/t_class_param_nconst_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 12 | Cls #(.PARAM($random)) c; | ^~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_class_param_nconst_bad.v:12:11: Can't convert defparam value to constant: Param 'PARAM' of 'Cls' : ... note: In instance 't' 12 | Cls #(.PARAM($random)) c; diff --git a/test_regress/t/t_class_param_nested_bad.out b/test_regress/t/t_class_param_nested_bad.out index 9e7f90c07..a4cc495ba 100644 --- a/test_regress/t/t_class_param_nested_bad.out +++ b/test_regress/t/t_class_param_nested_bad.out @@ -8,3 +8,4 @@ : ... note: In instance 't' 51 | Wrap2 #(Wrap#(19)::PBASE * 2) w38; | ^ + ... This fatal error may be caused by the earlier error(s); resolve those first. diff --git a/test_regress/t/t_class_param_noinit_bad.out b/test_regress/t/t_class_param_noinit_bad.out index c3e85d2f3..1980a618e 100644 --- a/test_regress/t/t_class_param_noinit_bad.out +++ b/test_regress/t/t_class_param_noinit_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 13 | Cls #(1) c; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_class_param_noinit_bad.v:13:7: Class parameter type without default value is never given value (IEEE 1800-2023 6.20.1): 'T' : ... note: In instance 't' 13 | Cls #(1) c; diff --git a/test_regress/t/t_class_param_subtype_bad_paren.out b/test_regress/t/t_class_param_subtype_bad_paren.out index e5877dec8..80797cc6a 100644 --- a/test_regress/t/t_class_param_subtype_bad_paren.out +++ b/test_regress/t/t_class_param_subtype_bad_paren.out @@ -2,4 +2,5 @@ : ... Suggest use 'CParam#()' 32 | CParam::type_t val_0 = 100; | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_class_param_virtual_bad.out b/test_regress/t/t_class_param_virtual_bad.out index a56539082..31b5689f3 100644 --- a/test_regress/t/t_class_param_virtual_bad.out +++ b/test_regress/t/t_class_param_virtual_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 13 | t = new; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_class_param_virtual_bad.v:23:28: Illegal to call 'new' using an abstract virtual class 'ClsVirt' (IEEE 1800-2023 8.21) : ... note: In instance 't' 23 | ClsVirt#(VBase) cv = new; diff --git a/test_regress/t/t_class_ref_bad.out b/test_regress/t/t_class_ref_bad.out index e675eef7e..76e076d4f 100644 --- a/test_regress/t/t_class_ref_bad.out +++ b/test_regress/t/t_class_ref_bad.out @@ -2,4 +2,5 @@ : ... Suggested alternative: 'ClsRight' 15 | s = ClsRigh::m_s; | ^~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_class_scope_import.out b/test_regress/t/t_class_scope_import.out index 4c1811e42..0429ee0bc 100644 --- a/test_regress/t/t_class_scope_import.out +++ b/test_regress/t/t_class_scope_import.out @@ -1,4 +1,5 @@ %Error: t/t_class_scope_import.v:11:14: Import statement directly within a class scope is illegal 11 | import pkg::*; | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_class_super_bad.out b/test_regress/t/t_class_super_bad.out index 3800174f6..42d40c058 100644 --- a/test_regress/t/t_class_super_bad.out +++ b/test_regress/t/t_class_super_bad.out @@ -1,4 +1,5 @@ %Error: t/t_class_super_bad.v:12:12: 'super' used outside class (IEEE 1800-2023 8.15) 12 | super.addr = 2; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_class_super_bad2.out b/test_regress/t/t_class_super_bad2.out index 6c2919d68..d5db4aade 100644 --- a/test_regress/t/t_class_super_bad2.out +++ b/test_regress/t/t_class_super_bad2.out @@ -1,4 +1,5 @@ %Error: t/t_class_super_bad2.v:10:12: 'super' used on non-extended class (IEEE 1800-2023 8.15) 10 | super.i = 1; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_class_super_new_bad_nfirst.out b/test_regress/t/t_class_super_new_bad_nfirst.out index e78375ede..c33bfe35b 100644 --- a/test_regress/t/t_class_super_new_bad_nfirst.out +++ b/test_regress/t/t_class_super_new_bad_nfirst.out @@ -4,4 +4,5 @@ t/t_class_super_new_bad_nfirst.v:17:16: ... Location of earlier statement 17 | imemberc = 10; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_class_unsup_bad.out b/test_regress/t/t_class_unsup_bad.out index 6f5f72792..13febcf47 100644 --- a/test_regress/t/t_class_unsup_bad.out +++ b/test_regress/t/t_class_unsup_bad.out @@ -1,6 +1,7 @@ %Error: t/t_class_unsup_bad.v:24:21: Syntax error: 'static'/'virtual'/'rand'/'randc' not allowed before typedef declaration 24 | rand typedef int irand_t; | ^~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_class_unsup_bad.v:25:22: Syntax error: 'static'/'virtual'/'rand'/'randc' not allowed before typedef declaration 25 | randc typedef int icrand_t; | ^~~~~~~~ diff --git a/test_regress/t/t_class_uses_this_bad.out b/test_regress/t/t_class_uses_this_bad.out index c9ee4ca37..3f6c06578 100644 --- a/test_regress/t/t_class_uses_this_bad.out +++ b/test_regress/t/t_class_uses_this_bad.out @@ -1,4 +1,5 @@ %Error: t/t_class_uses_this_bad.v:11:12: 'this' used outside class (IEEE 1800-2023 8.11) 11 | this.addr = 2; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_class_virtual_bad.out b/test_regress/t/t_class_virtual_bad.out index a7663d7bf..6ac64a912 100644 --- a/test_regress/t/t_class_virtual_bad.out +++ b/test_regress/t/t_class_virtual_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 12 | VBase b = new; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_class_virtual_pure_bad.out b/test_regress/t/t_class_virtual_pure_bad.out index 6e8b79250..bd8f0eab7 100644 --- a/test_regress/t/t_class_virtual_pure_bad.out +++ b/test_regress/t/t_class_virtual_pure_bad.out @@ -1,4 +1,5 @@ %Error: t/t_class_virtual_pure_bad.v:8:22: Illegal to have 'pure virtual' in non-virtual class (IEEE 1800-2023 8.21) 8 | pure virtual task pure_task; | ^~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_clocking_bad1.out b/test_regress/t/t_clocking_bad1.out index e1418ce74..84617682a 100644 --- a/test_regress/t/t_clocking_bad1.out +++ b/test_regress/t/t_clocking_bad1.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 16 | default clocking @(posedge clk); | ^~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_clocking_bad2.out b/test_regress/t/t_clocking_bad2.out index 5d32295d1..170ac31dc 100644 --- a/test_regress/t/t_clocking_bad2.out +++ b/test_regress/t/t_clocking_bad2.out @@ -1,6 +1,7 @@ %Error: t/t_clocking_bad2.v:15:32: 1step not allowed as output skew 15 | default input #1 output #1step; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_clocking_bad2.v:16:23: Multiple default input skews not allowed 16 | default input #2 output #2; | ^ diff --git a/test_regress/t/t_clocking_bad3.out b/test_regress/t/t_clocking_bad3.out index 8202621e3..16302e365 100644 --- a/test_regress/t/t_clocking_bad3.out +++ b/test_regress/t/t_clocking_bad3.out @@ -1,6 +1,7 @@ %Error: t/t_clocking_bad3.v:14:14: Corresponding variable 'in' does not exist 14 | input in; | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_clocking_bad3.v:15:15: Corresponding variable 'out' does not exist 15 | output out; | ^~~ diff --git a/test_regress/t/t_clocking_bad4.out b/test_regress/t/t_clocking_bad4.out index f3e8c9402..9db9f5d70 100644 --- a/test_regress/t/t_clocking_bad4.out +++ b/test_regress/t/t_clocking_bad4.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 23 | input #cyc in; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_clocking_bad4.v:24:16: Skew cannot be negative : ... note: In instance 't' 24 | input #(-1) out; diff --git a/test_regress/t/t_clocking_bad5.out b/test_regress/t/t_clocking_bad5.out index 487c4450e..7fd7b5bd9 100644 --- a/test_regress/t/t_clocking_bad5.out +++ b/test_regress/t/t_clocking_bad5.out @@ -4,6 +4,7 @@ t/t_clocking_bad5.v:26:20: ... Location of original declaration 26 | global clocking ck @(posedge clk); endclocking | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_clocking_bad5.v:32:20: Duplicate declaration of CLOCKING 'ogck': '$global_clock' 32 | global clocking ck @(posedge clk); endclocking | ^~ diff --git a/test_regress/t/t_concat_link_bad.out b/test_regress/t/t_concat_link_bad.out index 25e935028..a4fc82936 100644 --- a/test_regress/t/t_concat_link_bad.out +++ b/test_regress/t/t_concat_link_bad.out @@ -4,6 +4,7 @@ t/t_concat_link_bad.v:13:34: ... Resolving this reference 13 | assign bar_s = {foo_s, foo_s}.f1; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_concat_link_bad.v:13:26: Syntax error: Not expecting CONCAT under a REPLICATE in dotted expression 13 | assign bar_s = {foo_s, foo_s}.f1; | ^ diff --git a/test_regress/t/t_const_dec_mixed_bad.out b/test_regress/t/t_const_dec_mixed_bad.out index eac803545..8e07f25e2 100644 --- a/test_regress/t/t_const_dec_mixed_bad.out +++ b/test_regress/t/t_const_dec_mixed_bad.out @@ -1,4 +1,5 @@ %Error: t/t_const_dec_mixed_bad.v:9:30: Mixing X/Z/? with digits not legal in decimal constant: x_1 9 | parameter [200:0] MIXED = 32'dx_1; | ^~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_const_number_bad.out b/test_regress/t/t_const_number_bad.out index 64979a485..cfd7ea94e 100644 --- a/test_regress/t/t_const_number_bad.out +++ b/test_regress/t/t_const_number_bad.out @@ -1,6 +1,7 @@ %Error: t/t_const_number_bad.v:9:29: Number is missing value digits: 32'd 9 | parameter integer FOO2 = 32'd-6; | ^~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_const_number_bad.v:10:29: Number is missing value digits: 32'd 10 | parameter integer FOO3 = 32'd; | ^~~~ diff --git a/test_regress/t/t_const_overflow_bad.out b/test_regress/t/t_const_overflow_bad.out index 092232847..1085a37de 100644 --- a/test_regress/t/t_const_overflow_bad.out +++ b/test_regress/t/t_const_overflow_bad.out @@ -1,6 +1,7 @@ %Error: t/t_const_overflow_bad.v:9:34: Too many digits for 94 bit number: '94'd123456789012345678901234567890' 9 | parameter [200:0] TOO_SMALL = 94'd123456789012345678901234567890; | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_const_overflow_bad.v:11:31: Too many digits for 8 bit number: '8'habc' 11 | parameter [200:0] SMALLH = 8'habc; | ^~~~~~ diff --git a/test_regress/t/t_constraint_assoc_arr_bad.out b/test_regress/t/t_constraint_assoc_arr_bad.out index 167603034..78f52a9f1 100644 --- a/test_regress/t/t_constraint_assoc_arr_bad.out +++ b/test_regress/t/t_constraint_assoc_arr_bad.out @@ -6,6 +6,7 @@ %Error: t/t_constraint_assoc_arr_bad.v:30:26: Illegal non-integral expression or subexpression in random constraint. (IEEE 1800-2023 18.3) 30 | constraint c1 { data[cl] > 0;} | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_constraint_assoc_arr_bad.v:44:44: Illegal non-integral expression or subexpression in random constraint. (IEEE 1800-2023 18.3) 44 | constraint c2 { foreach (data[i]) data[i] < 100; } | ^ diff --git a/test_regress/t/t_constraint_before_randc_bad.out b/test_regress/t/t_constraint_before_randc_bad.out index 4cbf1a3a8..0d53a0ec5 100644 --- a/test_regress/t/t_constraint_before_randc_bad.out +++ b/test_regress/t/t_constraint_before_randc_bad.out @@ -4,4 +4,5 @@ t/t_constraint_before_randc_bad.v:11:29: ... Location of restricting expression 11 | constraint raint2_bad { solve b1 before b2; } | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_constraint_dist_randc_bad.out b/test_regress/t/t_constraint_dist_randc_bad.out index faff6e9be..19ce4e62c 100644 --- a/test_regress/t/t_constraint_dist_randc_bad.out +++ b/test_regress/t/t_constraint_dist_randc_bad.out @@ -4,4 +4,5 @@ t/t_constraint_dist_randc_bad.v:10:26: ... Location of restricting expression 10 | constraint c_bad { rc dist {3 := 0, 10 := 5}; } | ^~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_constraint_extern_bad.out b/test_regress/t/t_constraint_extern_bad.out index e63efbb03..73b10b4f8 100644 --- a/test_regress/t/t_constraint_extern_bad.out +++ b/test_regress/t/t_constraint_extern_bad.out @@ -1,6 +1,7 @@ %Error: t/t_constraint_extern_bad.v:8:22: Definition not found for extern 'missing_bad' 8 | extern constraint missing_bad; | ^~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_constraint_extern_bad.v:11:20: extern not found that declares 'missing_extern' 11 | constraint Packet::missing_extern { } | ^~~~~~~~~~~~~~ diff --git a/test_regress/t/t_constraint_method_bad.out b/test_regress/t/t_constraint_method_bad.out index 9c27c3b0a..4fba6ec70 100644 --- a/test_regress/t/t_constraint_method_bad.out +++ b/test_regress/t/t_constraint_method_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 13 | cons.bad_method(1); | ^~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_constraint_mode_bad.out b/test_regress/t/t_constraint_mode_bad.out index 2a1de9135..643bcaf5d 100644 --- a/test_regress/t/t_constraint_mode_bad.out +++ b/test_regress/t/t_constraint_mode_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 21 | p.m_one.constraint_mode(0); | ^~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_constraint_mode_bad.v:22:45: Cannot call 'constraint_mode()' as a function on a variable : ... note: In instance 't' 22 | $display("p.constraint_mode()=%0d", p.constraint_mode()); diff --git a/test_regress/t/t_constraint_pure_missing_bad.out b/test_regress/t/t_constraint_pure_missing_bad.out index e9b226c01..425b26c88 100644 --- a/test_regress/t/t_constraint_pure_missing_bad.out +++ b/test_regress/t/t_constraint_pure_missing_bad.out @@ -4,4 +4,5 @@ t/t_constraint_pure_missing_bad.v:8:21: ... Location of interface class's pure constraint 8 | pure constraint raint; | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_constraint_pure_nonabs_bad.out b/test_regress/t/t_constraint_pure_nonabs_bad.out index 039a415a0..9ad026d65 100644 --- a/test_regress/t/t_constraint_pure_nonabs_bad.out +++ b/test_regress/t/t_constraint_pure_nonabs_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 8 | pure constraint raintBad; | ^~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_constraint_soft_randc_bad.out b/test_regress/t/t_constraint_soft_randc_bad.out index d87a61b02..61ab00601 100644 --- a/test_regress/t/t_constraint_soft_randc_bad.out +++ b/test_regress/t/t_constraint_soft_randc_bad.out @@ -4,4 +4,5 @@ t/t_constraint_soft_randc_bad.v:10:23: ... Location of restricting expression 10 | constraint c_bad { soft rc > 4; } | ^~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_debug_width.out b/test_regress/t/t_debug_width.out index 91e0e073c..34d60fbbf 100644 --- a/test_regress/t/t_debug_width.out +++ b/test_regress/t/t_debug_width.out @@ -1,4 +1,4 @@ %Error: Internal Error: t/t_opt_const.v:12:8: ../V3Ast.cpp:#: widthMismatch detected 'lhsp()->widthMin() != rhsp()->widthMin()' @ ../V3AstNodes.cpp:#OUT:(G/wu32/1) LHS:(G/w32) RHS:(G/wu32/1) 12 | module t( | ^ - ... See the manual at https://verilator.org/verilator_doc.html for more assistance. + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. diff --git a/test_regress/t/t_define_override.out b/test_regress/t/t_define_override.out index 30812f4d2..86e6fdcbe 100644 --- a/test_regress/t/t_define_override.out +++ b/test_regress/t/t_define_override.out @@ -4,6 +4,8 @@ ... Use "/* verilator lint_off REDEFMACRO */" and lint_on around source to disable this message. %Warning-DEFOVERRIDE: t/t_define_override.v:9:23: Overriding define: 'TEST_MACRO' with value: '10' to existing command line define value: '50' ... Location of previous definition, with value: '50' + ... For warning description see https://verilator.org/warn/DEFOVERRIDE?v=latest + ... Use "/* verilator lint_off DEFOVERRIDE */" and lint_on around source to disable this message. %Warning-DEFOVERRIDE: t/t_define_override.v:10:24: Overriding define: 'TEST_MACRO' with value: '100' to existing command line define value: '50' ... Location of previous definition, with value: '50' %Error: Exiting due to diff --git a/test_regress/t/t_delay_stmtdly_bad.out b/test_regress/t/t_delay_stmtdly_bad.out index 441588a9c..7a41e39a7 100644 --- a/test_regress/t/t_delay_stmtdly_bad.out +++ b/test_regress/t/t_delay_stmtdly_bad.out @@ -28,10 +28,14 @@ : ... note: In instance 't' 52 | #100 $finish; | ^ + ... For warning description see https://verilator.org/warn/STMTDLY?v=latest + ... Use "/* verilator lint_off STMTDLY */" and lint_on around source to disable this message. %Warning-UNUSEDSIGNAL: t/t_delay.v:21:16: Signal is not used: 'dly4' : ... note: In instance 't' 21 | wire [31:0] dly4; | ^~~~ + ... For warning description see https://verilator.org/warn/UNUSEDSIGNAL?v=latest + ... Use "/* verilator lint_off UNUSEDSIGNAL */" and lint_on around source to disable this message. %Warning-UNUSEDSIGNAL: t/t_delay.v:24:12: Signal is not used: 'dly_s' : ... note: In instance 't' 24 | dly_s_t dly_s; @@ -44,4 +48,6 @@ : ... Suggest using delayed assignment '<=' 45 | dly_s.dly = 55; | ^ + ... For warning description see https://verilator.org/warn/BLKSEQ?v=latest + ... Use "/* verilator lint_off BLKSEQ */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_disable_iff_multi_bad.out b/test_regress/t/t_disable_iff_multi_bad.out index cf6dedeb4..3c3eb788b 100644 --- a/test_regress/t/t_disable_iff_multi_bad.out +++ b/test_regress/t/t_disable_iff_multi_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 14 | default disable iff (!rstn); | ^~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_display_bad.out b/test_regress/t/t_display_bad.out index 615589bd4..1c0308db9 100644 --- a/test_regress/t/t_display_bad.out +++ b/test_regress/t/t_display_bad.out @@ -1,6 +1,7 @@ %Error: t/t_display_bad.v:11:7: Missing arguments for $display-like format 11 | $display("%x"); | ^~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_display_bad.v:13:7: Unknown $display-like format code: '%q' 13 | $display("%q"); | ^~~~~~~~ diff --git a/test_regress/t/t_display_esc_bad.out b/test_regress/t/t_display_esc_bad.out index a2c68c232..9f7d5dbda 100644 --- a/test_regress/t/t_display_esc_bad.out +++ b/test_regress/t/t_display_esc_bad.out @@ -1,4 +1,5 @@ %Error: t/t_display_esc_bad.v:9:16: Unknown escape sequence: \x 9 | $display("\x\y\z"); | ^~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_display_type_bad.out b/test_regress/t/t_display_type_bad.out index 5d68880f5..aff55a449 100644 --- a/test_regress/t/t_display_type_bad.out +++ b/test_regress/t/t_display_type_bad.out @@ -3,6 +3,7 @@ : ... Suggest use '%s' 10 | $display("%d %x %f %t", s, s, s, s); | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_display_type_bad.v:10:34: $display-line format of '%x' illegal with string argument : ... note: In instance 't' : ... Suggest use '%s' diff --git a/test_regress/t/t_dpi_2exp_bad.out b/test_regress/t/t_dpi_2exp_bad.out index 9216f2be0..9b8483fa7 100644 --- a/test_regress/t/t_dpi_2exp_bad.out +++ b/test_regress/t/t_dpi_2exp_bad.out @@ -1,4 +1,5 @@ %Error: t/t_dpi_2exp_bad.v:12:45: Function was already DPI Exported, duplicate not allowed: 'dpix_twice' 12 | export "DPI-C" dpix_t_int_renamed = task dpix_twice; | ^~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_dpi_2exparg_bad.out b/test_regress/t/t_dpi_2exparg_bad.out index cb7fe065d..785f99a46 100644 --- a/test_regress/t/t_dpi_2exparg_bad.out +++ b/test_regress/t/t_dpi_2exparg_bad.out @@ -8,6 +8,8 @@ : ... note: In instance 't.a' 12 | task dpix_twice(input int i, output [2:0] o); o = ~i; endtask | ^ + ... For warning description see https://verilator.org/warn/WIDTHTRUNC?v=latest + ... Use "/* verilator lint_off WIDTHTRUNC */" and lint_on around source to disable this message. %Error: t/t_dpi_2exparg_bad.v:19:9: Duplicate declaration of DPI function with different signature: 'dpix_twice' 19 | task dpix_twice(input int i, output [63:0] o); o = ~i; endtask | ^~~~~~~~~~ @@ -15,4 +17,5 @@ t/t_dpi_2exparg_bad.v:12:9: ... Original signature: void dpix_twice (int, svLogicVecVal* /* logic[2:0] */ ) 12 | task dpix_twice(input int i, output [2:0] o); o = ~i; endtask | ^~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_dpi_dup_bad.out b/test_regress/t/t_dpi_dup_bad.out index 9015fb25d..155eee047 100644 --- a/test_regress/t/t_dpi_dup_bad.out +++ b/test_regress/t/t_dpi_dup_bad.out @@ -5,4 +5,5 @@ t/t_dpi_dup_bad.v:12:47: ... Original signature: int dpii_fa_bit (int) 12 | import "DPI-C" dpii_fa_bit = function int oth_f_int1(input int i); | ^~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_dpi_export_bad.out b/test_regress/t/t_dpi_export_bad.out index 36f9b09d2..62ac45b46 100644 --- a/test_regress/t/t_dpi_export_bad.out +++ b/test_regress/t/t_dpi_export_bad.out @@ -1,4 +1,5 @@ %Error: t/t_dpi_export_bad.v:10:24: Can't find definition of exported task/function: 'dpix_bad_missing' 10 | export "DPI-C" task dpix_bad_missing; | ^~~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_dpi_import_mix_bad.out b/test_regress/t/t_dpi_import_mix_bad.out index ef362e51b..161fcf7e9 100644 --- a/test_regress/t/t_dpi_import_mix_bad.out +++ b/test_regress/t/t_dpi_import_mix_bad.out @@ -1,4 +1,5 @@ %Error: t/t_dpi_import_mix_bad.v:11:32: Cannot mix DPI import, DPI export, class methods, and/or public on same function: 't.foo' 11 | import "DPI-C" function int foo (int i); | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_dpi_name_bad.out b/test_regress/t/t_dpi_name_bad.out index 04f4e97ba..f4438446a 100644 --- a/test_regress/t/t_dpi_name_bad.out +++ b/test_regress/t/t_dpi_name_bad.out @@ -1,6 +1,7 @@ %Error: t/t_dpi_name_bad.v:11:32: DPI function has illegal characters in C identifier name: badly.named 11 | import "DPI-C" function int \badly.named (int i); | ^~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_dpi_name_bad.v:14:17: DPI function has illegal characters in C identifier name: badly.expt 14 | function int \badly.expt ; return 0; endfunction | ^~~~~~~~~~~ diff --git a/test_regress/t/t_dpi_result_type_bad.out b/test_regress/t/t_dpi_result_type_bad.out index eb29a2c65..5c1d8e279 100644 --- a/test_regress/t/t_dpi_result_type_bad.out +++ b/test_regress/t/t_dpi_result_type_bad.out @@ -2,6 +2,7 @@ : ... Suggest make it an output argument instead? 79 | import "DPI-C" function bit [ 32:0] i_array_2_state_33(); | ^~~~~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_dpi_result_type_bad.v:80:40: DPI function may not return a > 32 bits wide type other than basic types. : ... Suggest make it an output argument instead? 80 | import "DPI-C" function bit [ 63:0] i_array_2_state_64(); diff --git a/test_regress/t/t_dpi_type_bad.out b/test_regress/t/t_dpi_type_bad.out index 7fe755402..b949c381b 100644 --- a/test_regress/t/t_dpi_type_bad.out +++ b/test_regress/t/t_dpi_type_bad.out @@ -1,4 +1,5 @@ %Error: t/t_dpi_type_bad.v:11:4: Unsupported DPI type 'DPI-BAD': Use 'DPI-C' 11 | import "DPI-BAD" task dpix_twice; | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_dpi_unpack_bad.out b/test_regress/t/t_dpi_unpack_bad.out index 3e03f665e..2b2876c9e 100644 --- a/test_regress/t/t_dpi_unpack_bad.out +++ b/test_regress/t/t_dpi_unpack_bad.out @@ -7,6 +7,7 @@ : ... note: In instance 't' 21 | import_func0(sig0); | ^~~~~~~~~~~~ + ... For warning description see https://verilator.org/warn/WIDTHEXPAND?v=latest ... Use "/* verilator lint_off WIDTHEXPAND */" and lint_on around source to disable this message. %Error-UNSUPPORTED: t/t_dpi_unpack_bad.v:23:20: Shape of the argument does not match the shape of the parameter ('logic[2:0]$[0:2][0:1]' v.s. 'logic[2:0]$[0:2]') : ... note: In instance 't' diff --git a/test_regress/t/t_duplicated_gen_blocks_bad.out b/test_regress/t/t_duplicated_gen_blocks_bad.out index 5d14ab424..96296dc1a 100644 --- a/test_regress/t/t_duplicated_gen_blocks_bad.out +++ b/test_regress/t/t_duplicated_gen_blocks_bad.out @@ -5,6 +5,7 @@ t/t_duplicated_gen_blocks_bad.v:9:12: ... Location of original declaration 9 | begin : block | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_duplicated_gen_blocks_bad.v:15:23: Duplicate declaration of block: 'block1' : ... note: In instance 't' 15 | if (X > 1) begin : block1 diff --git a/test_regress/t/t_dynarray_bad.out b/test_regress/t/t_dynarray_bad.out index fe1e71b45..12748e014 100644 --- a/test_regress/t/t_dynarray_bad.out +++ b/test_regress/t/t_dynarray_bad.out @@ -7,3 +7,4 @@ %Error: Internal Error: t/t_dynarray_bad.v:15:16: ../V3Number.cpp:#: Number operation called with non-logic (double or string) argument: '"str"" 15 | a = new [s]; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. diff --git a/test_regress/t/t_dynarray_bits.out b/test_regress/t/t_dynarray_bits.out index 7ea677817..f77395fad 100644 --- a/test_regress/t/t_dynarray_bits.out +++ b/test_regress/t/t_dynarray_bits.out @@ -7,4 +7,4 @@ : ... note: In instance 't' 12 | if ($bits(a) != 0) $stop; | ^~ - ... See the manual at https://verilator.org/verilator_doc.html for more assistance. + ... This fatal error may be caused by the earlier error(s); resolve those first. diff --git a/test_regress/t/t_enum_bad_circdecl.out b/test_regress/t/t_enum_bad_circdecl.out index abeff1184..f3e6e08d0 100644 --- a/test_regress/t/t_enum_bad_circdecl.out +++ b/test_regress/t/t_enum_bad_circdecl.out @@ -5,4 +5,5 @@ t/t_enum_bad_circdecl.v:9:17: ... Location of reference 9 | typedef enum bad_redecl [2:0] { | ^~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_enum_bad_dup.out b/test_regress/t/t_enum_bad_dup.out index b6dac7521..34dd352ea 100644 --- a/test_regress/t/t_enum_bad_dup.out +++ b/test_regress/t/t_enum_bad_dup.out @@ -4,4 +4,5 @@ t/t_enum_bad_dup.v:9:19: ... Location of original declaration 9 | typedef enum { DUP_VALUE = 2, | ^~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_enum_bad_value.out b/test_regress/t/t_enum_bad_value.out index cb3fb5d6d..d9920ebaa 100644 --- a/test_regress/t/t_enum_bad_value.out +++ b/test_regress/t/t_enum_bad_value.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 10 | VALUE_BAD = 8 | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_enum_bad_wrap.out b/test_regress/t/t_enum_bad_wrap.out index 47a87cae8..418b24ca8 100644 --- a/test_regress/t/t_enum_bad_wrap.out +++ b/test_regress/t/t_enum_bad_wrap.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 11 | WRAPPED | ^~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_enum_base_bad.out b/test_regress/t/t_enum_base_bad.out index 74839d10a..d46208e46 100644 --- a/test_regress/t/t_enum_base_bad.out +++ b/test_regress/t/t_enum_base_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 13 | typedef enum s_t { | ^~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_enum_huge_methods_bad.out b/test_regress/t/t_enum_huge_methods_bad.out index 664d2ba24..c6dd33f03 100644 --- a/test_regress/t/t_enum_huge_methods_bad.out +++ b/test_regress/t/t_enum_huge_methods_bad.out @@ -1,6 +1,7 @@ %Error: t/t_enum_huge_methods_bad.v:15:18: Value too wide for 64-bits expected in this context 160'h12344567abcd12344567abcd 15 | ELARGE = 160'h1234_4567_abcd_1234_4567_abcd | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error-UNSUPPORTED: t/t_enum_huge_methods_bad.v:30:19: Unsupported: enum next/prev/name method on enum with > 64 bits 30 | $display(e.name); | ^ diff --git a/test_regress/t/t_enum_overlap_bad.out b/test_regress/t/t_enum_overlap_bad.out index 16f3d51a3..381685727 100644 --- a/test_regress/t/t_enum_overlap_bad.out +++ b/test_regress/t/t_enum_overlap_bad.out @@ -5,4 +5,5 @@ t/t_enum_overlap_bad.v:10:11: ... Location of original declaration 10 | e1, | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_enum_recurse_bad.out b/test_regress/t/t_enum_recurse_bad.out index edc69c63a..9fc90bfaa 100644 --- a/test_regress/t/t_enum_recurse_bad.out +++ b/test_regress/t/t_enum_recurse_bad.out @@ -1,6 +1,7 @@ %Error: t/t_enum_recurse_bad.v:7:9: Recursive enum value: 'u' 7 | enum {u=u} e_t; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_enum_recurse_bad.v:7:9: Expecting expression to be constant, but enum value isn't const: 'u' 7 | enum {u=u} e_t; | ^ diff --git a/test_regress/t/t_enum_recurse_bad2.out b/test_regress/t/t_enum_recurse_bad2.out index ad9d188b5..0c481a895 100644 --- a/test_regress/t/t_enum_recurse_bad2.out +++ b/test_regress/t/t_enum_recurse_bad2.out @@ -1,4 +1,5 @@ %Error: t/t_enum_recurse_bad2.v:7:14: Self-referential enumerated type definition 7 | typedef enum foo_t { A = 'b0, B = 'b1 } foo_t; | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_enum_type_methods_bad.out b/test_regress/t/t_enum_type_methods_bad.out index 233d51a6b..b8c07d499 100644 --- a/test_regress/t/t_enum_type_methods_bad.out +++ b/test_regress/t/t_enum_type_methods_bad.out @@ -2,4 +2,4 @@ : ... note: In instance 't' 24 | e.next(increment); | ^~~~~~~~~ - ... See the manual at https://verilator.org/verilator_doc.html for more assistance. + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. diff --git a/test_regress/t/t_enum_type_nomethod_bad.out b/test_regress/t/t_enum_type_nomethod_bad.out index f2085bb77..5facbff42 100644 --- a/test_regress/t/t_enum_type_nomethod_bad.out +++ b/test_regress/t/t_enum_type_nomethod_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 15 | e.bad_no_such_method(); | ^~~~~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_enum_x_bad.out b/test_regress/t/t_enum_x_bad.out index 7492b5862..fc848284c 100644 --- a/test_regress/t/t_enum_x_bad.out +++ b/test_regress/t/t_enum_x_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 9 | enum bit [1:0] { BADX = 2'b1x } BAD1; | ^~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_enum_x_bad.v:12:23: Enum value that is unassigned cannot follow value with X/Zs (IEEE 1800-2023 6.19) : ... note: In instance 't' 12 | e1 diff --git a/test_regress/t/t_event_class_fire.out b/test_regress/t/t_event_class_fire.out index 5cd5a3d51..a8c183b95 100644 --- a/test_regress/t/t_event_class_fire.out +++ b/test_regress/t/t_event_class_fire.out @@ -2,4 +2,4 @@ : ... note: In instance '$unit::Cls' 10 | ->> e; | ^~~ - ... See the manual at https://verilator.org/verilator_doc.html for more assistance. + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. diff --git a/test_regress/t/t_event_method_bad.out b/test_regress/t/t_event_method_bad.out index aaa78659a..d74966ad4 100644 --- a/test_regress/t/t_event_method_bad.out +++ b/test_regress/t/t_event_method_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 12 | e1.bad_method(); | ^~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_fallback_bad.out b/test_regress/t/t_fallback_bad.out index 31a449042..0555c5429 100644 --- a/test_regress/t/t_fallback_bad.out +++ b/test_regress/t/t_fallback_bad.out @@ -1,6 +1,7 @@ %Error: t/t_fallback_bad.v:26:16: Can't find definition of task/function: 'tsk' 26 | super.tsk; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_fallback_bad.v:27:15: Can't find definition of task/function: 'tsk' 27 | this.tsk; | ^~~ diff --git a/test_regress/t/t_flag_build_bad.out b/test_regress/t/t_flag_build_bad.out index 63a4df79c..9e5a1e773 100644 --- a/test_regress/t/t_flag_build_bad.out +++ b/test_regress/t/t_flag_build_bad.out @@ -1,2 +1,3 @@ %Error: --make cannot be used together with --build. Suggest see manual + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_build_jobs_bad.out b/test_regress/t/t_flag_build_jobs_bad.out index 1c9e263a4..bb8cfeeae 100644 --- a/test_regress/t/t_flag_build_jobs_bad.out +++ b/test_regress/t/t_flag_build_jobs_bad.out @@ -1,3 +1,4 @@ %Error: --build-jobs requires a non-negative integer, but '-1' was passed + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: The following cannot be used together: --build, --lint-only. Suggest see manual %Error: Exiting due to diff --git a/test_regress/t/t_flag_compiler_bad.out b/test_regress/t/t_flag_compiler_bad.out index 2a477c239..691f3b338 100644 --- a/test_regress/t/t_flag_compiler_bad.out +++ b/test_regress/t/t_flag_compiler_bad.out @@ -1,3 +1,4 @@ %Error: Unknown setting for --compiler: 'bad_one' ... Suggest 'clang', 'gcc', or 'msvc' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_context_bad.out b/test_regress/t/t_flag_context_bad.out index cbab432e9..c1a8e4c02 100644 --- a/test_regress/t/t_flag_context_bad.out +++ b/test_regress/t/t_flag_context_bad.out @@ -4,4 +4,6 @@ ... Use "/* verilator lint_off WIDTHTRUNC */" and lint_on around source to disable this message. %Warning-UNUSEDSIGNAL: t/t_flag_context_bad.v:9:15: Signal is not used: 'foo' : ... note: In instance 't' + ... For warning description see https://verilator.org/warn/UNUSEDSIGNAL?v=latest + ... Use "/* verilator lint_off UNUSEDSIGNAL */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_flag_decorations_bad.out b/test_regress/t/t_flag_decorations_bad.out index 00ce5476a..f74a00347 100644 --- a/test_regress/t/t_flag_decorations_bad.out +++ b/test_regress/t/t_flag_decorations_bad.out @@ -1,3 +1,4 @@ %Error: Unknown setting for --decorations: 'BAD' ... Suggest 'none', 'medium', or 'node' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_errorlimit_bad.out b/test_regress/t/t_flag_errorlimit_bad.out index 13e32a4b7..1a6a8925d 100644 --- a/test_regress/t/t_flag_errorlimit_bad.out +++ b/test_regress/t/t_flag_errorlimit_bad.out @@ -4,6 +4,7 @@ t/t_flag_errorlimit_bad.v:9:8: ... Location of original declaration 9 | int u1; | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_flag_errorlimit_bad.v:11:8: Duplicate declaration of signal: 'u1' 11 | int u1; | ^~ diff --git a/test_regress/t/t_flag_f_bad.out b/test_regress/t/t_flag_f_bad.out index 5de3d32b9..d43fa6b1e 100644 --- a/test_regress/t/t_flag_f_bad.out +++ b/test_regress/t/t_flag_f_bad.out @@ -1,2 +1,3 @@ %Error: Cannot open -f command file: file_will_not_exist.vc + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_f_bad_cmt.out b/test_regress/t/t_flag_f_bad_cmt.out index b214fc6c3..db6b8da95 100644 --- a/test_regress/t/t_flag_f_bad_cmt.out +++ b/test_regress/t/t_flag_f_bad_cmt.out @@ -1,2 +1,3 @@ %Error: Unterminated /* comment inside -f file. + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_future_bad.out b/test_regress/t/t_flag_future_bad.out index 388ebe036..67a863bd5 100644 --- a/test_regress/t/t_flag_future_bad.out +++ b/test_regress/t/t_flag_future_bad.out @@ -1,6 +1,7 @@ %Error: t/t_flag_future.v:8:7: Unknown verilator lint message code: 'FUTURE1', in '/*verilator lint_off FUTURE1*/' 8 | /*verilator lint_off FUTURE1*/ | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_flag_future.v:11:7: Unknown verilator comment: '/*verilator FUTURE2*/' 11 | /*verilator FUTURE2*/ | ^~~~~~~~~~~~~~~~~~~~~ diff --git a/test_regress/t/t_flag_hier0_bad.out b/test_regress/t/t_flag_hier0_bad.out index 50beec083..e5ef796ee 100644 --- a/test_regress/t/t_flag_hier0_bad.out +++ b/test_regress/t/t_flag_hier0_bad.out @@ -1,4 +1,5 @@ %Error: --hierarchical-block requires the number of entries to be even + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Module name 'param0' is duplicated in --hierarchical-block %Error: --hierarchical-block requires at least two comma-separated values %Error: --hierarchical-block must not end with \ diff --git a/test_regress/t/t_flag_hier1_bad.out b/test_regress/t/t_flag_hier1_bad.out index 90f0cb247..cb9939ab8 100644 --- a/test_regress/t/t_flag_hier1_bad.out +++ b/test_regress/t/t_flag_hier1_bad.out @@ -1,3 +1,4 @@ %Error: --hierarchical must not be set with --hierarchical-child or --hierarchical-block + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: --hierarchical-block must be set when --hierarchical-child is set %Error: Exiting due to diff --git a/test_regress/t/t_flag_invalid2_bad.out b/test_regress/t/t_flag_invalid2_bad.out index e84f9a0d8..f6d202789 100644 --- a/test_regress/t/t_flag_invalid2_bad.out +++ b/test_regress/t/t_flag_invalid2_bad.out @@ -1 +1,2 @@ %Error: Invalid option: +invalid-plus + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. diff --git a/test_regress/t/t_flag_invalid_bad.out b/test_regress/t/t_flag_invalid_bad.out index 54d2f3d73..308bac44a 100644 --- a/test_regress/t/t_flag_invalid_bad.out +++ b/test_regress/t/t_flag_invalid_bad.out @@ -1 +1,2 @@ %Error: Invalid option: --invalid-dash + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. diff --git a/test_regress/t/t_flag_libcreate_bad.out b/test_regress/t/t_flag_libcreate_bad.out index c4912f7c5..3db109214 100644 --- a/test_regress/t/t_flag_libcreate_bad.out +++ b/test_regress/t/t_flag_libcreate_bad.out @@ -1,2 +1,3 @@ %Error: --lib-create argument must be a legal C++ identifier: 'bad/name' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_make_bad.out b/test_regress/t/t_flag_make_bad.out index ecd9b7d97..17185c56b 100644 --- a/test_regress/t/t_flag_make_bad.out +++ b/test_regress/t/t_flag_make_bad.out @@ -1,2 +1,3 @@ %Error: Unknown --make system specified: 'bad_one' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_modprefix_bad.out b/test_regress/t/t_flag_modprefix_bad.out index e20cabf72..da5c58a06 100644 --- a/test_regress/t/t_flag_modprefix_bad.out +++ b/test_regress/t/t_flag_modprefix_bad.out @@ -1,2 +1,3 @@ %Error: --mod-prefix argument must be a legal C++ identifier: 'bad/name' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_nofile_bad.out b/test_regress/t/t_flag_nofile_bad.out index f73aa067d..38697a96c 100644 --- a/test_regress/t/t_flag_nofile_bad.out +++ b/test_regress/t/t_flag_nofile_bad.out @@ -1 +1,2 @@ %Error: verilator: No Input Verilog file specified on command line, see verilator --help for more information + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. diff --git a/test_regress/t/t_flag_nomod_bad.out b/test_regress/t/t_flag_nomod_bad.out index c5d48e9b9..a30ddec2e 100644 --- a/test_regress/t/t_flag_nomod_bad.out +++ b/test_regress/t/t_flag_nomod_bad.out @@ -1,2 +1,3 @@ %Error: No top level module found + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_noop_bad.out b/test_regress/t/t_flag_noop_bad.out index 1a162234c..44c3e6392 100644 --- a/test_regress/t/t_flag_noop_bad.out +++ b/test_regress/t/t_flag_noop_bad.out @@ -1 +1,2 @@ %Error: verilator: Need --binary, --cc, --sc, --dpi-hdr-only, --lint-only, --xml-only, --json-only or --E option + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. diff --git a/test_regress/t/t_flag_only_bad.out b/test_regress/t/t_flag_only_bad.out index fd923b3da..6fcbc3a92 100755 --- a/test_regress/t/t_flag_only_bad.out +++ b/test_regress/t/t_flag_only_bad.out @@ -1,2 +1,3 @@ %Error: The following cannot be used together: --binary, -E, --dpi-hdr-only, --lint-only, --xml-only, --json-only. Suggest see manual + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_only_bad2.out b/test_regress/t/t_flag_only_bad2.out index c5e6130a7..ce4a5c345 100755 --- a/test_regress/t/t_flag_only_bad2.out +++ b/test_regress/t/t_flag_only_bad2.out @@ -1,2 +1,3 @@ %Error: The following cannot be used together: --build, -E, --dpi-hdr-only, --lint-only, --xml-only, --json-only. Suggest see manual + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_only_bad3.out b/test_regress/t/t_flag_only_bad3.out index 6c2eabca6..604118317 100755 --- a/test_regress/t/t_flag_only_bad3.out +++ b/test_regress/t/t_flag_only_bad3.out @@ -1,2 +1,3 @@ %Error: The following cannot be used together: --dpi-hdr-only, --lint-only, --xml-only, --json-only. Suggest see manual + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_output_groups_bad.out b/test_regress/t/t_flag_output_groups_bad.out index d330e710d..61df88234 100644 --- a/test_regress/t/t_flag_output_groups_bad.out +++ b/test_regress/t/t_flag_output_groups_bad.out @@ -1,2 +1,3 @@ %Error: --output-groups must be >= -1: -2 + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_parameter_bad.out b/test_regress/t/t_flag_parameter_bad.out index 23115219e..a0e8a29eb 100644 --- a/test_regress/t/t_flag_parameter_bad.out +++ b/test_regress/t/t_flag_parameter_bad.out @@ -1,2 +1,3 @@ %Error: Parameters from the command line were not found in the design: PARAM_THAT_DOES_NON_EXIST + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_prefix_bad.out b/test_regress/t/t_flag_prefix_bad.out index d87a75861..7539e78db 100644 --- a/test_regress/t/t_flag_prefix_bad.out +++ b/test_regress/t/t_flag_prefix_bad.out @@ -1,2 +1,3 @@ %Error: --prefix argument must be a legal C++ identifier: 'bad/name' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_structs_packed_bad.out b/test_regress/t/t_flag_structs_packed_bad.out index 274e691de..c692c05e7 100644 --- a/test_regress/t/t_flag_structs_packed_bad.out +++ b/test_regress/t/t_flag_structs_packed_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 'x' 14 | notpacked_t b; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_suggest.out b/test_regress/t/t_flag_suggest.out index 0309de666..d038c2b5a 100644 --- a/test_regress/t/t_flag_suggest.out +++ b/test_regress/t/t_flag_suggest.out @@ -1,12 +1,24 @@ %Error: Invalid option: -ccc... Suggested alternative: '-cc' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Invalid option: --ccc... Suggested alternative: '-cc' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Invalid option: -no-asserT... Suggested alternative: '-no-assert' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Invalid option: -noasserT... Suggested alternative: '-no-assert' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Invalid option: -asserT... Suggested alternative: '-assert' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Invalid option: +definE+A=B... Suggested alternative: '+define+' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Invalid option: -CFLAGs... Suggested alternative: '-CFLAGS' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Invalid option: -debug-aborT + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Invalid option: -Won-SPLITVAR... Suggested alternative: '-Wno-SPLITVAR' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Unknown warning specified: -Wno-SPLITVER... Suggested alternative: '-Wno-SPLITVAR' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Unknown language specified: 1364-1997... Suggested alternative: '1364-1995' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: verilator: No Input Verilog file specified on command line, see verilator --help for more information + ... This fatal error may be caused by the earlier error(s); resolve those first. diff --git a/test_regress/t/t_flag_threads_dpi_bad.out b/test_regress/t/t_flag_threads_dpi_bad.out index e8c044e6f..87c482228 100644 --- a/test_regress/t/t_flag_threads_dpi_bad.out +++ b/test_regress/t/t_flag_threads_dpi_bad.out @@ -1,3 +1,4 @@ %Error: Unknown setting for --threads-dpi: 'bad_one' ... Suggest 'all', 'none', or 'pure' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_topmodule_bad2.out b/test_regress/t/t_flag_topmodule_bad2.out index e3b86be55..65ee5efb3 100644 --- a/test_regress/t/t_flag_topmodule_bad2.out +++ b/test_regress/t/t_flag_topmodule_bad2.out @@ -1,2 +1,3 @@ %Error: Specified --top-module 'notfound' was not found in design. + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_values_bad.out b/test_regress/t/t_flag_values_bad.out index 19b596488..ff3be40f5 100644 --- a/test_regress/t/t_flag_values_bad.out +++ b/test_regress/t/t_flag_values_bad.out @@ -1,4 +1,5 @@ %Error: --output-split-cfuncs must be >= 0: -1 + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: --output-split-ctrace must be >= 0: -1 %Error: --preproc-token-limit must be > 0: 0 %Error: --reloop-limit must be >= 2: -1 diff --git a/test_regress/t/t_flag_verilate_threads_bad.out b/test_regress/t/t_flag_verilate_threads_bad.out index f26bfdd19..8410f53d3 100644 --- a/test_regress/t/t_flag_verilate_threads_bad.out +++ b/test_regress/t/t_flag_verilate_threads_bad.out @@ -1,2 +1,3 @@ %Error: --verilate-jobs requires a non-negative integer, but '-1' was passed + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_werror_bad3.out b/test_regress/t/t_flag_werror_bad3.out index 8b2a23cf5..b5e3989ed 100644 --- a/test_regress/t/t_flag_werror_bad3.out +++ b/test_regress/t/t_flag_werror_bad3.out @@ -1 +1,2 @@ %Error: Unknown warning specified: -Werror-NOSUCHERRORASTHIS + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. diff --git a/test_regress/t/t_flag_woff_bad.out b/test_regress/t/t_flag_woff_bad.out index 25c278a31..465394532 100644 --- a/test_regress/t/t_flag_woff_bad.out +++ b/test_regress/t/t_flag_woff_bad.out @@ -1 +1,2 @@ %Error: Unknown warning specified: -Wno-NOSUCHERRORASTHIS + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. diff --git a/test_regress/t/t_flag_wpedantic_bad.out b/test_regress/t/t_flag_wpedantic_bad.out index f6b196425..c955c513e 100644 --- a/test_regress/t/t_flag_wpedantic_bad.out +++ b/test_regress/t/t_flag_wpedantic_bad.out @@ -1,4 +1,5 @@ %Error: t/t_flag_wpedantic_bad.v:8:8: syntax error, unexpected global, expecting IDENTIFIER or do or final or randomize 8 | reg global; | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_wwarn_bad.out b/test_regress/t/t_flag_wwarn_bad.out index 4913b9bb2..03479329d 100644 --- a/test_regress/t/t_flag_wwarn_bad.out +++ b/test_regress/t/t_flag_wwarn_bad.out @@ -1 +1,2 @@ %Error: Unknown warning specified: -Wwarn-NOSUCHERRORASTHIS + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. diff --git a/test_regress/t/t_flag_x_assign_bad.out b/test_regress/t/t_flag_x_assign_bad.out index 75c4153c3..daa4d8518 100644 --- a/test_regress/t/t_flag_x_assign_bad.out +++ b/test_regress/t/t_flag_x_assign_bad.out @@ -1,3 +1,4 @@ %Error: Unknown setting for --x-assign: 'bad_one' ... Suggest '0', '1', 'fast', or 'unique' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_flag_x_initial_bad.out b/test_regress/t/t_flag_x_initial_bad.out index 008b2cf19..425aaa663 100644 --- a/test_regress/t/t_flag_x_initial_bad.out +++ b/test_regress/t/t_flag_x_initial_bad.out @@ -1,3 +1,4 @@ %Error: Unknown setting for --x-initial: 'bad_one' ... Suggest '0', 'fast', or 'unique' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_force_bad_rw.out b/test_regress/t/t_force_bad_rw.out index 0b287ff80..28a841ba4 100644 --- a/test_regress/t/t_force_bad_rw.out +++ b/test_regress/t/t_force_bad_rw.out @@ -1,4 +1,5 @@ %Error: t/t_force_bad_rw.v:14:20: Unsupported: Signals used via read-write reference cannot be forced 14 | foreach (ass[index]) begin | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_foreach_bad.out b/test_regress/t/t_foreach_bad.out index 108f714f1..0c2524398 100644 --- a/test_regress/t/t_foreach_bad.out +++ b/test_regress/t/t_foreach_bad.out @@ -1,6 +1,7 @@ %Error: t/t_foreach_bad.v:14:7: Syntax error; foreach missing bracketed loop variable (IEEE 1800-2023 12.7.3) 14 | foreach (array); | ^~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_foreach_bad.v:18:23: 'foreach' loop variable expects simple variable name 18 | foreach (array[a.b]); | ^ diff --git a/test_regress/t/t_foreach_nindex_bad.out b/test_regress/t/t_foreach_nindex_bad.out index 4e28c541f..41a402add 100644 --- a/test_regress/t/t_foreach_nindex_bad.out +++ b/test_regress/t/t_foreach_nindex_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 12 | foreach (array[i, j, badk, badl]); | ^~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_foreach_type_bad.out b/test_regress/t/t_foreach_type_bad.out index 2330a227e..e39352d27 100644 --- a/test_regress/t/t_foreach_type_bad.out +++ b/test_regress/t/t_foreach_type_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 19 | foreach (c[i]); | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_foreach_type_bad.v:21:18: Illegal 'foreach' loop on BASICDTYPE 'real' data type : ... note: In instance 't' 21 | foreach (r[i]); diff --git a/test_regress/t/t_fork_func2_bad.out b/test_regress/t/t_fork_func2_bad.out index 695be23d0..1f3c49e98 100644 --- a/test_regress/t/t_fork_func2_bad.out +++ b/test_regress/t/t_fork_func2_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 10 | fork | ^~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_fork_func_bad.out b/test_regress/t/t_fork_func_bad.out index 264a37995..03066dfd1 100644 --- a/test_regress/t/t_fork_func_bad.out +++ b/test_regress/t/t_fork_func_bad.out @@ -1,4 +1,5 @@ %Error: t/t_fork_func_bad.v:11:10: Return isn't legal under fork (IEEE 1800-2023 9.2.3) 11 | return 0; | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_func_bad.out b/test_regress/t/t_func_bad.out index 0b52f146a..93f5b78b2 100644 --- a/test_regress/t/t_func_bad.out +++ b/test_regress/t/t_func_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 9 | if (add(3'd1) != 0) $stop; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_func_bad.v:10:27: Too many arguments in function call to FUNC 'add' : ... note: In instance 't' 10 | if (add(3'd1, 3'd2, 3'd3) != 0) $stop; diff --git a/test_regress/t/t_func_bad_width.out b/test_regress/t/t_func_bad_width.out index c274b565a..a5d0a836d 100644 --- a/test_regress/t/t_func_bad_width.out +++ b/test_regress/t/t_func_bad_width.out @@ -8,4 +8,6 @@ : ... note: In instance 't' 13 | out = MUX (in); | ^ + ... For warning description see https://verilator.org/warn/WIDTHTRUNC?v=latest + ... Use "/* verilator lint_off WIDTHTRUNC */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_func_const2_bad.out b/test_regress/t/t_func_const2_bad.out index 2a12b83a7..1f2d4e74d 100644 --- a/test_regress/t/t_func_const2_bad.out +++ b/test_regress/t/t_func_const2_bad.out @@ -13,4 +13,5 @@ c = ?32?h9 22 | localparam SOMEP = f_add2(A, B, 9); | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_func_const_bad.out b/test_regress/t/t_func_const_bad.out index 621df1c53..a2271fc0b 100644 --- a/test_regress/t/t_func_const_bad.out +++ b/test_regress/t/t_func_const_bad.out @@ -3,6 +3,7 @@ t/t_func_const_bad.v:13:64: ... Location of non-constant VAR 'o': Language violation: Outputs/refs not allowed in constant functions 12 | localparam B1 = f_bad_output(1,2); | ^~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_func_const_bad.v:21:20: Expecting expression to be constant, but can't determine constant for FUNCREF 'f_bad_dotted' : ... note: In instance 't' t/t_func_const_bad.v:23:24: ... Location of non-constant VARXREF 'EIGHT': Language violation: Dotted hierarchical references not allowed in constant functions diff --git a/test_regress/t/t_func_const_packed_array_bad.out b/test_regress/t/t_func_const_packed_array_bad.out index 6b55415c0..27f2585a3 100644 --- a/test_regress/t/t_func_const_packed_array_bad.out +++ b/test_regress/t/t_func_const_packed_array_bad.out @@ -12,4 +12,5 @@ c = ?32?h9 12 | localparam P24 = f_add2(7, 8, 9); | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_func_const_packed_struct_bad.out b/test_regress/t/t_func_const_packed_struct_bad.out index 3dd459670..6a160173a 100644 --- a/test_regress/t/t_func_const_packed_struct_bad.out +++ b/test_regress/t/t_func_const_packed_struct_bad.out @@ -12,4 +12,5 @@ c = ?32?h9 14 | localparam P24 = f_add2(7, 8, 9); | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_func_const_packed_struct_bad2.out b/test_regress/t/t_func_const_packed_struct_bad2.out index 23643b079..d554dc1ca 100644 --- a/test_regress/t/t_func_const_packed_struct_bad2.out +++ b/test_regress/t/t_func_const_packed_struct_bad2.out @@ -12,4 +12,5 @@ c = ?32?h9 20 | localparam P24 = f_add2(7, 8, 9); | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_func_const_struct_bad.out b/test_regress/t/t_func_const_struct_bad.out index 4b0bb70ae..e813e4766 100644 --- a/test_regress/t/t_func_const_struct_bad.out +++ b/test_regress/t/t_func_const_struct_bad.out @@ -12,4 +12,5 @@ c = ?32?h9 17 | localparam P24 = f_add2(7, 8, 9); | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_func_no_parentheses_bad.out b/test_regress/t/t_func_no_parentheses_bad.out index c1c6cd176..96df8cc0c 100644 --- a/test_regress/t/t_func_no_parentheses_bad.out +++ b/test_regress/t/t_func_no_parentheses_bad.out @@ -1,4 +1,5 @@ %Error: t/t_func_no_parentheses_bad.v:16:11: Found definition of 'func' as a FUNC but expected a variable 16 | a = func; | ^~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_func_recurse_param.out b/test_regress/t/t_func_recurse_param.out index 1d578c015..a7cc20861 100644 --- a/test_regress/t/t_func_recurse_param.out +++ b/test_regress/t/t_func_recurse_param.out @@ -3,6 +3,7 @@ t/t_func_recurse_param.v:9:27: ... Location of non-constant FUNC 'recurse_self': Unsupported: Recursive constant functions 15 | localparam int ZERO = recurse_self(0); | ^~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_func_recurse_param.v:16:28: Expecting expression to be constant, but can't determine constant for FUNCREF 'recurse_self' : ... note: In instance 't' t/t_func_recurse_param.v:9:27: ... Location of non-constant FUNC 'recurse_self': Unsupported: Recursive constant functions diff --git a/test_regress/t/t_func_recurse_param_bad.out b/test_regress/t/t_func_recurse_param_bad.out index fd61bb496..b32ab1b11 100644 --- a/test_regress/t/t_func_recurse_param_bad.out +++ b/test_regress/t/t_func_recurse_param_bad.out @@ -3,4 +3,5 @@ t/t_func_recurse_param_bad.v:9:27: ... Location of non-constant FUNC 'recurse_self': Unsupported: Recursive constant functions 15 | localparam int HUGE = recurse_self(10000); | ^~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_func_ref_bad.out b/test_regress/t/t_func_ref_bad.out index aa39be63e..c5ec9fe9d 100644 --- a/test_regress/t/t_func_ref_bad.out +++ b/test_regress/t/t_func_ref_bad.out @@ -1,4 +1,5 @@ %Error: t/t_func_ref_bad.v:19:22: Function/task ref argument is not of allowed type 19 | b = cls.get_x(a[1]); | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_func_refio_bad.out b/test_regress/t/t_func_refio_bad.out index 7b58465b8..fe6b535da 100644 --- a/test_regress/t/t_func_refio_bad.out +++ b/test_regress/t/t_func_refio_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 16 | queue_set(42); | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_func_return_bad.out b/test_regress/t/t_func_return_bad.out index ffe79b8c2..a715ca985 100644 --- a/test_regress/t/t_func_return_bad.out +++ b/test_regress/t/t_func_return_bad.out @@ -1,6 +1,7 @@ %Error: t/t_func_return_bad.v:10:7: Return underneath a task shouldn't have return value 10 | return 1; | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_func_return_bad.v:13:7: Return underneath a function should have return value 13 | return; | ^~~~~~ diff --git a/test_regress/t/t_func_task_bad.out b/test_regress/t/t_func_task_bad.out index 3cd03ead0..2cb9809f4 100644 --- a/test_regress/t/t_func_task_bad.out +++ b/test_regress/t/t_func_task_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 10 | if (task_as_func(1'b0)) $stop; | ^~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_func_task_bad.v:10:7: Logical operator IF expects a non-complex data type on the If. : ... note: In instance 't' 10 | if (task_as_func(1'b0)) $stop; diff --git a/test_regress/t/t_func_tie_bad.out b/test_regress/t/t_func_tie_bad.out index 2b7d3d9a9..65b000d3c 100644 --- a/test_regress/t/t_func_tie_bad.out +++ b/test_regress/t/t_func_tie_bad.out @@ -1,4 +1,5 @@ %Error: t/t_func_tie_bad.v:11:15: Function/task output connected to constant instead of variable: 'b' 11 | func(0, 1'b1); | ^~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_fuzz_always_bad.out b/test_regress/t/t_fuzz_always_bad.out index e208e58ba..33980192a 100644 --- a/test_regress/t/t_fuzz_always_bad.out +++ b/test_regress/t/t_fuzz_always_bad.out @@ -1,6 +1,7 @@ %Error: t/t_fuzz_always_bad.v:10:15: Can't find definition of 'a' in dotted variable: 'c.a' 10 | always @ c.a c:h; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_fuzz_always_bad.v:10:19: Can't find definition of task/function: 'h' 10 | always @ c.a c:h; | ^ diff --git a/test_regress/t/t_fuzz_eqne_bad.out b/test_regress/t/t_fuzz_eqne_bad.out index a04d877ab..301b13d55 100644 --- a/test_regress/t/t_fuzz_eqne_bad.out +++ b/test_regress/t/t_fuzz_eqne_bad.out @@ -1,4 +1,5 @@ %Error: t/t_fuzz_eqne_bad.v:12:23: Slice operator VARREF 't.b' on non-slicable (e.g. non-vector) right-hand-side operand 12 | initial c = (a != &b); | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_fuzz_genintf_bad.out b/test_regress/t/t_fuzz_genintf_bad.out index 200201c42..8d769c873 100644 --- a/test_regress/t/t_fuzz_genintf_bad.out +++ b/test_regress/t/t_fuzz_genintf_bad.out @@ -1,4 +1,5 @@ %Error: t/t_fuzz_genintf_bad.v:24:11: Mixing positional and .*/named instantiation connection (IEEE 1800-2023 23.3.2) 24 | j.e(0), | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_fuzz_negwidth_bad.out b/test_regress/t/t_fuzz_negwidth_bad.out index 8537d80fb..cc61eb2b7 100644 --- a/test_regress/t/t_fuzz_negwidth_bad.out +++ b/test_regress/t/t_fuzz_negwidth_bad.out @@ -1,6 +1,7 @@ %Error: t/t_fuzz_negwidth_bad.v:9:9: Unsupported: Width of number exceeds implementation limit: 1231232312312312'd1 (IEEE 1800-2023 6.9.1) 9 | int c = 1231232312312312'd1; | ^~~~~~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_fuzz_negwidth_bad.v:10:9: Syntax error: size cannot be provided with '0/'1/'x/'z: 12'1 (IEEE 1800-2023 5.7.1) 10 | int e = 12'1; | ^~~~ diff --git a/test_regress/t/t_fuzz_triand_bad.out b/test_regress/t/t_fuzz_triand_bad.out index 4ed8efd50..df4c63b13 100644 --- a/test_regress/t/t_fuzz_triand_bad.out +++ b/test_regress/t/t_fuzz_triand_bad.out @@ -7,4 +7,4 @@ : ... note: In instance 't' 8 | tri g=g.and.g; | ^~~ - ... See the manual at https://verilator.org/verilator_doc.html for more assistance. + ... This fatal error may be caused by the earlier error(s); resolve those first. diff --git a/test_regress/t/t_gen_defparam_multi.out b/test_regress/t/t_gen_defparam_multi.out index 8b751017c..3d15e0f23 100644 --- a/test_regress/t/t_gen_defparam_multi.out +++ b/test_regress/t/t_gen_defparam_multi.out @@ -8,6 +8,7 @@ %Error: t/t_gen_defparam_multi.v:39:25: syntax error, unexpected IDENTIFIER, expecting ',' or ';' 39 | defparam m2.m3.PAR3 = 80; | ^~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error-UNSUPPORTED: t/t_gen_defparam_multi.v:44:24: Unsupported: defparam with more than one dot 44 | defparam m2.m3.PAR3 = 40; | ^ diff --git a/test_regress/t/t_gen_defparam_nfound_bad.out b/test_regress/t/t_gen_defparam_nfound_bad.out index b66fe1bd3..c00886c1b 100644 --- a/test_regress/t/t_gen_defparam_nfound_bad.out +++ b/test_regress/t/t_gen_defparam_nfound_bad.out @@ -1,4 +1,5 @@ %Error: t/t_gen_defparam_nfound_bad.v:9:17: In defparam, instance z never declared 9 | defparam z.W = 3; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_gen_missing_bad.out b/test_regress/t/t_gen_missing_bad.out index 02ccb612e..4a16da624 100644 --- a/test_regress/t/t_gen_missing_bad.out +++ b/test_regress/t/t_gen_missing_bad.out @@ -1,6 +1,7 @@ %Error: t/t_gen_missing.v:43:20: Cannot find file containing module: 'foo_not_needed' 43 | foo_not_needed i_foo(.x(foo[j]), .y(bar[j])); | ^~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. ... Looked in: t/foo_not_needed t/foo_not_needed.v diff --git a/test_regress/t/t_gen_missing_bad2.out b/test_regress/t/t_gen_missing_bad2.out index 4236c9693..fbb316d81 100644 --- a/test_regress/t/t_gen_missing_bad2.out +++ b/test_regress/t/t_gen_missing_bad2.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 8 | if ($test$plusargs("BAD-non-constant")) begin | ^~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_gen_missing_bad2.v:8:8: Generate If condition must evaluate to constant : ... note: In instance 't' 8 | if ($test$plusargs("BAD-non-constant")) begin diff --git a/test_regress/t/t_gen_nonconst_bad.out b/test_regress/t/t_gen_nonconst_bad.out index 2a014fe1d..5a50edbcd 100644 --- a/test_regress/t/t_gen_nonconst_bad.out +++ b/test_regress/t/t_gen_nonconst_bad.out @@ -1,6 +1,7 @@ %Error: t/t_gen_nonconst_bad.v:8:4: Cannot find file containing module: 'nfound' 8 | nfound nfound(); | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_gen_nonconst_bad.v:8:4: This may be because there's no search path specified with -I. 8 | nfound nfound(); | ^~~~~~ diff --git a/test_regress/t/t_gen_var_bad.out b/test_regress/t/t_gen_var_bad.out index bedab7f34..b6e9b81de 100644 --- a/test_regress/t/t_gen_var_bad.out +++ b/test_regress/t/t_gen_var_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 10 | for (i=0; i<3; i=i+1) begin | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_generate_fatal_bad.out b/test_regress/t/t_generate_fatal_bad.out index f2569883c..d657d50bb 100644 --- a/test_regress/t/t_generate_fatal_bad.out +++ b/test_regress/t/t_generate_fatal_bad.out @@ -8,6 +8,7 @@ bar = ?32?h0 13 | localparam integer BAZ = get_baz(BAR); | ^~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz' : ... note: In instance 't.genloop[1].foo_inst' t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing diff --git a/test_regress/t/t_genvar_for_bad.out b/test_regress/t/t_genvar_for_bad.out index 0ecb3be58..a9b8abbad 100644 --- a/test_regress/t/t_genvar_for_bad.out +++ b/test_regress/t/t_genvar_for_bad.out @@ -2,4 +2,5 @@ : ... Suggest move for loop upwards to generate-level scope. 25 | for (i=0; i %Error: Exiting due to diff --git a/test_regress/t/t_interface_missing_bad.out b/test_regress/t/t_interface_missing_bad.out index 2e5302cfe..0bfc8cedc 100644 --- a/test_regress/t/t_interface_missing_bad.out +++ b/test_regress/t/t_interface_missing_bad.out @@ -1,6 +1,7 @@ %Error: t/t_interface_missing_bad.v:14:4: Cannot find file containing interface: 'foo_intf' 14 | foo_intf foo | ^~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_interface_missing_bad.v:20:4: Cannot find file containing interface: 'foo_intf' 20 | foo_intf the_foo (); | ^~~~~~~~ diff --git a/test_regress/t/t_interface_modport_bad.out b/test_regress/t/t_interface_modport_bad.out index cad2aaa0c..c4da3517a 100644 --- a/test_regress/t/t_interface_modport_bad.out +++ b/test_regress/t/t_interface_modport_bad.out @@ -2,4 +2,5 @@ : ... Suggested alternative: 'out_modport' 23 | ifc.oop_modport isub, | ^~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_interface_modport_dir_bad.out b/test_regress/t/t_interface_modport_dir_bad.out index aaec5dd1c..979977a19 100644 --- a/test_regress/t/t_interface_modport_dir_bad.out +++ b/test_regress/t/t_interface_modport_dir_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't.source_i' 52 | sourceMod source_i (.ctrl); | ^~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_interface_param_another_bad.out b/test_regress/t/t_interface_param_another_bad.out index 70ac4c7d2..2c006f019 100644 --- a/test_regress/t/t_interface_param_another_bad.out +++ b/test_regress/t/t_interface_param_another_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 9 | simple_bus #(.PARAMETER(sb_intf.dummy)) simple(); | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_interface_param_another_bad.v:9:18: Can't convert defparam value to constant: Param 'PARAMETER' of 'simple' : ... note: In instance 't' 9 | simple_bus #(.PARAMETER(sb_intf.dummy)) simple(); diff --git a/test_regress/t/t_interface_paren_missing_bad.out b/test_regress/t/t_interface_paren_missing_bad.out index a0b038347..ebea7deaf 100644 --- a/test_regress/t/t_interface_paren_missing_bad.out +++ b/test_regress/t/t_interface_paren_missing_bad.out @@ -2,4 +2,5 @@ : ... Perhaps intended an interface instantiation but are missing parenthesis (IEEE 1800-2023 25.3)? 13 | intf intf_i; | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_interface_size_bad.out b/test_regress/t/t_interface_size_bad.out index 80351f39a..936b09eac 100644 --- a/test_regress/t/t_interface_size_bad.out +++ b/test_regress/t/t_interface_size_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 16 | baz baz4_inst (.foo(foo4)); | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_interface_size_bad.v:17:20: Illegal port connection 'foo', mismatch between port which is an interface array of size 5, and expression which is an interface array of size 6. : ... note: In instance 't' 17 | baz baz6_inst (.foo(foo6)); diff --git a/test_regress/t/t_interface_top_bad.out b/test_regress/t/t_interface_top_bad.out index bc52c39ba..bd8213cec 100644 --- a/test_regress/t/t_interface_top_bad.out +++ b/test_regress/t/t_interface_top_bad.out @@ -5,4 +5,5 @@ %Error: t/t_interface_top_bad.v:17:4: Parent instance's interface is not found: 'ifc' 17 | ifc.counter_mp c_data | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_interface_typedef.out b/test_regress/t/t_interface_typedef.out index c334ee402..35d9a3031 100644 --- a/test_regress/t/t_interface_typedef.out +++ b/test_regress/t/t_interface_typedef.out @@ -5,4 +5,5 @@ %Error: t/t_interface_typedef.v:51:16: syntax error, unexpected IDENTIFIER 51 | struct_t substruct; | ^~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_interface_typo_bad.out b/test_regress/t/t_interface_typo_bad.out index f2efc97e3..6e24ad530 100644 --- a/test_regress/t/t_interface_typo_bad.out +++ b/test_regress/t/t_interface_typo_bad.out @@ -1,6 +1,7 @@ %Error: t/t_interface_typo_bad.v:14:4: Parent instance's interface is not found: 'foo_intf' 14 | foo_intf foo | ^~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_interface_typo_bad.v:22:4: Cannot find file containing interface: 'fo_intf' 22 | fo_intf the_foo(); | ^~~~~~~ diff --git a/test_regress/t/t_interface_virtual_bad.out b/test_regress/t/t_interface_virtual_bad.out index 84ac73793..7631a10d3 100644 --- a/test_regress/t/t_interface_virtual_bad.out +++ b/test_regress/t/t_interface_virtual_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 31 | v8 = q8; | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_interface_virtual_bad.v:35:12: Operator ASSIGN expected no interface modport on Assign RHS but got 'phy' modport. : ... note: In instance 't' 35 | v8 = v8_phy; diff --git a/test_regress/t/t_interface_wire_bad.out b/test_regress/t/t_interface_wire_bad.out index e98a4c000..72e215428 100644 --- a/test_regress/t/t_interface_wire_bad.out +++ b/test_regress/t/t_interface_wire_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 17 | wire wbad = sub.a; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_interface_wire_bad_param.out b/test_regress/t/t_interface_wire_bad_param.out index 7aebb6752..9362c2667 100644 --- a/test_regress/t/t_interface_wire_bad_param.out +++ b/test_regress/t/t_interface_wire_bad_param.out @@ -2,4 +2,4 @@ : ... note: In instance 't' 17 | wire wbad = sub.a; | ^ - ... See the manual at https://verilator.org/verilator_doc.html for more assistance. + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. diff --git a/test_regress/t/t_interface_wrong_bad.out b/test_regress/t/t_interface_wrong_bad.out index ce767fc66..4ede7fefb 100644 --- a/test_regress/t/t_interface_wrong_bad.out +++ b/test_regress/t/t_interface_wrong_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 32 | .foo_port (bar) | ^~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_let_arg_bad.out b/test_regress/t/t_let_arg_bad.out index f1d6d297e..8cf0569c4 100644 --- a/test_regress/t/t_let_arg_bad.out +++ b/test_regress/t/t_let_arg_bad.out @@ -1,6 +1,7 @@ %Error: t/t_let_arg_bad.v:13:18: Too many arguments in function call to LET 'NO_ARG' 13 | if (NO_ARG(10) != 10) $stop; | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_let_arg_bad.v:14:11: Missing argument on non-defaulted argument 'a' in function call to LET 'ONE_ARG' 14 | if (ONE_ARG != 10) $stop; | ^~~~~~~ diff --git a/test_regress/t/t_let_recurse_bad.out b/test_regress/t/t_let_recurse_bad.out index dfa9fc32b..b03fdbacd 100644 --- a/test_regress/t/t_let_recurse_bad.out +++ b/test_regress/t/t_let_recurse_bad.out @@ -1,4 +1,5 @@ %Error: t/t_let_recurse_bad.v:9:36: Recursive let substitution 'RECURSE' 9 | let RECURSE(a) = (a == 1) ? 1 : RECURSE(a - 1); | ^~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_let_stmt_bad.out b/test_regress/t/t_let_stmt_bad.out index 92c27e6b7..cb25be2a6 100644 --- a/test_regress/t/t_let_stmt_bad.out +++ b/test_regress/t/t_let_stmt_bad.out @@ -1,4 +1,5 @@ %Error: t/t_let_stmt_bad.v:15:14: Expected statement, not let substitution 'letf' 15 | 0: letf(0); | ^~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_lib_prot_exe_bad.out b/test_regress/t/t_lib_prot_exe_bad.out index 7b64aaaa2..f27d9d537 100644 --- a/test_regress/t/t_lib_prot_exe_bad.out +++ b/test_regress/t/t_lib_prot_exe_bad.out @@ -1,2 +1,3 @@ %Error: --exe cannot be used together with --lib-create. Suggest see manual + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_lint_always_comb_bad.out b/test_regress/t/t_lint_always_comb_bad.out index 5cd2bbb82..11fffe4b5 100644 --- a/test_regress/t/t_lint_always_comb_bad.out +++ b/test_regress/t/t_lint_always_comb_bad.out @@ -11,6 +11,7 @@ : ... note: In instance 't' 32 | mid = (temp1_d1r == 'h0); | ^~~ + ... For warning description see https://verilator.org/warn/ALWCOMBORDER?v=latest ... Use "/* verilator lint_off ALWCOMBORDER */" and lint_on around source to disable this message. %Error-PROCASSWIRE: t/t_lint_always_comb_bad.v:46:7: Procedural assignment to wire, perhaps intended var (IEEE 1800-2023 6.5): 'temp1_d1r' : ... note: In instance 't' diff --git a/test_regress/t/t_lint_blksync_bad.out b/test_regress/t/t_lint_blksync_bad.out index a9ca1c217..56704dc35 100644 --- a/test_regress/t/t_lint_blksync_bad.out +++ b/test_regress/t/t_lint_blksync_bad.out @@ -12,6 +12,8 @@ : ... This will be executed as a blocking assignment '='! 31 | combo_nblk <= 1'b1; | ^~ - *** See https://verilator.org/warn/COMBDLY before disabling this, + ... For warning description see https://verilator.org/warn/COMBDLY?v=latest + ... Use "/* verilator lint_off COMBDLY */" and lint_on around source to disable this message. + *** See https://verilator.org/warn/COMBDLY?v=latest before disabling this, else you may end up with different sim results. %Error: Exiting due to diff --git a/test_regress/t/t_lint_block_redecl_bad.out b/test_regress/t/t_lint_block_redecl_bad.out index 257b5fb51..95c7022c1 100644 --- a/test_regress/t/t_lint_block_redecl_bad.out +++ b/test_regress/t/t_lint_block_redecl_bad.out @@ -4,4 +4,5 @@ t/t_lint_block_redecl_bad.v:14:35: ... Location of original declaration 14 | for(i=0; i<10; i++ ) begin: COMB | ^~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_lint_bsspace_bad.out b/test_regress/t/t_lint_bsspace_bad.out index a9093384c..a7e0f5ee5 100644 --- a/test_regress/t/t_lint_bsspace_bad.out +++ b/test_regress/t/t_lint_bsspace_bad.out @@ -6,4 +6,5 @@ %Error: t/t_lint_bsspace_bad.v:11:4: syntax error, unexpected IDENTIFIER 11 | blak | ^~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_lint_comb_bad.out b/test_regress/t/t_lint_comb_bad.out index 0e9685cae..e204359af 100644 --- a/test_regress/t/t_lint_comb_bad.out +++ b/test_regress/t/t_lint_comb_bad.out @@ -2,4 +2,5 @@ : ... Suggest use a normal 'always' 14 | always_comb @(*) begin | ^~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_lint_const_func_dpi_bad.out b/test_regress/t/t_lint_const_func_dpi_bad.out index cdef3a396..f99b56df9 100644 --- a/test_regress/t/t_lint_const_func_dpi_bad.out +++ b/test_regress/t/t_lint_const_func_dpi_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 8 | import "DPI-C" function int dpiFunc(); | ^~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_lint_const_func_dpi_bad.v:9:23: Expecting expression to be constant, but can't determine constant for FUNCREF 'dpiFunc' : ... note: In instance 't' t/t_lint_const_func_dpi_bad.v:8:32: ... Location of non-constant FUNC 'dpiFunc': DPI import functions aren't simulatable diff --git a/test_regress/t/t_lint_const_func_gen_bad.out b/test_regress/t/t_lint_const_func_gen_bad.out index edf5327b5..db0c04d96 100644 --- a/test_regress/t/t_lint_const_func_gen_bad.out +++ b/test_regress/t/t_lint_const_func_gen_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 11 | function automatic bit constFunc(); | ^~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_lint_const_func_gen_bad.v:15:26: Expecting expression to be constant, but can't determine constant for FUNCREF 'constFunc' : ... note: In instance 't' t/t_lint_const_func_gen_bad.v:11:30: ... Location of non-constant FUNC 'constFunc': Constant function called under generate diff --git a/test_regress/t/t_lint_edge_real_bad.out b/test_regress/t/t_lint_edge_real_bad.out index ca8fd7554..e8d3a3892 100644 --- a/test_regress/t/t_lint_edge_real_bad.out +++ b/test_regress/t/t_lint_edge_real_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 19 | always @ (posedge rbad) $stop; | ^~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_lint_edge_real_bad.v:20:22: Edge event control not legal on non-integral type (IEEE 1800-2023 9.4.2) : ... note: In instance 't' 20 | always @ (posedge ebad) $stop; diff --git a/test_regress/t/t_lint_iface_array_topmodule_bad.out b/test_regress/t/t_lint_iface_array_topmodule_bad.out index dda9a0753..3c577338d 100644 --- a/test_regress/t/t_lint_iface_array_topmodule_bad.out +++ b/test_regress/t/t_lint_iface_array_topmodule_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 8 | parameter integer DW | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_lint_iface_topmodule_bad.out b/test_regress/t/t_lint_iface_topmodule_bad.out index 617ac75a9..26ccff508 100644 --- a/test_regress/t/t_lint_iface_topmodule_bad.out +++ b/test_regress/t/t_lint_iface_topmodule_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 8 | parameter integer DW | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_lint_implicit_def_bad.out b/test_regress/t/t_lint_implicit_def_bad.out index c6c5dd5b1..9e3922d13 100644 --- a/test_regress/t/t_lint_implicit_def_bad.out +++ b/test_regress/t/t_lint_implicit_def_bad.out @@ -6,4 +6,5 @@ %Error: t/t_lint_implicit_def_bad.v:18:11: Signal definition not found, and implicit disabled with `default_nettype: 'imp_err' 18 | assign imp_err = 1'b1; | ^~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_lint_implicit_func_bad.out b/test_regress/t/t_lint_implicit_func_bad.out index 78301f0c4..40cc8b0ca 100644 --- a/test_regress/t/t_lint_implicit_func_bad.out +++ b/test_regress/t/t_lint_implicit_func_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 12 | assign imp_func_conflict = 1'b1; | ^~~~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_lint_implicit_type_bad.out b/test_regress/t/t_lint_implicit_type_bad.out index 27fc9c53d..64d7659f0 100644 --- a/test_regress/t/t_lint_implicit_type_bad.out +++ b/test_regress/t/t_lint_implicit_type_bad.out @@ -1,4 +1,5 @@ %Error: t/t_lint_implicit_type_bad.v:11:11: syntax error, unexpected IDENTIFIER-for-type 11 | assign imp_type_conflict = 1'b1; | ^~~~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_lint_import_name2_bad.out b/test_regress/t/t_lint_import_name2_bad.out index 29be1bf07..88ed7907c 100644 --- a/test_regress/t/t_lint_import_name2_bad.out +++ b/test_regress/t/t_lint_import_name2_bad.out @@ -5,6 +5,7 @@ %Error: t/t_lint_import_name2_bad.v:7:8: Importing from missing package 'missing' 7 | import missing::sigs; | ^~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_lint_import_name2_bad.v:9:8: Importing from missing package 'missing' 9 | import missing::*; | ^~~~~~~ diff --git a/test_regress/t/t_lint_import_name_bad.out b/test_regress/t/t_lint_import_name_bad.out index 03aadb71a..3d8aa4d22 100644 --- a/test_regress/t/t_lint_import_name_bad.out +++ b/test_regress/t/t_lint_import_name_bad.out @@ -1,4 +1,5 @@ %Error: t/t_lint_import_name_bad.v:11:12: Import object not found: 'defs' 11 | import defs::sigs; | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_lint_in_inc_bad.out b/test_regress/t/t_lint_in_inc_bad.out index b151b87be..99675736e 100644 --- a/test_regress/t/t_lint_in_inc_bad.out +++ b/test_regress/t/t_lint_in_inc_bad.out @@ -3,4 +3,5 @@ | ^~ t/t_lint_in_inc_bad_1.vh:8:1: ... note: In file included from 't_lint_in_inc_bad_1.vh' t/t_lint_in_inc_bad.v:8:1: ... note: In file included from 't_lint_in_inc_bad.v' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_lint_latch_bad.out b/test_regress/t/t_lint_latch_bad.out index e24bb171c..3e745fe5b 100644 --- a/test_regress/t/t_lint_latch_bad.out +++ b/test_regress/t/t_lint_latch_bad.out @@ -4,11 +4,13 @@ | ^~ ... For warning description see https://verilator.org/warn/COMBDLY?v=latest ... Use "/* verilator lint_off COMBDLY */" and lint_on around source to disable this message. - *** See https://verilator.org/warn/COMBDLY before disabling this, + *** See https://verilator.org/warn/COMBDLY?v=latest before disabling this, else you may end up with different sim results. %Warning-NOLATCH: t/t_lint_latch_bad.v:17:4: No latches detected in always_latch block 17 | always_latch begin | ^~~~~~~~~~~~ + ... For warning description see https://verilator.org/warn/NOLATCH?v=latest + ... Use "/* verilator lint_off NOLATCH */" and lint_on around source to disable this message. %Warning-COMBDLY: t/t_lint_latch_bad.v:25:10: Non-blocking assignment '<=' in combinational logic process : ... This will be executed as a blocking assignment '='! 25 | bc <= a; diff --git a/test_regress/t/t_lint_mod_paren_bad.out b/test_regress/t/t_lint_mod_paren_bad.out index 177aa7c8d..5010d1d8c 100644 --- a/test_regress/t/t_lint_mod_paren_bad.out +++ b/test_regress/t/t_lint_mod_paren_bad.out @@ -1,4 +1,5 @@ %Error: t/t_lint_mod_paren_bad.v:13:6: syntax error, unexpected '(', expecting ';' 13 | ) ( | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_lint_modport_dir_bad.out b/test_regress/t/t_lint_modport_dir_bad.out index 4931bac79..593107e4b 100644 --- a/test_regress/t/t_lint_modport_dir_bad.out +++ b/test_regress/t/t_lint_modport_dir_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't.sub' 26 | assign dummy_in.signal = signal_i; | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_lint_pindup_bad.out b/test_regress/t/t_lint_pindup_bad.out index 9e3d19b53..b758f052c 100644 --- a/test_regress/t/t_lint_pindup_bad.out +++ b/test_regress/t/t_lint_pindup_bad.out @@ -12,10 +12,12 @@ t/t_lint_pindup_bad.v:19:10: ... Location of original pin connection 19 | .i(i), | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error-PINNOTFOUND: t/t_lint_pindup_bad.v:21:10: Pin not found: 'nexist' : ... Suggested alternative: 'exists' 21 | .nexist(i2) | ^~~~~~ + ... For error description see https://verilator.org/warn/PINNOTFOUND?v=latest %Error-PINNOTFOUND: t/t_lint_pindup_bad.v:15:9: Parameter not found: 'NEXIST' : ... Suggested alternative: 'EXIST' 15 | #(.NEXIST(1), diff --git a/test_regress/t/t_lint_pkg_colon_bad.out b/test_regress/t/t_lint_pkg_colon_bad.out index dacf56eda..69ae72f72 100644 --- a/test_regress/t/t_lint_pkg_colon_bad.out +++ b/test_regress/t/t_lint_pkg_colon_bad.out @@ -5,4 +5,5 @@ %Error: t/t_lint_pkg_colon_bad.v:7:25: syntax error, unexpected IDENTIFIER, expecting IDENTIFIER-for-type 7 | module t (input mispkg::foo_t a); | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_lint_pragma_protected_bad.out b/test_regress/t/t_lint_pragma_protected_bad.out index 3b50e2c31..3c0cd41b1 100644 --- a/test_regress/t/t_lint_pragma_protected_bad.out +++ b/test_regress/t/t_lint_pragma_protected_bad.out @@ -10,6 +10,7 @@ 33 | `pragma protect encoding = (enctype = "BASE64", line_length = 76, bytes = 128) | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ %Warning-PROTECTED: t/t_lint_pragma_protected_bad.v:50:17: A '`pragma protected data_block' encrypted section was detected and will be skipped. + ... For warning description see https://verilator.org/warn/PROTECTED?v=latest ... Use "/* verilator lint_off PROTECTED */" and lint_on around source to disable this message. %Error-BADSTDPRAGMA: t/t_lint_pragma_protected_bad.v:57:17: Illegal encoding type for `pragma protected encoding 57 | `pragma protect encoding = (enctype = "A-bad-not-BASE64", line_length = 1, bytes = 295) @@ -17,6 +18,7 @@ %Error-UNSUPPORTED: t/t_lint_pragma_protected_bad.v:57:17: Unsupported: only BASE64 is recognized for `pragma protected encoding 57 | `pragma protect encoding = (enctype = "A-bad-not-BASE64", line_length = 1, bytes = 295) | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + ... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest %Warning-PROTECTED: t/t_lint_pragma_protected_bad.v:59:17: A '`pragma protected data_block' encrypted section was detected and will be skipped. %Error-BADSTDPRAGMA: t/t_lint_pragma_protected_bad.v:60:1: BASE64 encoding (too short) in `pragma protect key_bloock/data_block 60 | c2lvbiAzIG9mIHRoZSBHTlUgTGVzc2VyCkdlbmVyYWwgUHVibGljIExpY2Vuc2UsIGFuZCB0aGUg diff --git a/test_regress/t/t_lint_restore_prag_bad.out b/test_regress/t/t_lint_restore_prag_bad.out index 9221464af..4b1d62de7 100644 --- a/test_regress/t/t_lint_restore_prag_bad.out +++ b/test_regress/t/t_lint_restore_prag_bad.out @@ -1,4 +1,5 @@ %Error: t/t_lint_restore_prag_bad.v:10:4: /*verilator lint_restore*/ without matching save 10 | /*verilator lint_restore*/ | ^~~~~~~~~~~~~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_lint_rsvd_bad.out b/test_regress/t/t_lint_rsvd_bad.out index 40c04db1e..31cfb628d 100644 --- a/test_regress/t/t_lint_rsvd_bad.out +++ b/test_regress/t/t_lint_rsvd_bad.out @@ -5,6 +5,7 @@ %Error: t/t_lint_rsvd_bad.v:7:8: syntax error, unexpected IDENTIFIER 7 | config cfgBad; | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error-UNSUPPORTED: t/t_lint_rsvd_bad.v:8:4: Unsupported: Verilog 2001-config reserved word not implemented: 'design' 8 | design rtlLib.top; | ^~~~~~ diff --git a/test_regress/t/t_lint_unused_bad.out b/test_regress/t/t_lint_unused_bad.out index 2632b7a97..d61893d4c 100644 --- a/test_regress/t/t_lint_unused_bad.out +++ b/test_regress/t/t_lint_unused_bad.out @@ -8,6 +8,8 @@ : ... note: In instance 't.sub' 21 | wire [15:10] udrb2; | ^~~~~ + ... For warning description see https://verilator.org/warn/UNDRIVEN?v=latest + ... Use "/* verilator lint_off UNDRIVEN */" and lint_on around source to disable this message. %Warning-UNUSEDSIGNAL: t/t_lint_unused_bad.v:26:15: Signal is not driven, nor used: 'unu3' : ... note: In instance 't.sub' 26 | wire unu3; @@ -28,6 +30,8 @@ : ... note: In instance 't.sub' 37 | parameter UNUSED_P = 1; | ^~~~~~~~ + ... For warning description see https://verilator.org/warn/UNUSEDPARAM?v=latest + ... Use "/* verilator lint_off UNUSEDPARAM */" and lint_on around source to disable this message. %Warning-UNUSEDPARAM: t/t_lint_unused_bad.v:38:15: Parameter is not used: 'UNUSED_LP' : ... note: In instance 't.sub' 38 | localparam UNUSED_LP = 2; @@ -36,6 +40,8 @@ : ... note: In instance 't.sub' 40 | genvar unused_gv; | ^~~~~~~~~ + ... For warning description see https://verilator.org/warn/UNUSEDGENVAR?v=latest + ... Use "/* verilator lint_off UNUSEDGENVAR */" and lint_on around source to disable this message. %Warning-UNUSEDPARAM: t/t_lint_unused_bad.v:45:15: Parameter is not used: 'linter_param1' : ... note: In instance 't.sub' 45 | localparam linter_param1 = 1; diff --git a/test_regress/t/t_lint_unused_iface_bad.out b/test_regress/t/t_lint_unused_iface_bad.out index 2f073331d..4ebddff70 100644 --- a/test_regress/t/t_lint_unused_iface_bad.out +++ b/test_regress/t/t_lint_unused_iface_bad.out @@ -8,4 +8,6 @@ : ... note: In instance 't.sub' 9 | logic sig_uusd; | ^~~~~~~~ + ... For warning description see https://verilator.org/warn/UNUSEDSIGNAL?v=latest + ... Use "/* verilator lint_off UNUSEDSIGNAL */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_lint_vcmarker_bad.out b/test_regress/t/t_lint_vcmarker_bad.out index c086394e3..d6c425dbc 100644 --- a/test_regress/t/t_lint_vcmarker_bad.out +++ b/test_regress/t/t_lint_vcmarker_bad.out @@ -1,6 +1,7 @@ %Error: t/t_lint_vcmarker_bad.v:9:1: Version control conflict marker in file 9 | <<<<<<< HEAD | ^~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_lint_vcmarker_bad.v:11:1: Version control conflict marker in file 11 | ======= | ^~~~~~~~~~~ diff --git a/test_regress/t/t_lint_width_bad.out b/test_regress/t/t_lint_width_bad.out index 1237949e3..73155ef1b 100644 --- a/test_regress/t/t_lint_width_bad.out +++ b/test_regress/t/t_lint_width_bad.out @@ -8,6 +8,8 @@ : ... note: In instance 't.p4' 47 | wire [4:0] out = in; | ^ + ... For warning description see https://verilator.org/warn/WIDTHEXPAND?v=latest + ... Use "/* verilator lint_off WIDTHEXPAND */" and lint_on around source to disable this message. %Warning-WIDTHEXPAND: t/t_lint_width_bad.v:21:25: Operator SHIFTL expects 5 bits on the LHS, but LHS's CONST '1'h1' generates 1 bits. : ... note: In instance 't' 21 | wire [4:0] d = (1'b1 << 2) + 5'b1; diff --git a/test_regress/t/t_lint_width_shift_bad.out b/test_regress/t/t_lint_width_shift_bad.out index bc5643001..e2ae64428 100644 --- a/test_regress/t/t_lint_width_shift_bad.out +++ b/test_regress/t/t_lint_width_shift_bad.out @@ -12,6 +12,8 @@ : ... note: In instance 't' 25 | assign or5 = i4 >> 1; | ^~ + ... For warning description see https://verilator.org/warn/WIDTHEXPAND?v=latest + ... Use "/* verilator lint_off WIDTHEXPAND */" and lint_on around source to disable this message. %Warning-WIDTHTRUNC: t/t_lint_width_shift_bad.v:27:15: Operator ASSIGNW expects 3 bits on the Assign RHS, but Assign RHS's SHIFTRS generates 4 bits. : ... note: In instance 't' 27 | assign os3 = i4 >>> 1; diff --git a/test_regress/t/t_mailbox_bad.out b/test_regress/t/t_mailbox_bad.out index bf7e85b52..b63fb1256 100644 --- a/test_regress/t/t_mailbox_bad.out +++ b/test_regress/t/t_mailbox_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 12 | if (m.bad_method() != 0) $stop; | ^~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_math_countbits2_bad.out b/test_regress/t/t_math_countbits2_bad.out index fd042e2f0..308e188a0 100644 --- a/test_regress/t/t_math_countbits2_bad.out +++ b/test_regress/t/t_math_countbits2_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 15 | count = $countones(my_vec); | ^~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_math_countbits2_bad.v:16:15: Expected numeric type, but got a 'logic$[0:3]' data type : ... note: In instance 't' 16 | count = $countbits(my_vec, '0); diff --git a/test_regress/t/t_math_eq_bad.out b/test_regress/t/t_math_eq_bad.out index 1eaf134bc..2ade5685a 100644 --- a/test_regress/t/t_math_eq_bad.out +++ b/test_regress/t/t_math_eq_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 13 | if (a ==? 1.0) $stop; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_math_repl2_bad.out b/test_regress/t/t_math_repl2_bad.out index 5e4e76690..4b392e65d 100644 --- a/test_regress/t/t_math_repl2_bad.out +++ b/test_regress/t/t_math_repl2_bad.out @@ -2,4 +2,6 @@ : ... note: In instance 't' 28 | out <= {{(P24 - P29){1'b0}}, in}; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Internal Error: ../V3Number.h:#: `num` member accessed when data type is UNINITIALIZED + ... This fatal error may be caused by the earlier error(s); resolve those first. diff --git a/test_regress/t/t_math_repl_bad.out b/test_regress/t/t_math_repl_bad.out index c989ffe85..5183396e3 100644 --- a/test_regress/t/t_math_repl_bad.out +++ b/test_regress/t/t_math_repl_bad.out @@ -7,11 +7,13 @@ : ... note: In instance 't' 12 | o = {0 {1'b1}}; | ^ + ... For warning description see https://verilator.org/warn/WIDTHEXPAND?v=latest ... Use "/* verilator lint_off WIDTHEXPAND */" and lint_on around source to disable this message. %Error: t/t_math_repl_bad.v:13:43: Replication value isn't a constant. : ... note: In instance 't' 13 | o = {$test$plusargs("NON-CONSTANT") {1'b1}}; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Warning-WIDTHEXPAND: t/t_math_repl_bad.v:13:9: Operator ASSIGN expects 32 bits on the Assign RHS, but Assign RHS's REPLICATE generates 1 bits. : ... note: In instance 't' 13 | o = {$test$plusargs("NON-CONSTANT") {1'b1}}; diff --git a/test_regress/t/t_mem_multi_ref_bad.out b/test_regress/t/t_mem_multi_ref_bad.out index 83bce0b5f..5726709dc 100644 --- a/test_regress/t/t_mem_multi_ref_bad.out +++ b/test_regress/t/t_mem_multi_ref_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 15 | dimn[1:0] = 0; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Warning-SELRANGE: t/t_mem_multi_ref_bad.v:15:11: Extracting 2 bits from only 1 bit number : ... note: In instance 't' 15 | dimn[1:0] = 0; diff --git a/test_regress/t/t_mem_packed_bad.out b/test_regress/t/t_mem_packed_bad.out index f4dce2369..f3292a570 100644 --- a/test_regress/t/t_mem_packed_bad.out +++ b/test_regress/t/t_mem_packed_bad.out @@ -1,4 +1,5 @@ %Error: t/t_mem_packed_bad.v:27:32: CONST '28'h0' unexpected in assignment to unpacked array 27 | ch04 <= 56'd0; | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_mem_slice_bad.out b/test_regress/t/t_mem_slice_bad.out index b8ee9429c..3aa57d7f1 100644 --- a/test_regress/t/t_mem_slice_bad.out +++ b/test_regress/t/t_mem_slice_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 39 | assign active_command3[1:0][2:0][3:0] = (use_AnB) ? command_A3[1:0][2:0][3:0] : command_B3[1:0][1:0][3:0]; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_mem_slice_bad.v:39:36: Slice selection index '[3:0]' outside data type's '[2:0]' : ... note: In instance 't' 39 | assign active_command3[1:0][2:0][3:0] = (use_AnB) ? command_A3[1:0][2:0][3:0] : command_B3[1:0][1:0][3:0]; diff --git a/test_regress/t/t_mem_slice_dtype_bad.out b/test_regress/t/t_mem_slice_dtype_bad.out index 9968631a6..b3b82259d 100644 --- a/test_regress/t/t_mem_slice_dtype_bad.out +++ b/test_regress/t/t_mem_slice_dtype_bad.out @@ -1,4 +1,5 @@ %Error: t/t_mem_slice_dtype_bad.v:23:45: ADD unexpected in assignment to unpacked array 23 | completed_cnt[id] <= completed_cnt_dp + 1; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_mod_dup_bad.out b/test_regress/t/t_mod_dup_bad.out index fec90c643..c71620f5e 100644 --- a/test_regress/t/t_mod_dup_bad.out +++ b/test_regress/t/t_mod_dup_bad.out @@ -8,6 +8,8 @@ ... Use "/* verilator lint_off MODDUP */" and lint_on around source to disable this message. %Warning-MULTITOP: t/t_mod_dup_bad.v:17:8: Multiple top level modules : ... Suggest see manual; fix the duplicates, or use --top-module to select top. + ... For warning description see https://verilator.org/warn/MULTITOP?v=latest + ... Use "/* verilator lint_off MULTITOP */" and lint_on around source to disable this message. : ... Top module 'test' 10 | module test(); | ^~~~ diff --git a/test_regress/t/t_net_delay.out b/test_regress/t/t_net_delay.out index 2d09dd7e0..eab2df885 100644 --- a/test_regress/t/t_net_delay.out +++ b/test_regress/t/t_net_delay.out @@ -16,6 +16,8 @@ : ... note: In instance 't' 22 | wire[3:0] #5 val3 = cyc; | ^ + ... For warning description see https://verilator.org/warn/ASSIGNDLY?v=latest + ... Use "/* verilator lint_off ASSIGNDLY */" and lint_on around source to disable this message. %Warning-STMTDLY: t/t_net_delay.v:23:14: Ignoring delay on this statement due to --no-timing : ... note: In instance 't' 23 | wire[3:0] #5 val4; diff --git a/test_regress/t/t_no_std_bad.out b/test_regress/t/t_no_std_bad.out index 2014e0f6f..270ff073b 100644 --- a/test_regress/t/t_no_std_bad.out +++ b/test_regress/t/t_no_std_bad.out @@ -5,4 +5,5 @@ %Error: t/t_no_std_bad.v:9:11: Importing from missing package 'std' 9 | import std::*; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_notiming.out b/test_regress/t/t_notiming.out index 3819b82b6..26ff81c86 100644 --- a/test_regress/t/t_notiming.out +++ b/test_regress/t/t_notiming.out @@ -8,6 +8,7 @@ : ... note: In instance 't' 13 | fork @e; @e; join; | ^~~~ + ... For error description see https://verilator.org/warn/NOTIMING?v=latest %Error-NOTIMING: t/t_notiming.v:14:8: Event control statement in this location requires --timing : ... note: In instance 't' : ... With --no-timing, suggest have one event control statement per procedure, at the top of the procedure diff --git a/test_regress/t/t_notiming_off.out b/test_regress/t/t_notiming_off.out index 78ba91da6..18d1084ab 100644 --- a/test_regress/t/t_notiming_off.out +++ b/test_regress/t/t_notiming_off.out @@ -8,6 +8,7 @@ : ... note: In instance 't' 33 | initial #2 ->e1; | ^ + ... For warning description see https://verilator.org/warn/STMTDLY?v=latest ... Use "/* verilator lint_off STMTDLY */" and lint_on around source to disable this message. %Warning-STMTDLY: t/t_timing_off.v:37:12: Ignoring delay on this statement due to --no-timing : ... note: In instance 't' diff --git a/test_regress/t/t_package_export_bad.out b/test_regress/t/t_package_export_bad.out index d205953d0..7cfde4f39 100644 --- a/test_regress/t/t_package_export_bad.out +++ b/test_regress/t/t_package_export_bad.out @@ -1,6 +1,7 @@ %Error: t/t_package_export.v:45:17: Export object not found: 'pkg1::BAD_DOES_NOT_EXIST' 45 | export pkg1::BAD_DOES_NOT_EXIST; | ^~~~~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_package_export.v:56:16: Can't find definition of scope/variable/func: 'PARAM2' : ... Suggested alternative: 'PARAM1' 56 | reg [pkg11::PARAM2 : 0] bus12; diff --git a/test_regress/t/t_package_export_bad2.out b/test_regress/t/t_package_export_bad2.out index 82934dfb3..6ff1b4848 100644 --- a/test_regress/t/t_package_export_bad2.out +++ b/test_regress/t/t_package_export_bad2.out @@ -1,4 +1,5 @@ %Error: t/t_package_export_bad2.v:12:18: Export package not found: 'Pkg1b' 12 | export Pkg1b::*; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_package_identifier_bad.out b/test_regress/t/t_package_identifier_bad.out index 3c4e2f37c..a19e9a417 100644 --- a/test_regress/t/t_package_identifier_bad.out +++ b/test_regress/t/t_package_identifier_bad.out @@ -1,4 +1,5 @@ %Error: t/t_package_identifier_bad.v:15:20: Package/class for ':: reference' not found: 'Bar' 15 | int baz = Foo::Bar::baz; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_package_import_bad2.out b/test_regress/t/t_package_import_bad2.out index a0aed8c9a..84264cfe9 100644 --- a/test_regress/t/t_package_import_bad2.out +++ b/test_regress/t/t_package_import_bad2.out @@ -1,4 +1,5 @@ %Error: t/t_package_import_bad2.v:12:11: Importing from missing package 'Pkg1b' 12 | import Pkg1b::*; | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_package_local_bad.out b/test_regress/t/t_package_local_bad.out index 8a3dbab30..755ad04bc 100644 --- a/test_regress/t/t_package_local_bad.out +++ b/test_regress/t/t_package_local_bad.out @@ -1,4 +1,5 @@ %Error: t/t_package_local_bad.v:9:16: Illegal 'local::' outside 'randomize() with' (IEEE 1800-2023 18.7.1) 9 | $display(local::x); | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_param_circ_bad.out b/test_regress/t/t_param_circ_bad.out index bc052c47e..844a260ba 100644 --- a/test_regress/t/t_param_circ_bad.out +++ b/test_regress/t/t_param_circ_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't.sub' 11 | module sub #(parameter WIDTH=X, parameter X=WIDTH) | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_param_default_bad.out b/test_regress/t/t_param_default_bad.out index b4a331abb..5c8b28d6c 100644 --- a/test_regress/t/t_param_default_bad.out +++ b/test_regress/t/t_param_default_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't.foo' 7 | module m #(parameter int Foo); | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_param_default_presv_bad.out b/test_regress/t/t_param_default_presv_bad.out index 6a1db2f52..828ef91a0 100644 --- a/test_regress/t/t_param_default_presv_bad.out +++ b/test_regress/t/t_param_default_presv_bad.out @@ -7,4 +7,5 @@ : ... note: In instance 't.foo' 7 | module m #(parameter int Foo); | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_param_noval_bad.out b/test_regress/t/t_param_noval_bad.out index 14072fd52..1ced14aa7 100644 --- a/test_regress/t/t_param_noval_bad.out +++ b/test_regress/t/t_param_noval_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 7 | module t #(parameter P, parameter type T); | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_param_noval_bad.v:7:40: Parameter type without default value is never given value (IEEE 1800-2023 6.20.1): 'T' : ... note: In instance 't' 7 | module t #(parameter P, parameter type T); @@ -24,6 +25,7 @@ : ... note: In instance 't' 10 | for (j=0; P; j++) | ^~~ + ... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest %Error: t/t_param_noval_bad.v:10:7: For loop doesn't have genvar index, or is malformed : ... note: In instance 't' 10 | for (j=0; P; j++) @@ -32,3 +34,4 @@ : ... note: In instance 't' 10 | for (j=0; P; j++) | ^~~ + ... This fatal error may be caused by the earlier error(s); resolve those first. diff --git a/test_regress/t/t_param_store_bad.out b/test_regress/t/t_param_store_bad.out index 8db0b471b..a77a55464 100644 --- a/test_regress/t/t_param_store_bad.out +++ b/test_regress/t/t_param_store_bad.out @@ -1,4 +1,5 @@ %Error: t/t_param_store_bad.v:12:31: Storing to parameter variable 'S' in a context that is determined only at runtime 12 | $value$plusargs("S=%s", S); | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_param_type_bad.out b/test_regress/t/t_param_type_bad.out index 316eab2ba..f7f374e6f 100644 --- a/test_regress/t/t_param_type_bad.out +++ b/test_regress/t/t_param_type_bad.out @@ -1,4 +1,5 @@ %Error: t/t_param_type_bad.v:9:27: syntax error, unexpected INTEGER NUMBER, expecting IDENTIFIER or IDENTIFIER-for-cell or IDENTIFIER-for-type or randomize 9 | localparam type bad2 = 2; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_param_type_bad2.out b/test_regress/t/t_param_type_bad2.out index b1b6448c7..61334d445 100644 --- a/test_regress/t/t_param_type_bad2.out +++ b/test_regress/t/t_param_type_bad2.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 8 | localparam t = logic; | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_param_type_bad2.v:9:20: Operator VAR 't2' expected non-datatype Initial value but 'real' is a datatype. : ... note: In instance 't' 9 | localparam t2 = realtime; diff --git a/test_regress/t/t_param_type_id_bad.out b/test_regress/t/t_param_type_id_bad.out index 4a4d2fb89..f90502049 100644 --- a/test_regress/t/t_param_type_id_bad.out +++ b/test_regress/t/t_param_type_id_bad.out @@ -1,4 +1,5 @@ %Error: t/t_param_type_id_bad.v:9:34: Expecting a data type: 'i' 9 | class Cls #(parameter type P_T = i); | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_param_up_bad.out b/test_regress/t/t_param_up_bad.out index 2b2a88e6b..f8dcf3408 100644 --- a/test_regress/t/t_param_up_bad.out +++ b/test_regress/t/t_param_up_bad.out @@ -1,4 +1,5 @@ %Error: t/t_param_up_bad.v:16:19: Can't find definition of scope/variable: 'bar' 16 | assign a_bad = bar.foo; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_past_bad.out b/test_regress/t/t_past_bad.out index f694d5016..d525a72ca 100644 --- a/test_regress/t/t_past_bad.out +++ b/test_regress/t/t_past_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 16 | if ($past(d, num)) $stop; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_past_bad.v:16:11: $past tick value must be constant (IEEE 1800-2023 16.9.3) : ... note: In instance 't' 16 | if ($past(d, num)) $stop; diff --git a/test_regress/t/t_pli_bad.out b/test_regress/t/t_pli_bad.out index 162d3ed20..0525303d8 100644 --- a/test_regress/t/t_pli_bad.out +++ b/test_regress/t/t_pli_bad.out @@ -1,6 +1,7 @@ %Error: t/t_pli_bad.v:10:7: Unsupported or unknown PLI call: '$unknown_pli_task' 10 | $unknown_pli_task; | ^~~~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_pli_bad.v:11:7: Unsupported or unknown PLI call: '$unknown_pli_task' 11 | $unknown_pli_task("arg", i); | ^~~~~~~~~~~~~~~~~ diff --git a/test_regress/t/t_pp_circ_subst_bad.out b/test_regress/t/t_pp_circ_subst_bad.out index 1f566721d..6553eeaa3 100644 --- a/test_regress/t/t_pp_circ_subst_bad.out +++ b/test_regress/t/t_pp_circ_subst_bad.out @@ -1,3 +1,4 @@ %Error: t/t_pp_circ_subst_bad.v:8:80001: Too many preprocessor tokens on a line (>40000); perhaps recursive `define + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_pp_circ_subst_bad.v:8:1: syntax error, unexpected IDENTIFIER %Error: Exiting due to diff --git a/test_regress/t/t_pp_circ_subst_bad2.out b/test_regress/t/t_pp_circ_subst_bad2.out index 657d44e8a..e6a97d6d1 100644 --- a/test_regress/t/t_pp_circ_subst_bad2.out +++ b/test_regress/t/t_pp_circ_subst_bad2.out @@ -1,3 +1,4 @@ %Error: t/t_pp_circ_subst_bad.v:8:40002: Too many preprocessor tokens on a line (>20000); perhaps recursive `define + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_pp_circ_subst_bad.v:8:1: syntax error, unexpected IDENTIFIER %Error: Exiting due to diff --git a/test_regress/t/t_pp_defkwd_bad.out b/test_regress/t/t_pp_defkwd_bad.out index e9f7887bb..eac42b138 100644 --- a/test_regress/t/t_pp_defkwd_bad.out +++ b/test_regress/t/t_pp_defkwd_bad.out @@ -1,2 +1,3 @@ %Error: t/t_pp_defkwd_bad.v:8:18: Attempting to define built-in directive: '`define' (IEEE 1800-2023 22.5.1) + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_pp_defnettype_bad.out b/test_regress/t/t_pp_defnettype_bad.out index e9d6d411e..8bba69baf 100644 --- a/test_regress/t/t_pp_defnettype_bad.out +++ b/test_regress/t/t_pp_defnettype_bad.out @@ -8,4 +8,5 @@ %Error: t/t_pp_defnettype_bad.v:7:21: syntax error, unexpected IDENTIFIER 7 | `default_nettype bad_none_such | ^~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_pp_defparen_bad.out b/test_regress/t/t_pp_defparen_bad.out index bf1efdb68..b8c787df9 100644 --- a/test_regress/t/t_pp_defparen_bad.out +++ b/test_regress/t/t_pp_defparen_bad.out @@ -1,6 +1,7 @@ %Error: t/t_pp_defparen_bad.v:10:2: Illegal text before '(' that starts define arguments 10 | ( 1,2) | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_pp_defparen_bad.v:10:1: syntax error, unexpected '(' 10 | ((val 1) + (2)) | ^ diff --git a/test_regress/t/t_pp_line_bad.out b/test_regress/t/t_pp_line_bad.out index 3041d5dfa..d2f6c2291 100644 --- a/test_regress/t/t_pp_line_bad.out +++ b/test_regress/t/t_pp_line_bad.out @@ -1,6 +1,7 @@ %Error: t/t_pp_line_bad.v:8:1: `line was not properly formed with '`line number "filename" level' 8 | `line 100 | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_pp_line_bad.v:8:1: `line was not properly formed with '`line number "filename" level' %Error: t/t_pp_line_bad.v:9:1: `line was not properly formed with '`line number "filename" level' 9 | `line 200 somefile diff --git a/test_regress/t/t_pp_misdef_bad.out b/test_regress/t/t_pp_misdef_bad.out index 4e32fd0ae..ba5e0b2c0 100644 --- a/test_regress/t/t_pp_misdef_bad.out +++ b/test_regress/t/t_pp_misdef_bad.out @@ -2,6 +2,7 @@ : ... Suggested alternative: '`DEFINED' 11 | `NDEFINED | ^~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_pp_misdef_bad.v:14:6: Define or directive not defined: '`imescale' : ... Suggested alternative: '`timescale' 14 | `imescale diff --git a/test_regress/t/t_pp_recursedef_bad.out b/test_regress/t/t_pp_recursedef_bad.out index 06f2e03e9..741d039d6 100644 --- a/test_regress/t/t_pp_recursedef_bad.out +++ b/test_regress/t/t_pp_recursedef_bad.out @@ -1,2 +1,3 @@ %Error: t/t_pp_recursedef_bad.v:9:8012: Recursive `define substitution: `RECURSE + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_pp_resetall_bad.out b/test_regress/t/t_pp_resetall_bad.out index 123e39280..14541c00c 100644 --- a/test_regress/t/t_pp_resetall_bad.out +++ b/test_regress/t/t_pp_resetall_bad.out @@ -1,4 +1,6 @@ %Error: t/t_pp_resetall_bad.v:9:1: syntax error, unexpected `resetall 9 | `resetall | ^~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Cannot continue + ... This fatal error may be caused by the earlier error(s); resolve those first. diff --git a/test_regress/t/t_pp_underline_bad.out b/test_regress/t/t_pp_underline_bad.out index 1803a72b6..257122558 100644 --- a/test_regress/t/t_pp_underline_bad.out +++ b/test_regress/t/t_pp_underline_bad.out @@ -1,6 +1,7 @@ %Error: t/t_pp_underline_bad.v:8:4: Extra underscore in meta-comment; use /*verilator {...}*/ not /*verilator_{...}*/ 8 | // verilator_no_inline_module | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_pp_underline_bad.v:10:19: Extra underscore in meta-comment; use /*synopsys {...}*/ not /*synopsys_{...}*/ 10 | case (1'b1) // synopsys_full_case | ^~~~~~~~~~~~~~~~~~~~~ diff --git a/test_regress/t/t_preproc_cmtend_bad.out b/test_regress/t/t_preproc_cmtend_bad.out index 5fe061ed9..672a59432 100644 --- a/test_regress/t/t_preproc_cmtend_bad.out +++ b/test_regress/t/t_preproc_cmtend_bad.out @@ -1,2 +1,3 @@ %Error: t/t_preproc_cmtend_bad.v:10:1: EOF in '/* ... */' block comment + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_preproc_defarg_bad.out b/test_regress/t/t_preproc_defarg_bad.out index 1dac9e679..03c246b33 100644 --- a/test_regress/t/t_preproc_defarg_bad.out +++ b/test_regress/t/t_preproc_defarg_bad.out @@ -1,4 +1,5 @@ %Error: t/t_preproc_defarg_bad.v:13:4: Illegal text before '(' that starts define arguments + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_preproc_defarg_bad.v:13:8: Define passed too many arguments: A1 %Error: t/t_preproc_defarg_bad.v:15:4: Illegal text before '(' that starts define arguments %Error: t/t_preproc_defarg_bad.v:16:10: Define passed too many arguments: A2 diff --git a/test_regress/t/t_preproc_elsif_bad.out b/test_regress/t/t_preproc_elsif_bad.out index 979b24b69..4cb397f27 100644 --- a/test_regress/t/t_preproc_elsif_bad.out +++ b/test_regress/t/t_preproc_elsif_bad.out @@ -1,6 +1,7 @@ %Error: t/t_preproc_elsif_bad.v:9:8: `elsif with no matching `if 9 | `elsif A | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_preproc_elsif_bad.v:10:1: `endif with no matching `if 10 | `endif | ^~~~~~ diff --git a/test_regress/t/t_preproc_eof1_bad.out b/test_regress/t/t_preproc_eof1_bad.out index 23f5c48f7..c8dfa02cc 100644 --- a/test_regress/t/t_preproc_eof1_bad.out +++ b/test_regress/t/t_preproc_eof1_bad.out @@ -1,2 +1,3 @@ %Error: t/t_preproc_eof1_bad.v:9:1: EOF in '/* ... */' block comment + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_preproc_eof2_bad.out b/test_regress/t/t_preproc_eof2_bad.out index ec4540052..36cdc024f 100644 --- a/test_regress/t/t_preproc_eof2_bad.out +++ b/test_regress/t/t_preproc_eof2_bad.out @@ -1,2 +1,3 @@ %Error: t/t_preproc_eof2_bad.v:10:1: Unterminated ( in define formal arguments. + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_preproc_eof3_bad.out b/test_regress/t/t_preproc_eof3_bad.out index 8306501ba..201f669c0 100644 --- a/test_regress/t/t_preproc_eof3_bad.out +++ b/test_regress/t/t_preproc_eof3_bad.out @@ -1,6 +1,7 @@ %Error: t/t_preproc_eof3_bad.v:10:1: EOF in define argument list 10 | %Error-internal-contents-bad-ct2-ln10 | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_preproc_eof3_bad.v:10:1: Expecting ) or , to end argument list for define reference. Found: EOF 10 | %Error-internal-contents-bad-ct2-ln10 | ^ diff --git a/test_regress/t/t_preproc_eof4_bad.out b/test_regress/t/t_preproc_eof4_bad.out index b41e72159..3d745bc63 100644 --- a/test_regress/t/t_preproc_eof4_bad.out +++ b/test_regress/t/t_preproc_eof4_bad.out @@ -1,2 +1,3 @@ %Error: t/t_preproc_eof4_bad.v:8:1: Unterminated string + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_preproc_eof5_bad.out b/test_regress/t/t_preproc_eof5_bad.out index 51a45069b..38f81c754 100644 --- a/test_regress/t/t_preproc_eof5_bad.out +++ b/test_regress/t/t_preproc_eof5_bad.out @@ -1,4 +1,5 @@ %Error: t/t_preproc_eof5_bad.v:7:1: EOF in (* 7 | (* attr | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_preproc_eof6_bad.out b/test_regress/t/t_preproc_eof6_bad.out index 7449bf833..7fb5a8998 100644 --- a/test_regress/t/t_preproc_eof6_bad.out +++ b/test_regress/t/t_preproc_eof6_bad.out @@ -1,2 +1,3 @@ %Error: t/t_preproc_eof6_bad.v:10:1: EOF in unterminated """ string + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_preproc_ifdefend_bad.out b/test_regress/t/t_preproc_ifdefend_bad.out index a96bed118..070bb87bb 100644 --- a/test_regress/t/t_preproc_ifdefend_bad.out +++ b/test_regress/t/t_preproc_ifdefend_bad.out @@ -1,4 +1,5 @@ %Error: t/t_preproc_ifdefend_bad.v:9:1: `ifdef not terminated at EOF 9 | %Error-internal-contents-bad-ct2-ln9 | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_preproc_ifexpr_bad.out b/test_regress/t/t_preproc_ifexpr_bad.out index 8192b636c..e4ce3cf89 100644 --- a/test_regress/t/t_preproc_ifexpr_bad.out +++ b/test_regress/t/t_preproc_ifexpr_bad.out @@ -1,6 +1,7 @@ %Error: t/t_preproc_ifexpr_bad.v:12:14: `elsif with no matching `if 12 | `elsif ( ONE ) // BAD: elsif without if | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_preproc_ifexpr_bad.v:13:1: `endif with no matching `if 13 | `endif | ^~~~~~ diff --git a/test_regress/t/t_preproc_inc_bad.out b/test_regress/t/t_preproc_inc_bad.out index 006f0ec09..468822a47 100644 --- a/test_regress/t/t_preproc_inc_bad.out +++ b/test_regress/t/t_preproc_inc_bad.out @@ -2,4 +2,5 @@ 11 | endmodule | ^~~~~~~~~ t/t_preproc_inc_bad.v:10:1: ... note: In file included from 't_preproc_inc_bad.v' + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_preproc_inc_fn_bad.out b/test_regress/t/t_preproc_inc_fn_bad.out index 7e41874fa..af63ee2d0 100644 --- a/test_regress/t/t_preproc_inc_fn_bad.out +++ b/test_regress/t/t_preproc_inc_fn_bad.out @@ -1,4 +1,5 @@ %Error: t/t_preproc_inc_fn_bad.v:7:10: Expecting include filename. Found: ELSE 7 | `include `else | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_preproc_inc_notfound_bad.out b/test_regress/t/t_preproc_inc_notfound_bad.out index add378814..9e956aff5 100644 --- a/test_regress/t/t_preproc_inc_notfound_bad.out +++ b/test_regress/t/t_preproc_inc_notfound_bad.out @@ -1,6 +1,7 @@ %Error: t/t_preproc_inc_notfound_bad.v:7:10: Cannot find include file: 'this_file_is_not_found.vh' 7 | `include "this_file_is_not_found.vh" | ^~~~~~~~~~~~~~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. ... Looked in: t/this_file_is_not_found.vh t/this_file_is_not_found.vh.v diff --git a/test_regress/t/t_preproc_inc_recurse_bad.out b/test_regress/t/t_preproc_inc_recurse_bad.out index 1751134af..8dd64363b 100644 --- a/test_regress/t/t_preproc_inc_recurse_bad.out +++ b/test_regress/t/t_preproc_inc_recurse_bad.out @@ -1,4 +1,5 @@ %Error: t/t_preproc_inc_recurse_bad.v:7:10: Recursive inclusion of file: t/t_preproc_inc_recurse_bad.v 7 | `include "t_preproc_inc_recurse_bad.v" | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_preproc_kwd_bad.out b/test_regress/t/t_preproc_kwd_bad.out index 3fa950ee7..5062492f1 100644 --- a/test_regress/t/t_preproc_kwd_bad.out +++ b/test_regress/t/t_preproc_kwd_bad.out @@ -1,4 +1,5 @@ %Error: t/t_preproc_kwd_bad.v:8:1: `end_keywords when not inside `begin_keywords block 8 | `end_keywords | ^~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_preproc_nodef_bad.out b/test_regress/t/t_preproc_nodef_bad.out index 1ee339862..34b8f3f95 100644 --- a/test_regress/t/t_preproc_nodef_bad.out +++ b/test_regress/t/t_preproc_nodef_bad.out @@ -1,4 +1,5 @@ %Error: t/t_preproc_nodef_bad.v:7:1: Define or directive not defined: '`not_defined' 7 | `not_defined | ^~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_preproc_stringend_bad.out b/test_regress/t/t_preproc_stringend_bad.out index a1d821ac8..3443ac798 100644 --- a/test_regress/t/t_preproc_stringend_bad.out +++ b/test_regress/t/t_preproc_stringend_bad.out @@ -1,2 +1,3 @@ %Error: t/t_preproc_stringend_bad.v:8:1: Unterminated string + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_process_bad.out b/test_regress/t/t_process_bad.out index 0665a79e0..f58892526 100644 --- a/test_regress/t/t_process_bad.out +++ b/test_regress/t/t_process_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 13 | if (p.bad_method() != 0) $stop; | ^~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_process_bad.v:15:9: Class method 'bad_method_2' not found in class 'process' : ... note: In instance 't' 15 | p.bad_method_2(); diff --git a/test_regress/t/t_protect_ids_bad.out b/test_regress/t/t_protect_ids_bad.out index 8487cf844..fa04fb8c9 100644 --- a/test_regress/t/t_protect_ids_bad.out +++ b/test_regress/t/t_protect_ids_bad.out @@ -3,6 +3,7 @@ ... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest %Warning-INSECURE: Using --protect-ids with --trace may expose private design details ... Suggest remove --trace. + ... For warning description see https://verilator.org/warn/INSECURE?v=latest ... Use "/* verilator lint_off INSECURE */" and lint_on around source to disable this message. %Warning-INSECURE: Using --protect-ids with --vpi may expose private design details ... Suggest remove --vpi. diff --git a/test_regress/t/t_queue_method2_bad.out b/test_regress/t/t_queue_method2_bad.out index 5d2900d8e..a765361a4 100644 --- a/test_regress/t/t_queue_method2_bad.out +++ b/test_regress/t/t_queue_method2_bad.out @@ -1,6 +1,7 @@ %Error: t/t_queue_method2_bad.v:16:21: 'with' function expects only up to one argument 16 | qi = q.find(a,b) with (0); | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_queue_method2_bad.v:17:19: 'with' function expects simple variable name 17 | qi = q.find(1) with (0); | ^ diff --git a/test_regress/t/t_queue_method3_bad.out b/test_regress/t/t_queue_method3_bad.out index ca32b617d..df38b71fb 100644 --- a/test_regress/t/t_queue_method3_bad.out +++ b/test_regress/t/t_queue_method3_bad.out @@ -7,4 +7,4 @@ : ... note: In instance 't' 16 | points_qv = points_q.find_first(a) with (a.x.index == 0); | ^~ - ... See the manual at https://verilator.org/verilator_doc.html for more assistance. + ... This fatal error may be caused by the earlier error(s); resolve those first. diff --git a/test_regress/t/t_queue_method_bad.out b/test_regress/t/t_queue_method_bad.out index db03af9f0..b2a213874 100644 --- a/test_regress/t/t_queue_method_bad.out +++ b/test_regress/t/t_queue_method_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 15 | q.reverse(1); | ^~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_queue_method_bad.v:16:9: The 1 arguments passed to .shuffle method does not match its requiring 0 arguments : ... note: In instance 't' 16 | q.shuffle(1); diff --git a/test_regress/t/t_randc_oversize_bad.out b/test_regress/t/t_randc_oversize_bad.out index 93bcf0c1b..0ca28a1a6 100644 --- a/test_regress/t/t_randc_oversize_bad.out +++ b/test_regress/t/t_randc_oversize_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 8 | randc bit [37:0] i; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_randomize_inline_var_ctl_bad.out b/test_regress/t/t_randomize_inline_var_ctl_bad.out index 8f68f9667..35fb0186c 100644 --- a/test_regress/t/t_randomize_inline_var_ctl_bad.out +++ b/test_regress/t/t_randomize_inline_var_ctl_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 12 | void'(randomize(y)); | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_randomize_inline_var_ctl_bad.v:26:46: 'randomize()' argument must be a variable contained in 'foo' : ... note: In instance 't' 26 | void'(foo.randomize(x, foo.x, null, qux.x, bar.y, 0 + 1, x ** 2)); diff --git a/test_regress/t/t_randomize_inline_var_ctl_unsup_2.out b/test_regress/t/t_randomize_inline_var_ctl_unsup_2.out index a1be7c312..9e62f0b8b 100644 --- a/test_regress/t/t_randomize_inline_var_ctl_unsup_2.out +++ b/test_regress/t/t_randomize_inline_var_ctl_unsup_2.out @@ -5,4 +5,5 @@ %Error: t/t_randomize_inline_var_ctl_unsup_2.v:17:39: Can't find definition of variable: 'x' 17 | initial void'(Foo::get().randomize(x)); | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_randomize_method_bad.out b/test_regress/t/t_randomize_method_bad.out index 6c23ab84f..f54740a9b 100644 --- a/test_regress/t/t_randomize_method_bad.out +++ b/test_regress/t/t_randomize_method_bad.out @@ -1,6 +1,7 @@ %Error: t/t_randomize_method_bad.v:8:17: 'randomize' is a predefined class method; redefinition not allowed (IEEE 1800-2023 18.6.3) 8 | function int randomize; | ^~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_randomize_method_bad.v:14:18: 'randomize' is a predefined class method; redefinition not allowed (IEEE 1800-2023 18.6.3) 14 | function void randomize(int x); | ^~~~~~~~~ diff --git a/test_regress/t/t_randomize_method_complex_bad.out b/test_regress/t/t_randomize_method_complex_bad.out index 3275c55af..38c236cd2 100644 --- a/test_regress/t/t_randomize_method_complex_bad.out +++ b/test_regress/t/t_randomize_method_complex_bad.out @@ -5,6 +5,7 @@ %Error: t/t_randomize_method_complex_bad.v:16:30: Can't find definition of variable: 'r' 16 | x.f.randomize() with { r < 5; }, | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_randomize_method_complex_bad.v:17:9: 'randomize() with' on a non-class-instance 'int' 17 | i.randomize() with { v < 5; }); | ^~~~~~~~~ diff --git a/test_regress/t/t_randomize_method_nclass_bad.out b/test_regress/t/t_randomize_method_nclass_bad.out index a9b29ccfc..e60686073 100644 --- a/test_regress/t/t_randomize_method_nclass_bad.out +++ b/test_regress/t/t_randomize_method_nclass_bad.out @@ -1,6 +1,7 @@ %Error: t/t_randomize_method_nclass_bad.v:9:7: Calling implicit class method 'randomize' without being under class 9 | randomize(1); | ^~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_randomize_method_nclass_bad.v:10:7: Calling implicit class method 'srandom' without being under class 10 | srandom(1); | ^~~~~~~ diff --git a/test_regress/t/t_randomize_method_types_unsup.out b/test_regress/t/t_randomize_method_types_unsup.out index 4dd60a0a9..7f6b8a170 100644 --- a/test_regress/t/t_randomize_method_types_unsup.out +++ b/test_regress/t/t_randomize_method_types_unsup.out @@ -14,6 +14,7 @@ : ... note: In instance 't' 15 | rand Cls cls; | ^~~ + ... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest %Warning-CONSTRAINTIGN: t/t_randomize_method_types_unsup.v:43:43: Unsupported: randomizing this expression, treating as state 43 | res = obj.randomize() with { dynarr.size > 2; }; | ^~~~ diff --git a/test_regress/t/t_randomize_method_with_bad.out b/test_regress/t/t_randomize_method_with_bad.out index 584cdbd2b..736915084 100644 --- a/test_regress/t/t_randomize_method_with_bad.out +++ b/test_regress/t/t_randomize_method_with_bad.out @@ -1,4 +1,5 @@ %Error: t/t_randomize_method_with_bad.v:18:42: Can't find definition of task/function: 'in_mod_function' 18 | int res = foo.randomize() with { v < in_mod_function(); }; | ^~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_randomize_rand_mode_bad.out b/test_regress/t/t_randomize_rand_mode_bad.out index 497b75424..41521e4a5 100644 --- a/test_regress/t/t_randomize_rand_mode_bad.out +++ b/test_regress/t/t_randomize_rand_mode_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 22 | p.m_val.rand_mode(0); | ^~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_randomize_rand_mode_bad.v:23:19: Cannot call 'rand_mode()' on packed array element : ... note: In instance 't' 23 | p.m_pack[0].rand_mode(0); diff --git a/test_regress/t/t_randomize_union_bad.out b/test_regress/t/t_randomize_union_bad.out index 61cde78f2..9d932c13d 100644 --- a/test_regress/t/t_randomize_union_bad.out +++ b/test_regress/t/t_randomize_union_bad.out @@ -1,4 +1,5 @@ %Error: t/t_randomize_union_bad.v:7:9: Unpacked unions shall not be declared as rand or randc. (IEEE 1800-2023 18.4) 7 | typedef union { | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_savable_coverage_bad.out b/test_regress/t/t_savable_coverage_bad.out index a18ad8054..12c2d876d 100644 --- a/test_regress/t/t_savable_coverage_bad.out +++ b/test_regress/t/t_savable_coverage_bad.out @@ -1,2 +1,3 @@ %Error: Unsupported: --coverage and --savable not supported together + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_savable_timing_bad.out b/test_regress/t/t_savable_timing_bad.out index cef0f1ea3..da057e35a 100644 --- a/test_regress/t/t_savable_timing_bad.out +++ b/test_regress/t/t_savable_timing_bad.out @@ -1,2 +1,3 @@ %Error: Unsupported: --timing and --savable not supported together + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_scoped_param_pattern_init_unsup.out b/test_regress/t/t_scoped_param_pattern_init_unsup.out index 377634d74..9fd2efc85 100644 --- a/test_regress/t/t_scoped_param_pattern_init_unsup.out +++ b/test_regress/t/t_scoped_param_pattern_init_unsup.out @@ -1,4 +1,5 @@ %Error: t/t_scoped_param_pattern_init_unsup.v:30:22: syntax error, unexpected ':', expecting ',' or '}' 30 | some_pkg::FOO: 32'h9876, | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_select_bad_msb.out b/test_regress/t/t_select_bad_msb.out index aa46cf502..30cfd0055 100644 --- a/test_regress/t/t_select_bad_msb.out +++ b/test_regress/t/t_select_bad_msb.out @@ -8,4 +8,6 @@ : ... note: In instance 't' 16 | sel2 = mi[1:4]; | ^ + ... For warning description see https://verilator.org/warn/SELRANGE?v=latest + ... Use "/* verilator lint_off SELRANGE */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_select_bad_range4.out b/test_regress/t/t_select_bad_range4.out index 918ca9fbd..81703b9f2 100644 --- a/test_regress/t/t_select_bad_range4.out +++ b/test_regress/t/t_select_bad_range4.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 17 | reg [1<<29 : 0] hugerange; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_select_bad_range4.v:20:16: Width of :+ or :- is < 0: 32'hffffffff : ... note: In instance 't' 20 | sel2 = mi[44 +: -1]; @@ -24,6 +25,8 @@ : ... note: In instance 't' 21 | sel2 = mi[44 +: 1<<29]; | ^ + ... For warning description see https://verilator.org/warn/SELRANGE?v=latest + ... Use "/* verilator lint_off SELRANGE */" and lint_on around source to disable this message. %Warning-SELRANGE: t/t_select_bad_range4.v:21:16: Selection index out of range: 536870915:4 outside 45:40 : ... note: In instance 't' 21 | sel2 = mi[44 +: 1<<29]; @@ -32,6 +35,8 @@ : ... note: In instance 't' 21 | sel2 = mi[44 +: 1<<29]; | ^ + ... For warning description see https://verilator.org/warn/WIDTHTRUNC?v=latest + ... Use "/* verilator lint_off WIDTHTRUNC */" and lint_on around source to disable this message. %Error: t/t_select_bad_range4.v:22:23: Expecting expression to be constant, but variable isn't const: 'nonconst' : ... note: In instance 't' 22 | sel2 = mi[44 +: nonconst]; diff --git a/test_regress/t/t_select_bad_range5.out b/test_regress/t/t_select_bad_range5.out index 9a394f0f0..cd9f439eb 100644 --- a/test_regress/t/t_select_bad_range5.out +++ b/test_regress/t/t_select_bad_range5.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 16 | assign mi = unk[3:2]; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Warning-SELRANGE: t/t_select_bad_range5.v:16:19: Extracting 2 bits from only 1 bit number : ... note: In instance 't' 16 | assign mi = unk[3:2]; @@ -16,8 +17,12 @@ : ... note: In instance 't' 16 | assign mi = unk[3:2]; | ^ + ... For warning description see https://verilator.org/warn/WIDTHEXPAND?v=latest + ... Use "/* verilator lint_off WIDTHEXPAND */" and lint_on around source to disable this message. %Warning-WIDTHTRUNC: t/t_select_bad_range5.v:16:14: Operator ASSIGNW expects 1 bits on the Assign RHS, but Assign RHS's SEL generates 2 bits. : ... note: In instance 't' 16 | assign mi = unk[3:2]; | ^ + ... For warning description see https://verilator.org/warn/WIDTHTRUNC?v=latest + ... Use "/* verilator lint_off WIDTHTRUNC */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_select_bad_tri.out b/test_regress/t/t_select_bad_tri.out index 6b0b07934..856b72df0 100644 --- a/test_regress/t/t_select_bad_tri.out +++ b/test_regress/t/t_select_bad_tri.out @@ -1,7 +1,9 @@ %Error: t/t_select_bad_tri.v:11:24: Selection index is constantly unknown or tristated: 1'bx 11 | if (in[( (1'h0 / 1'b0) )+:71] != 71'h0) $stop; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Internal Error: t/t_select_bad_tri.v:11:24: ../V3Number.cpp:#: toUInt with 4-state 1'bx : ... note: In instance 't' 11 | if (in[( (1'h0 / 1'b0) )+:71] != 71'h0) $stop; | ^ + ... This fatal error may be caused by the earlier error(s); resolve those first. diff --git a/test_regress/t/t_select_bad_width0.out b/test_regress/t/t_select_bad_width0.out index 96068ff07..0e761e160 100644 --- a/test_regress/t/t_select_bad_width0.out +++ b/test_regress/t/t_select_bad_width0.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 15 | int part = val[left +: ZERO]; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Warning-WIDTHEXPAND: t/t_select_bad_width0.v:15:21: Operator ASSIGN expects 32 bits on the Assign RHS, but Assign RHS's SEL generates 1 bits. : ... note: In instance 't' 15 | int part = val[left +: ZERO]; diff --git a/test_regress/t/t_semaphore_bad.out b/test_regress/t/t_semaphore_bad.out index 41eab7032..6e0cdae8d 100644 --- a/test_regress/t/t_semaphore_bad.out +++ b/test_regress/t/t_semaphore_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 12 | if (s.bad_method() != 0) $stop; | ^~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_sequence_sexpr_unsup.out b/test_regress/t/t_sequence_sexpr_unsup.out index cdd372742..5a73a5851 100644 --- a/test_regress/t/t_sequence_sexpr_unsup.out +++ b/test_regress/t/t_sequence_sexpr_unsup.out @@ -233,6 +233,7 @@ %Warning-COVERIGN: t/t_sequence_sexpr_unsup.v:129:10: Ignoring unsupported: cover sequence 129 | cover sequence (s_a) $display(""); | ^~~~~~~~ + ... For warning description see https://verilator.org/warn/COVERIGN?v=latest ... Use "/* verilator lint_off COVERIGN */" and lint_on around source to disable this message. %Warning-COVERIGN: t/t_sequence_sexpr_unsup.v:130:10: Ignoring unsupported: cover sequence 130 | cover sequence (@(posedge a) disable iff (b) s_a) $display(""); diff --git a/test_regress/t/t_source_sync_bad.out b/test_regress/t/t_source_sync_bad.out index 081308b24..61583aa98 100644 --- a/test_regress/t/t_source_sync_bad.out +++ b/test_regress/t/t_source_sync_bad.out @@ -1,6 +1,7 @@ %Error: t/t_source_sync_bad.v:17:16: syntax error, unexpected IDENTIFIER 17 | Invalid1 invalid1; | ^~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_source_sync_bad.v:20:16: syntax error, unexpected IDENTIFIER 20 | Invalid2 invalid2; | ^~~~~~~~ diff --git a/test_regress/t/t_specparam_unsup.out b/test_regress/t/t_specparam_unsup.out index 8b9c4dfc6..776aaa222 100644 --- a/test_regress/t/t_specparam_unsup.out +++ b/test_regress/t/t_specparam_unsup.out @@ -1,4 +1,5 @@ %Error: t/t_specparam_unsup.v:14:8: Can't find definition of variable: 'tdevice_PU' 14 | #tdevice_PU PoweredUp = 1'b1; | ^~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_split_var_1_bad.out b/test_regress/t/t_split_var_1_bad.out index 6337a8271..a48e80f5e 100644 --- a/test_regress/t/t_split_var_1_bad.out +++ b/test_regress/t/t_split_var_1_bad.out @@ -19,14 +19,19 @@ : ... note: In instance 't.i_sub3' 90 | assign outwires[12] = inwires[13]; | ^ + ... For warning description see https://verilator.org/warn/SELRANGE?v=latest + ... Use "/* verilator lint_off SELRANGE */" and lint_on around source to disable this message. %Warning-WIDTHTRUNC: t/t_split_var_1_bad.v:41:31: Operator ASSIGN expects 8 bits on the Assign RHS, but Assign RHS's FUNCREF 'bad_func' generates 32 bits. : ... note: In instance 't' 41 | i_sub0.cannot_split1[1] = bad_func(addr, rd_data0); | ^ + ... For warning description see https://verilator.org/warn/WIDTHTRUNC?v=latest + ... Use "/* verilator lint_off WIDTHTRUNC */" and lint_on around source to disable this message. %Error: t/t_split_var_1_bad.v:79:16: Illegal assignment of constant to unpacked array : ... note: In instance 't.i_sub2' 79 | assign b = a[0]; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Warning-SPLITVAR: t/t_split_var_1_bad.v:56:31: 'cannot_split0' has split_var metacomment but will not be split because index cannot be determined statically. : ... note: In instance 't.i_sub0' 56 | rd_data = cannot_split0[addr]; diff --git a/test_regress/t/t_std_identifier_bad.out b/test_regress/t/t_std_identifier_bad.out index 015bb21f6..4e5bee27e 100644 --- a/test_regress/t/t_std_identifier_bad.out +++ b/test_regress/t/t_std_identifier_bad.out @@ -1,6 +1,7 @@ %Error: t/t_std_identifier.v:16:20: Package/class for ':: reference' not found: 'std' 16 | int baz = foo::std::bar; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_std_identifier.v:16:25: Can't find definition of scope/variable/func: 'bar' 16 | int baz = foo::std::bar; | ^~~ diff --git a/test_regress/t/t_std_pkg_bad.out b/test_regress/t/t_std_pkg_bad.out index 54a735e56..16bebba83 100644 --- a/test_regress/t/t_std_pkg_bad.out +++ b/test_regress/t/t_std_pkg_bad.out @@ -1,4 +1,5 @@ %Error: t/t_std_pkg_bad.v:7:9: Redeclaring the 'std' package is not allowed 7 | package std; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_stream_bad.out b/test_regress/t/t_stream_bad.out index 72fd8fe3d..ad2c9c4c4 100644 --- a/test_regress/t/t_stream_bad.out +++ b/test_regress/t/t_stream_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 12 | initial packed_data_32 = {<<$random{byte_in}}; | ^~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_stream_bad.v:12:30: Slice size isn't a constant or basic data type. : ... note: In instance 't' 12 | initial packed_data_32 = {<<$random{byte_in}}; diff --git a/test_regress/t/t_stream_unpack_lhs.out b/test_regress/t/t_stream_unpack_lhs.out index 5a121f212..6203e55f2 100644 --- a/test_regress/t/t_stream_unpack_lhs.out +++ b/test_regress/t/t_stream_unpack_lhs.out @@ -16,7 +16,9 @@ : ... note: In instance 't' 113 | if (unpacked_siz_dout != '{8'h01, 8'h23, 8'h45, 8'h67}) $stop; | ^~ + ... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest %Error: Internal Error: t/t_stream_unpack_lhs.v:113:35: ../V3Width.cpp:#: Node has no type : ... note: In instance 't' 113 | if (unpacked_siz_dout != '{8'h01, 8'h23, 8'h45, 8'h67}) $stop; | ^~ + ... This fatal error may be caused by the earlier error(s); resolve those first. diff --git a/test_regress/t/t_stream_unpack_narrower.out b/test_regress/t/t_stream_unpack_narrower.out index cc932a986..b3e737b29 100644 --- a/test_regress/t/t_stream_unpack_narrower.out +++ b/test_regress/t/t_stream_unpack_narrower.out @@ -8,4 +8,6 @@ : ... note: In instance 't' 15 | packed_data = {>>{stream}}; | ^ + ... For warning description see https://verilator.org/warn/WIDTHTRUNC?v=latest + ... Use "/* verilator lint_off WIDTHTRUNC */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_strength_strong1_strong1_bad.out b/test_regress/t/t_strength_strong1_strong1_bad.out index b1e299714..2705ad874 100644 --- a/test_regress/t/t_strength_strong1_strong1_bad.out +++ b/test_regress/t/t_strength_strong1_strong1_bad.out @@ -1,4 +1,5 @@ %Error: t/t_strength_strong1_strong1_bad.v:8:19: syntax error, unexpected strong1 8 | wire (strong1, strong1) a = 1; | ^~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_string_type_methods_bad.out b/test_regress/t/t_string_type_methods_bad.out index 65e9e4cfb..775bb4aa0 100644 --- a/test_regress/t/t_string_type_methods_bad.out +++ b/test_regress/t/t_string_type_methods_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 15 | i = s.len(0); | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_string_type_methods_bad.v:16:9: The 0 arguments passed to .itoa method does not match its requiring 1 arguments : ... note: In instance 't' 16 | s.itoa; diff --git a/test_regress/t/t_struct_contents_bad.out b/test_regress/t/t_struct_contents_bad.out index 69cd8a084..b305a3c7d 100644 --- a/test_regress/t/t_struct_contents_bad.out +++ b/test_regress/t/t_struct_contents_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 20 | real r; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_struct_contents_bad.v:22:19: Unpacked data type 'real' in packed struct/union (IEEE 1800-2023 7.2.1) : ... note: In instance 't' 22 | shortreal sr; diff --git a/test_regress/t/t_struct_init_bad.out b/test_regress/t/t_struct_init_bad.out index 4d2d6c889..055ae9d61 100644 --- a/test_regress/t/t_struct_init_bad.out +++ b/test_regress/t/t_struct_init_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 55 | const b4_t b4_const_c = '{b1: 1'b1, b1: 1'b0, b0:1'b0, b2: 1'b1, b3: 1'b1}; | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_struct_notfound_bad.out b/test_regress/t/t_struct_notfound_bad.out index 334bcef0d..37612f978 100644 --- a/test_regress/t/t_struct_notfound_bad.out +++ b/test_regress/t/t_struct_notfound_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 13 | s.nfmember = 0; | ^~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_struct_packed_init_bad.out b/test_regress/t/t_struct_packed_init_bad.out index 19bfd9d0d..7b43998e6 100644 --- a/test_regress/t/t_struct_packed_init_bad.out +++ b/test_regress/t/t_struct_packed_init_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 12 | bit [3:0] m_lo = P; | ^~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_struct_type_bad.out b/test_regress/t/t_struct_type_bad.out index 0e0aeda51..df9829d25 100644 --- a/test_regress/t/t_struct_type_bad.out +++ b/test_regress/t/t_struct_type_bad.out @@ -1,4 +1,5 @@ %Error: t/t_struct_type_bad.v:13:7: Expecting a data type: 'i' 13 | i badi; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_structu_dataType_assignment_bad.out b/test_regress/t/t_structu_dataType_assignment_bad.out index 314204842..37b8ada27 100644 --- a/test_regress/t/t_structu_dataType_assignment_bad.out +++ b/test_regress/t/t_structu_dataType_assignment_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 'top' 19 | DEF_struct DEF_bad = '{1: 5, default: 10}; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_sys_fopen_bad.out b/test_regress/t/t_sys_fopen_bad.out index b788b2245..53525cf73 100644 --- a/test_regress/t/t_sys_fopen_bad.out +++ b/test_regress/t/t_sys_fopen_bad.out @@ -1,4 +1,5 @@ %Error: t/t_sys_fopen_bad.v:14:34: $fopen mode should be <= 4 characters 14 | file = $fopen("/dev/null", "somereallywidebad"); | ^~~~~~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_sys_readmem_assoc_bad.out b/test_regress/t/t_sys_readmem_assoc_bad.out index 7972a7ff8..70ace013e 100644 --- a/test_regress/t/t_sys_readmem_assoc_bad.out +++ b/test_regress/t/t_sys_readmem_assoc_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 13 | $readmemb("not", assoc_bad_key); | ^~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error-UNSUPPORTED: t/t_sys_readmem_assoc_bad.v:14:24: Unsupported: $readmemb array values must be integral : ... note: In instance 't' 14 | $readmemb("not", assoc_bad_value); diff --git a/test_regress/t/t_timescale_parse_bad.out b/test_regress/t/t_timescale_parse_bad.out index 8544ff3fc..fb874469b 100644 --- a/test_regress/t/t_timescale_parse_bad.out +++ b/test_regress/t/t_timescale_parse_bad.out @@ -1,6 +1,7 @@ %Error: t/t_timescale_parse_bad.v:8:1: `timescale timeunit '1ps' must be greater than or equal to timeprecision '1ns' 8 | `timescale 1ps/1ns | ^~~~~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_timescale_parse_bad.v:11:1: `timescale timeunit syntax error: 'frump' 11 | `timescale frump | ^~~~~~~~~~~~~~~~ diff --git a/test_regress/t/t_timing_func_bad.out b/test_regress/t/t_timing_func_bad.out index 243a37a10..4d3b2eff3 100644 --- a/test_regress/t/t_timing_func_bad.out +++ b/test_regress/t/t_timing_func_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 10 | #1 $stop; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_timing_func_bad.v:15:12: Timing controls are not legal in functions. Suggest use a task (IEEE 1800-2023 13.4.4) : ... note: In instance 't' 15 | f2 = #5 0; $stop; diff --git a/test_regress/t/t_tri_and_eqcase.out b/test_regress/t/t_tri_and_eqcase.out index d319b4996..5555b3000 100644 --- a/test_regress/t/t_tri_and_eqcase.out +++ b/test_regress/t/t_tri_and_eqcase.out @@ -5,4 +5,4 @@ %Error: Internal Error: t/t_tri_and_eqcase.v:9:19: ../V3Ast.cpp:#: Null item passed to setOp2p 9 | logic b = 1'bz === (clk1 & clk2); | ^~~ - ... See the manual at https://verilator.org/verilator_doc.html for more assistance. + ... This fatal error may be caused by the earlier error(s); resolve those first. diff --git a/test_regress/t/t_type_compare_bad.out b/test_regress/t/t_type_compare_bad.out index ea2fbaba2..f8b2fafaa 100644 --- a/test_regress/t/t_type_compare_bad.out +++ b/test_regress/t/t_type_compare_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 12 | 1: $stop; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_type_param_circ_bad.out b/test_regress/t/t_type_param_circ_bad.out index 832185a4b..311792300 100644 --- a/test_regress/t/t_type_param_circ_bad.out +++ b/test_regress/t/t_type_param_circ_bad.out @@ -1,4 +1,5 @@ %Error: t/t_type_param_circ_bad.v:14:27: Reference to 'SZ' type would form a recursive definition 14 | # (parameter type SZ = SZ) | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_typedef_circ_bad.out b/test_regress/t/t_typedef_circ_bad.out index 4c0dd704b..0848e912e 100644 --- a/test_regress/t/t_typedef_circ_bad.out +++ b/test_regress/t/t_typedef_circ_bad.out @@ -1,4 +1,5 @@ %Error: t/t_typedef_circ_bad.v:8:9: Typedef's type is circular: a_t 8 | typedef a_t b_t; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_typedef_id_bad.out b/test_regress/t/t_typedef_id_bad.out index f970a5c97..79f93c6d7 100644 --- a/test_regress/t/t_typedef_id_bad.out +++ b/test_regress/t/t_typedef_id_bad.out @@ -1,4 +1,5 @@ %Error: t/t_typedef_id_bad.v:9:34: Expecting a data type: 'i' 9 | class Cls #(parameter type P_T = i); | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_typedef_no_bad.out b/test_regress/t/t_typedef_no_bad.out index e1e4ceaf8..51f0b9eb3 100644 --- a/test_regress/t/t_typedef_no_bad.out +++ b/test_regress/t/t_typedef_no_bad.out @@ -1,4 +1,5 @@ %Error: t/t_typedef_no_bad.v:10:4: Can't find typedef/interface: 'sometype' 10 | sometype p; | ^~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_typedef_unused_bad.out b/test_regress/t/t_typedef_unused_bad.out index 67884e337..c684c39cb 100644 --- a/test_regress/t/t_typedef_unused_bad.out +++ b/test_regress/t/t_typedef_unused_bad.out @@ -1,4 +1,5 @@ %Error: t/t_typedef_unused_bad.v:9:9: Forward typedef unused or does not resolve to a data type (IEEE 1800-2023 6.18): 'fwd_undecl_t' 9 | typedef fwd_undecl_t; | ^~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_udp_bad.out b/test_regress/t/t_udp_bad.out index 044315f01..3438ee663 100644 --- a/test_regress/t/t_udp_bad.out +++ b/test_regress/t/t_udp_bad.out @@ -9,9 +9,11 @@ %Error: t/t_udp_bad.v:14:18: Pin is not an in/out/inout/interface: 'a_bad' 14 | primitive udp_x (a_bad, b, c_bad); | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error-PINNOTFOUND: t/t_udp_bad.v:10:13: Pin not found: '__pinNumber1' 10 | udp_x x (a, b); | ^ + ... For error description see https://verilator.org/warn/PINNOTFOUND?v=latest %Error: t/t_udp_bad.v:17:11: Multiple outputs not allowed in udp modules 17 | output c_bad; | ^~~~~ diff --git a/test_regress/t/t_udp_param_bad.out b/test_regress/t/t_udp_param_bad.out index cd3152a08..b7274b521 100644 --- a/test_regress/t/t_udp_param_bad.out +++ b/test_regress/t/t_udp_param_bad.out @@ -1,6 +1,7 @@ %Error: t/t_udp_param_bad.v:12:15: syntax error, unexpected '#', expecting ';' 12 | primitive udp #( | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_udp_param_bad.v:14:1: syntax error, unexpected ')', expecting ';' 14 | ) (o, a); | ^ diff --git a/test_regress/t/t_udp_tableend_bad.out b/test_regress/t/t_udp_tableend_bad.out index d673497d0..01d6364d6 100644 --- a/test_regress/t/t_udp_tableend_bad.out +++ b/test_regress/t/t_udp_tableend_bad.out @@ -1,4 +1,5 @@ %Error: t/t_udp_tableend_bad.v:11:4: Syntax error: 'endtable' outside of 'table' 11 | endtable | ^~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_unbounded_bad.out b/test_regress/t/t_unbounded_bad.out index 2e4bdca79..0dd41a51d 100644 --- a/test_regress/t/t_unbounded_bad.out +++ b/test_regress/t/t_unbounded_bad.out @@ -7,5 +7,6 @@ : ... note: In instance 't' 9 | if ($) $stop; | ^~ + ... For warning description see https://verilator.org/warn/WIDTHTRUNC?v=latest ... Use "/* verilator lint_off WIDTHTRUNC */" and lint_on around source to disable this message. %Error: Exiting due to diff --git a/test_regress/t/t_unconnected_bad.out b/test_regress/t/t_unconnected_bad.out index 6ba09dcd1..eca86ea3d 100644 --- a/test_regress/t/t_unconnected_bad.out +++ b/test_regress/t/t_unconnected_bad.out @@ -1,6 +1,7 @@ %Error: t/t_unconnected_bad.v:7:1: Bad `unconnected_drive syntax 7 | `unconnected_drive | ^~~~~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_unconnected_bad.v:9:1: Bad `unconnected_drive syntax 9 | `unconnected_drive pull2 | ^~~~~~~~~~~~~~~~~~ diff --git a/test_regress/t/t_unpacked_concat_bad.out b/test_regress/t/t_unpacked_concat_bad.out index 051187a46..6268aa47b 100644 --- a/test_regress/t/t_unpacked_concat_bad.out +++ b/test_regress/t/t_unpacked_concat_bad.out @@ -7,4 +7,5 @@ : ... note: In instance 't' 12 | localparam bit_int_t count_bits [1:0] = {2{$bits(count_t)}}; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_unpacked_concat_bad2.out b/test_regress/t/t_unpacked_concat_bad2.out index bc664a764..68b53335a 100644 --- a/test_regress/t/t_unpacked_concat_bad2.out +++ b/test_regress/t/t_unpacked_concat_bad2.out @@ -1,6 +1,7 @@ %Error: t/t_unpacked_concat_bad2.v:20:15: Array initialization has too many elements. 2 elements are expected, but at least 5 elements exist. 20 | s1 = {s0, s2}; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_unpacked_concat_bad2.v:21:23: Array initialization has too many elements. 4 elements are expected, but at least 5 elements exist. 21 | s2 = {s1, s0, s0, s0}; | ^ diff --git a/test_regress/t/t_unpacked_concat_bad3.out b/test_regress/t/t_unpacked_concat_bad3.out index f106250c0..1674c1ac6 100644 --- a/test_regress/t/t_unpacked_concat_bad3.out +++ b/test_regress/t/t_unpacked_concat_bad3.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 9 | localparam logic [7:0] TOO_FEW [5] = '{0, 1, 2**8-1}; | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_unpacked_concat_bad3.v:9:41: Assignment pattern missed initializing elements: 4 : ... note: In instance 't' 9 | localparam logic [7:0] TOO_FEW [5] = '{0, 1, 2**8-1}; diff --git a/test_regress/t/t_vams_kwd_bad.out b/test_regress/t/t_vams_kwd_bad.out index 0d6fac32e..d10e51e87 100644 --- a/test_regress/t/t_vams_kwd_bad.out +++ b/test_regress/t/t_vams_kwd_bad.out @@ -5,6 +5,7 @@ %Error: t/t_vams_kwd_bad.v:12:13: syntax error, unexpected ';', expecting IDENTIFIER or randomize 12 | int above; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error-UNSUPPORTED: t/t_vams_kwd_bad.v:13:8: Unsupported: AMS reserved word not implemented: 'abs' 13 | int abs; | ^~~ diff --git a/test_regress/t/t_var_bad_sameas.out b/test_regress/t/t_var_bad_sameas.out index 046cd6955..951de49df 100644 --- a/test_regress/t/t_var_bad_sameas.out +++ b/test_regress/t/t_var_bad_sameas.out @@ -4,6 +4,7 @@ t/t_var_bad_sameas.v:9:12: ... Location of original declaration 9 | integer varfirst; | ^~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_var_bad_sameas.v:11:9: Unsupported in C: Task has the same name as instance: 'varfirst' 11 | task varfirst; begin end endtask | ^~~~~~~~ diff --git a/test_regress/t/t_var_bad_sv.out b/test_regress/t/t_var_bad_sv.out index 9309d1ec0..4c9859480 100644 --- a/test_regress/t/t_var_bad_sv.out +++ b/test_regress/t/t_var_bad_sv.out @@ -2,6 +2,7 @@ : ... Suggest modify the Verilog-2001 code to avoid SV keywords, or use `begin_keywords or --language. 8 | reg do; | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_var_bad_sv.v:9:14: Unexpected 'do': 'do' is a SystemVerilog keyword misused as an identifier. 9 | mod mod (.do(bar)); | ^~ diff --git a/test_regress/t/t_var_const_bad.out b/test_regress/t/t_var_const_bad.out index a29bdef45..2e6990653 100644 --- a/test_regress/t/t_var_const_bad.out +++ b/test_regress/t/t_var_const_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 17 | five = 3'd4; | ^~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_var_dotted_dup_bad.out b/test_regress/t/t_var_dotted_dup_bad.out index 2a4eaaa17..94b48f69e 100644 --- a/test_regress/t/t_var_dotted_dup_bad.out +++ b/test_regress/t/t_var_dotted_dup_bad.out @@ -4,4 +4,5 @@ t/t_var_dotted_dup_bad.v:11:18: ... Location of original declaration 11 | eh2_ram dccm_bank (.*); | ^~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_var_dup2_bad.out b/test_regress/t/t_var_dup2_bad.out index b1ae5aea0..aabf52ab0 100644 --- a/test_regress/t/t_var_dup2_bad.out +++ b/test_regress/t/t_var_dup2_bad.out @@ -5,6 +5,7 @@ t/t_var_dup2_bad.v:10:11: ... Location of original declaration 10 | output bad_o_w, | ^~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_var_dup2_bad.v:14:9: Duplicate declaration of signal: 'bad_o_r' 14 | reg bad_o_r; | ^~~~~~~ diff --git a/test_regress/t/t_var_dup_bad.out b/test_regress/t/t_var_dup_bad.out index b029c5809..9af8a58c4 100644 --- a/test_regress/t/t_var_dup_bad.out +++ b/test_regress/t/t_var_dup_bad.out @@ -4,6 +4,7 @@ t/t_var_dup_bad.v:16:11: ... Location of original declaration 16 | reg a; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_var_dup_bad.v:20:12: Duplicate declaration of signal: 'l' 20 | integer l; | ^ diff --git a/test_regress/t/t_var_notfound_bad.out b/test_regress/t/t_var_notfound_bad.out index 826f9a68e..e144aa172 100644 --- a/test_regress/t/t_var_notfound_bad.out +++ b/test_regress/t/t_var_notfound_bad.out @@ -1,6 +1,7 @@ %Error: t/t_var_notfound_bad.v:18:7: Can't find definition of variable: 'nf' 18 | nf = 0; | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_var_notfound_bad.v:19:11: Can't find definition of 'subsubz' in dotted scope/variable: 'sub.subsubz' 19 | sub.subsubz.inss = 0; | ^~~~~~~ diff --git a/test_regress/t/t_var_port2_bad.out b/test_regress/t/t_var_port2_bad.out index 1decff5e6..a1da72d2b 100644 --- a/test_regress/t/t_var_port2_bad.out +++ b/test_regress/t/t_var_port2_bad.out @@ -1,6 +1,7 @@ %Error: t/t_var_port2_bad.v:7:11: Input/output/inout declaration not found for port: 'portwithoin' 7 | module t (portwithoin); | ^~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_var_port2_bad.v:8:10: Input/output/inout does not appear in port list: 'portwithin' 8 | input portwithin; | ^~~~~~~~~~ diff --git a/test_regress/t/t_var_port_bad.out b/test_regress/t/t_var_port_bad.out index 3965217c2..6725795d0 100644 --- a/test_regress/t/t_var_port_bad.out +++ b/test_regress/t/t_var_port_bad.out @@ -1,4 +1,5 @@ %Error: t/t_var_port_bad.v:16:13: Input/output/inout does not appear in port list: 'b' 16 | input a, b; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_var_ref_bad1.out b/test_regress/t/t_var_ref_bad1.out index 9351d8750..2861bd2de 100644 --- a/test_regress/t/t_var_ref_bad1.out +++ b/test_regress/t/t_var_ref_bad1.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 14 | (.bad_sub_ref(bad_parent)); | ^~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_var_ref_bad2.out b/test_regress/t/t_var_ref_bad2.out index 23949dfd0..70a6427a7 100644 --- a/test_regress/t/t_var_ref_bad2.out +++ b/test_regress/t/t_var_ref_bad2.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 13 | bad_const_set = 32'h4567; | ^~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_var_ref_bad2.v:23:17: Ref argument requires matching types; port 'int_ref' requires 'int' but connection is 'byte'. : ... note: In instance 't' 23 | checkset2(bad_non_int); diff --git a/test_regress/t/t_var_static_assign_decl_bad.out b/test_regress/t/t_var_static_assign_decl_bad.out index b296e1482..cd0e9d02c 100644 --- a/test_regress/t/t_var_static_assign_decl_bad.out +++ b/test_regress/t/t_var_static_assign_decl_bad.out @@ -23,6 +23,7 @@ : is dependent on automatic variable 126 | static int foo = tmp + 1; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_var_static_assign_decl_bad.v:132:26: Static variable initializer : is dependent on automatic variable 132 | static int foo = tmp + 1; diff --git a/test_regress/t/t_var_suggest_bad.out b/test_regress/t/t_var_suggest_bad.out index 19ce808cd..49b8d284f 100644 --- a/test_regress/t/t_var_suggest_bad.out +++ b/test_regress/t/t_var_suggest_bad.out @@ -2,6 +2,7 @@ : ... Suggested alternative: 'foobar' 13 | if (foobat) $stop; | ^~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_var_suggest_bad.v:14:7: Can't find definition of task/function: 'boobat' : ... Suggested alternative: 'boobar' 14 | boobat; diff --git a/test_regress/t/t_var_types_bad.out b/test_regress/t/t_var_types_bad.out index 6d32a7841..f60d10048 100644 --- a/test_regress/t/t_var_types_bad.out +++ b/test_regress/t/t_var_types_bad.out @@ -2,6 +2,7 @@ : ... note: In instance 't' 39 | d_bitz[0] = 1'b1; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_var_types_bad.v:40:15: Illegal bit or array select; type does not have a bit range, or bad dimension: data type is 'logic' : ... note: In instance 't' 40 | d_logicz[0] = 1'b1; diff --git a/test_regress/t/t_var_xref_bad.out b/test_regress/t/t_var_xref_bad.out index 7ae4ada15..c050583b3 100644 --- a/test_regress/t/t_var_xref_bad.out +++ b/test_regress/t/t_var_xref_bad.out @@ -1,4 +1,5 @@ %Error: t/t_var_xref_bad.v:11:12: Found definition of 'tsk' as a TASK but expected a scope/variable 11 | initial tsk.bad_missing_ref = 0; | ^~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_virtual_interface_method_bad.out b/test_regress/t/t_virtual_interface_method_bad.out index cb24e82c2..f226f14fa 100644 --- a/test_regress/t/t_virtual_interface_method_bad.out +++ b/test_regress/t/t_virtual_interface_method_bad.out @@ -2,4 +2,5 @@ : ... note: In instance 't' 11 | v_if.x(); | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_vlcov_flag_invalid_bad.out b/test_regress/t/t_vlcov_flag_invalid_bad.out index 54d2f3d73..308bac44a 100644 --- a/test_regress/t/t_vlcov_flag_invalid_bad.out +++ b/test_regress/t/t_vlcov_flag_invalid_bad.out @@ -1 +1,2 @@ %Error: Invalid option: --invalid-dash + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. diff --git a/test_regress/t/t_vlcov_nfound_bad.out b/test_regress/t/t_vlcov_nfound_bad.out index 6bdeb2873..92b278fc0 100644 --- a/test_regress/t/t_vlcov_nfound_bad.out +++ b/test_regress/t/t_vlcov_nfound_bad.out @@ -1 +1,2 @@ %Error: Can't read coverage file: t/t_NOT_FOUND + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. diff --git a/test_regress/t/t_vlt_match_error_1.out b/test_regress/t/t_vlt_match_error_1.out index 1971bca8e..ca1e68634 100644 --- a/test_regress/t/t_vlt_match_error_1.out +++ b/test_regress/t/t_vlt_match_error_1.out @@ -1,4 +1,5 @@ %Error: t/t_vlt_match_error.v:17:12: Importing from missing package 'hi' 17 | import hi::*; | ^~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_vlt_match_error_2.out b/test_regress/t/t_vlt_match_error_2.out index 2bf33c6cc..2eff72b9f 100644 --- a/test_regress/t/t_vlt_match_error_2.out +++ b/test_regress/t/t_vlt_match_error_2.out @@ -1,4 +1,5 @@ %Error: t/t_vlt_match_error.v:19:27: Can't find definition of variable: 'EC_ERROR' 19 | initial $readmemh("", EC_ERROR); | ^~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_vlt_syntax_bad.out b/test_regress/t/t_vlt_syntax_bad.out index 5f5cd457d..f1ad706be 100644 --- a/test_regress/t/t_vlt_syntax_bad.out +++ b/test_regress/t/t_vlt_syntax_bad.out @@ -1,6 +1,7 @@ %Error: t/t_vlt_syntax_bad.vlt:9:20: sensitivity not expected for attribute 9 | public -module "t" @(posedge clk) | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_vlt_syntax_bad.vlt:11:1: isolate_assignments only applies to signals or functions/tasks 11 | isolate_assignments -module "t" | ^~~~~~~~~~~~~~~~~~~ diff --git a/test_regress/t/t_vlt_warn_ecode_bad.out b/test_regress/t/t_vlt_warn_ecode_bad.out index 4b28e5c34..460e165a6 100644 --- a/test_regress/t/t_vlt_warn_ecode_bad.out +++ b/test_regress/t/t_vlt_warn_ecode_bad.out @@ -1,6 +1,7 @@ %Error: t/t_vlt_warn_ecode_bad.vlt:9:1: Unknown error code: 'BADRULENAME' 9 | lint_off -rule BADRULENAME -file "t/t_vlt_warn.v" | ^~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_vlt_warn_ecode_bad.vlt:10:1: Unknown error code: 'BADRULENAME' 10 | lint_on -rule BADRULENAME -file "t/t_vlt_warn.v" | ^~~~~~~ diff --git a/test_regress/t/t_wait.out b/test_regress/t/t_wait.out index 5e07cbc26..9b6b885fb 100644 --- a/test_regress/t/t_wait.out +++ b/test_regress/t/t_wait.out @@ -19,6 +19,7 @@ : ... note: In instance 't' 25 | #10; | ^ + ... For warning description see https://verilator.org/warn/STMTDLY?v=latest ... Use "/* verilator lint_off STMTDLY */" and lint_on around source to disable this message. %Warning-STMTDLY: t/t_wait.v:27:7: Ignoring delay on this statement due to --no-timing : ... note: In instance 't' diff --git a/test_regress/t/t_wait_no_triggered_bad.out b/test_regress/t/t_wait_no_triggered_bad.out index 2b4628408..3b8332e3e 100755 --- a/test_regress/t/t_wait_no_triggered_bad.out +++ b/test_regress/t/t_wait_no_triggered_bad.out @@ -3,4 +3,5 @@ : ... Suggest use 'e_my_event.triggered' 15 | wait(e_my_event); | ^~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_wire_self_bad.out b/test_regress/t/t_wire_self_bad.out index cff5ee7a9..0404b753d 100644 --- a/test_regress/t/t_wire_self_bad.out +++ b/test_regress/t/t_wire_self_bad.out @@ -1,4 +1,5 @@ %Error: t/t_wire_self_bad.v:11:16: Wire inputs its own output, creating circular logic (wire x=x) 11 | wire myself = myself; | ^ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: Exiting due to diff --git a/test_regress/t/t_with_suggest_bad.out b/test_regress/t/t_with_suggest_bad.out index 2ad8ff9de..6c557eba3 100644 --- a/test_regress/t/t_with_suggest_bad.out +++ b/test_regress/t/t_with_suggest_bad.out @@ -2,6 +2,7 @@ : ... Suggested alternative: 'item' 16 | qv = q.find with (itemm == 2); | ^~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. %Error: t/t_with_suggest_bad.v:18:37: Can't find definition of variable: 'misspelledd' : ... Suggested alternative: 'misspelled' 18 | qv = q.find(misspelled) with (misspelledd == 2);