forked from github/verilator
Add GCC10-style line number prefix when showing source text for errors.
This commit is contained in:
Wilson Snyder
parent
b44cd57866
commit
c288a7bfb9
2
Changes
2
Changes
@ -7,6 +7,8 @@ The contributors that suggested a given feature are shown in []. Thanks!
|
||||
|
||||
*** Add column numbers to errors and warnings.
|
||||
|
||||
*** Add GCC10-style line number prefix when showing source text for errors.
|
||||
|
||||
*** Add setting VM_PARALLEL_BUILDS=1 when using --output-split, #2185.
|
||||
|
||||
*** Change --quiet-exit to also suppress 'Exiting due to N errors'.
|
||||
|
||||
@ -3937,6 +3937,11 @@ Digital Equipment Corporation). Some errors or warning have a code
|
||||
attached, with meanings described below. Some errors also have a filename,
|
||||
line number and optional column number (starting at column 1 to match GCC).
|
||||
|
||||
Following an the error message, Verilator will typically show the user's
|
||||
source code corresponding to the error, prefixed by the line number and a "
|
||||
| ". Following this is typically an arrow and ~ pointing at the error on
|
||||
the source line directly above.
|
||||
|
||||
=head2 List of all warnings
|
||||
|
||||
=over 4
|
||||
|
||||
@ -373,7 +373,8 @@ string FileLine::warnOther() const {
|
||||
string FileLine::source() const {
|
||||
if (VL_UNCOVERABLE(!m_contentp)) {
|
||||
if (debug() || v3Global.opt.debugCheck()) {
|
||||
return "%Error: internal tracking of file contents failed";
|
||||
// The newline here is to work around the " <line#> | "
|
||||
return "\n%Error: internal tracking of file contents failed";
|
||||
} else {
|
||||
return "";
|
||||
}
|
||||
@ -396,10 +397,13 @@ string FileLine::warnContext(bool secondary) const {
|
||||
if (firstLineno() == lastLineno() && firstColumn()) {
|
||||
string sourceLine = prettySource();
|
||||
// Don't show super-long lines as can fill screen and unlikely to help user
|
||||
if (!sourceLine.empty()
|
||||
&& sourceLine.length() < SHOW_SOURCE_MAX_LENGTH
|
||||
&& sourceLine.length() >= (size_t)(lastColumn()-1)) {
|
||||
out += sourceLine+"\n";
|
||||
if (!sourceLine.empty() && sourceLine.length() < SHOW_SOURCE_MAX_LENGTH
|
||||
&& sourceLine.length() >= static_cast<size_t>(lastColumn() - 1)) {
|
||||
string linestr = cvtToStr(firstLineno());
|
||||
while (linestr.size() < 5)
|
||||
linestr = ' ' + linestr;
|
||||
out += linestr + " | " + sourceLine + "\n";
|
||||
out += std::string(linestr.size(), ' ') + " | ";
|
||||
out += string((firstColumn() - 1), ' ') + '^';
|
||||
// Can't use UASSERT_OBJ used in warnings already inside the error end handler
|
||||
if (lastColumn() > firstColumn()) {
|
||||
|
||||
@ -1,21 +1,21 @@
|
||||
%Error: t/t_array_backw_index_bad.v:14:19: Slice selection '[1:3]' has backward indexing versus data type's '[3:0]'
|
||||
: ... In instance t
|
||||
array_assign[1:3] = '{32'd4, 32'd3, 32'd2};
|
||||
^
|
||||
14 | array_assign[1:3] = '{32'd4, 32'd3, 32'd2};
|
||||
| ^
|
||||
%Error: t/t_array_backw_index_bad.v:15:20: Slice selection '[3:1]' has backward indexing versus data type's '[0:3]'
|
||||
: ... In instance t
|
||||
larray_assign[3:1] = '{32'd4, 32'd3, 32'd2};
|
||||
^
|
||||
15 | larray_assign[3:1] = '{32'd4, 32'd3, 32'd2};
|
||||
| ^
|
||||
%Error: t/t_array_backw_index_bad.v:17:19: Slice selection index '[4:3]' outside data type's '[3:0]'
|
||||
: ... In instance t
|
||||
array_assign[4:3] = '{32'd4, 32'd3};
|
||||
^
|
||||
17 | array_assign[4:3] = '{32'd4, 32'd3};
|
||||
| ^
|
||||
%Error: t/t_array_backw_index_bad.v:18:19: Slice selection index '[1:-1]' outside data type's '[3:0]'
|
||||
: ... In instance t
|
||||
array_assign[1:-1] = '{32'd4, 32'd3};
|
||||
^
|
||||
18 | array_assign[1:-1] = '{32'd4, 32'd3};
|
||||
| ^
|
||||
%Error: t/t_array_backw_index_bad.v:18:28: Assignment pattern missed initializing elements: -1
|
||||
: ... In instance t
|
||||
array_assign[1:-1] = '{32'd4, 32'd3};
|
||||
^~
|
||||
18 | array_assign[1:-1] = '{32'd4, 32'd3};
|
||||
| ^~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,10 +1,10 @@
|
||||
%Error: t/t_array_list_bad.v:38:25: Assignment pattern missed initializing elements: MEMBERDTYPE 't3'
|
||||
: ... In instance t
|
||||
test_out <= '{'0, '0};
|
||||
^~
|
||||
38 | test_out <= '{'0, '0};
|
||||
| ^~
|
||||
%Warning-WIDTH: 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.
|
||||
: ... In instance t
|
||||
test_out <= '{'0, '0};
|
||||
^~
|
||||
38 | test_out <= '{'0, '0};
|
||||
| ^~
|
||||
... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error: t/t_array_pattern_bad.v:24:18: Assignment pattern key 'valids' not found as member
|
||||
: ... In instance t
|
||||
valids: '1};
|
||||
^~~~~~
|
||||
24 | valids: '1};
|
||||
| ^~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,18 +1,18 @@
|
||||
-Info: t/t_assert_comp_bad.v:10:7: User compile-time info
|
||||
: ... In instance t
|
||||
$info("User compile-time info");
|
||||
^~~~~
|
||||
10 | $info("User compile-time info");
|
||||
| ^~~~~
|
||||
%Warning-USERWARN: t/t_assert_comp_bad.v:11:7: User compile-time warning
|
||||
: ... In instance t
|
||||
$warning("User compile-time warning");
|
||||
^~~~~~~~
|
||||
11 | $warning("User compile-time warning");
|
||||
| ^~~~~~~~
|
||||
... Use "/* verilator lint_off USERWARN */" and lint_on around source to disable this message.
|
||||
%Warning-USERWARN: t/t_assert_comp_bad.v:12:7: 1
|
||||
: ... In instance t
|
||||
$warning(1);
|
||||
^~~~~~~~
|
||||
12 | $warning(1);
|
||||
| ^~~~~~~~
|
||||
%Warning-USERERROR: t/t_assert_comp_bad.v:13:7: User compile-time error
|
||||
: ... In instance t
|
||||
$error("User compile-time error");
|
||||
^~~~~~
|
||||
13 | $error("User compile-time error");
|
||||
| ^~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,7 +1,7 @@
|
||||
%Error: t/t_assert_dup_bad.v:17:4: Duplicate declaration of block: 'covlabel'
|
||||
covlabel:
|
||||
^~~~~~~~
|
||||
17 | covlabel:
|
||||
| ^~~~~~~~
|
||||
t/t_assert_dup_bad.v:15:4: ... Location of original declaration
|
||||
covlabel:
|
||||
^~~~~~~~
|
||||
15 | covlabel:
|
||||
| ^~~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,37 +1,37 @@
|
||||
%Error: t/t_assoc_meth_bad.v:14:13: The 1 arguments passed to .num method does not match its requiring 0 arguments
|
||||
: ... In instance t
|
||||
v = a.num("badarg");
|
||||
^~~
|
||||
14 | v = a.num("badarg");
|
||||
| ^~~
|
||||
%Error: t/t_assoc_meth_bad.v:15:13: The 1 arguments passed to .size method does not match its requiring 0 arguments
|
||||
: ... In instance t
|
||||
v = a.size("badarg");
|
||||
^~~~
|
||||
15 | v = a.size("badarg");
|
||||
| ^~~~
|
||||
%Error: t/t_assoc_meth_bad.v:16:13: The 0 arguments passed to .exists method does not match its requiring 1 arguments
|
||||
: ... In instance t
|
||||
v = a.exists();
|
||||
^~~~~~
|
||||
16 | v = a.exists();
|
||||
| ^~~~~~
|
||||
%Error: t/t_assoc_meth_bad.v:17:13: The 2 arguments passed to .exists method does not match its requiring 1 arguments
|
||||
: ... In instance t
|
||||
v = a.exists(k, "bad2");
|
||||
^~~~~~
|
||||
17 | v = a.exists(k, "bad2");
|
||||
| ^~~~~~
|
||||
%Error: t/t_assoc_meth_bad.v:18:13: The 0 arguments passed to .first method does not match its requiring 1 arguments
|
||||
: ... In instance t
|
||||
v = a.first();
|
||||
^~~~~
|
||||
18 | v = a.first();
|
||||
| ^~~~~
|
||||
%Error: t/t_assoc_meth_bad.v:19:13: The 2 arguments passed to .next method does not match its requiring 1 arguments
|
||||
: ... In instance t
|
||||
v = a.next(k, "bad2");
|
||||
^~~~
|
||||
19 | v = a.next(k, "bad2");
|
||||
| ^~~~
|
||||
%Error: t/t_assoc_meth_bad.v:20:13: The 0 arguments passed to .last method does not match its requiring 1 arguments
|
||||
: ... In instance t
|
||||
v = a.last();
|
||||
^~~~
|
||||
20 | v = a.last();
|
||||
| ^~~~
|
||||
%Error: t/t_assoc_meth_bad.v:21:13: The 2 arguments passed to .prev method does not match its requiring 1 arguments
|
||||
: ... In instance t
|
||||
v = a.prev(k, "bad2");
|
||||
^~~~
|
||||
21 | v = a.prev(k, "bad2");
|
||||
| ^~~~
|
||||
%Error: t/t_assoc_meth_bad.v:22:9: The 2 arguments passed to .delete method does not match its requiring 0 to 1 arguments
|
||||
: ... In instance t
|
||||
a.delete(k, "bad2");
|
||||
^~~~~~
|
||||
22 | a.delete(k, "bad2");
|
||||
| ^~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error: t/t_assoc_pattern_unsup.v:19:11: Unsupported: Assignment pattern applies against non struct/union data type: 'string[string]'
|
||||
: ... In instance t
|
||||
a = '{ "f": "fooed", "b": "bared", default: "defaulted" };
|
||||
^~
|
||||
19 | a = '{ "f": "fooed", "b": "bared", default: "defaulted" };
|
||||
| ^~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error: t/t_bitsel_const_bad.v:21:16: Illegal bit or array select; type does not have a bit range, or bad dimension: data type is 'logic'
|
||||
: ... In instance t
|
||||
assign a = b[0];
|
||||
^
|
||||
21 | assign a = b[0];
|
||||
| ^
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error: t/t_bitsel_wire_array_bad.v:21:16: Illegal assignment of constant to unpacked array
|
||||
: ... In instance t
|
||||
assign b = a[0];
|
||||
^
|
||||
21 | assign b = a[0];
|
||||
| ^
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
%Error: t/t_case_default_bad.v:16:9: Multiple default statements in case statement.
|
||||
default: $stop;
|
||||
^~~~~~~
|
||||
16 | default: $stop;
|
||||
| ^~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error: t/t_case_genx_bad.v:14:9: Use of x/? constant in generate case statement, (no such thing as 'generate casez')
|
||||
: ... In instance t
|
||||
32'b1xxx: initial begin end
|
||||
^~~~~~~~
|
||||
14 | 32'b1xxx: initial begin end
|
||||
| ^~~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,8 +1,8 @@
|
||||
%Warning-CASEX: t/t_case_x_bad.v:14:7: Suggest casez (with ?'s) in place of casex (with X's)
|
||||
casex (value)
|
||||
^~~~~
|
||||
14 | casex (value)
|
||||
| ^~~~~
|
||||
... Use "/* verilator lint_off CASEX */" and lint_on around source to disable this message.
|
||||
%Warning-CASEWITHX: t/t_case_x_bad.v:19:9: Use of x/? constant in case statement, (perhaps intended casex/casez)
|
||||
4'b1xxx: $stop;
|
||||
^~~~~~~
|
||||
19 | 4'b1xxx: $stop;
|
||||
| ^~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Warning-CASEWITHX: t/t_case_zx_bad.v:16:9: Use of x constant in casez statement, (perhaps intended ?/z in constant)
|
||||
4'b1xxx: $stop;
|
||||
^~~~~~~
|
||||
16 | 4'b1xxx: $stop;
|
||||
| ^~~~~~~
|
||||
... Use "/* verilator lint_off CASEWITHX */" and lint_on around source to disable this message.
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,12 +1,12 @@
|
||||
%Warning-CDCRSTLOGIC: t/t_cdc_async_bad.v:28:21: Logic in path that feeds async reset, via signal: 't.rst2_bad_n'
|
||||
wire rst2_bad_n = rst0_n | rst1_n;
|
||||
^
|
||||
28 | wire rst2_bad_n = rst0_n | rst1_n;
|
||||
| ^
|
||||
... Use "/* verilator lint_off CDCRSTLOGIC */" and lint_on around source to disable this message.
|
||||
%Warning-CDCRSTLOGIC: See details in obj_vlt/t_cdc_async_bad/Vt_cdc_async_bad__cdc.txt
|
||||
%Warning-CDCRSTLOGIC: t/t_cdc_async_bad.v:53:21: Logic in path that feeds async reset, via signal: 't.rst6a_bad_n'
|
||||
wire rst6a_bad_n = rst6_bad_n ^ $c1("0");
|
||||
^
|
||||
53 | wire rst6a_bad_n = rst6_bad_n ^ $c1("0");
|
||||
| ^
|
||||
%Warning-CDCRSTLOGIC: t/t_cdc_async_bad.v:54:21: Logic in path that feeds async reset, via signal: 't.rst6b_bad_n'
|
||||
wire rst6b_bad_n = rst6_bad_n ^ $c1("1");
|
||||
^
|
||||
54 | wire rst6b_bad_n = rst6_bad_n ^ $c1("1");
|
||||
| ^
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,28 +1,28 @@
|
||||
%Error: t/t_class_unsup_bad.v:7:1: Unsupported: virtual interface
|
||||
virtual interface vi_t vi;
|
||||
^~~~~~~
|
||||
7 | virtual interface vi_t vi;
|
||||
| ^~~~~~~
|
||||
%Error: t/t_class_unsup_bad.v:8:1: Unsupported: virtual data type
|
||||
virtual vi_t vi2;
|
||||
^~~~~~~
|
||||
8 | virtual vi_t vi2;
|
||||
| ^~~~~~~
|
||||
%Error: t/t_class_unsup_bad.v:13:1: Unsupported: classes
|
||||
class C #(parameter P=1);
|
||||
^~~~~
|
||||
13 | class C #(parameter P=1);
|
||||
| ^~~~~
|
||||
%Error: t/t_class_unsup_bad.v:14:26: Unsupported: class parameters
|
||||
localparam LOCPAR = 10;
|
||||
^
|
||||
14 | localparam LOCPAR = 10;
|
||||
| ^
|
||||
%Error: t/t_class_unsup_bad.v:25:4: Unsupported: virtual class member qualifier
|
||||
virtual function void func_virtual; endfunction
|
||||
^~~~~~~
|
||||
25 | virtual function void func_virtual; endfunction
|
||||
| ^~~~~~~
|
||||
%Error: t/t_class_unsup_bad.v:26:4: Unsupported: pure virtual class method
|
||||
pure virtual function void func_pure_virtual; endfunction
|
||||
^~~~
|
||||
26 | pure virtual function void func_pure_virtual; endfunction
|
||||
| ^~~~
|
||||
%Error: t/t_class_unsup_bad.v:26:50: syntax error, unexpected endfunction
|
||||
pure virtual function void func_pure_virtual; endfunction
|
||||
^~~~~~~~~~~
|
||||
26 | pure virtual function void func_pure_virtual; endfunction
|
||||
| ^~~~~~~~~~~
|
||||
%Error: t/t_class_unsup_bad.v:32:1: Unsupported: virtual classes
|
||||
virtual class VC;
|
||||
^~~~~~~
|
||||
32 | virtual class VC;
|
||||
| ^~~~~~~
|
||||
%Error: t/t_class_unsup_bad.v:32:9: Unsupported: classes
|
||||
virtual class VC;
|
||||
^~~~~
|
||||
32 | virtual class VC;
|
||||
| ^~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Warning-DEPRECATED: t/t_clk_first_deprecated.v:12:14: sc_clock is deprecated and will be removed
|
||||
input clk /*verilator sc_clock*/ ;
|
||||
^~~~~~~~~~~~~~~~~~~~~~
|
||||
12 | input clk /*verilator sc_clock*/ ;
|
||||
| ^~~~~~~~~~~~~~~~~~~~~~
|
||||
... Use "/* verilator lint_off DEPRECATED */" and lint_on around source to disable this message.
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,6 +1,6 @@
|
||||
%Warning-CLKDATA: t/t_clk_scope_bad.v:36:12: Clock used as data (on rhs of assignment) in sequential block 'clk'
|
||||
: ... In instance t.p2
|
||||
q <= d;
|
||||
^
|
||||
36 | q <= d;
|
||||
| ^
|
||||
... Use "/* verilator lint_off CLKDATA */" and lint_on around source to disable this message.
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,6 +1,6 @@
|
||||
%Warning-WIDTHCONCAT: t/t_concat_large_bad.v:9:29: More than a 8k bit replication is probably wrong: 32768
|
||||
: ... In instance t
|
||||
wire [32767:0] a = {32768{1'b1}};
|
||||
^
|
||||
9 | wire [32767:0] a = {32768{1'b1}};
|
||||
| ^
|
||||
... Use "/* verilator lint_off WIDTHCONCAT */" and lint_on around source to disable this message.
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,14 +1,14 @@
|
||||
%Error: t/t_concat_link_bad.v:13:20: Syntax Error: Not expecting REPLICATE under a DOT in dotted expression
|
||||
assign bar_s = {foo_s, foo_s}.f1;
|
||||
^
|
||||
13 | assign bar_s = {foo_s, foo_s}.f1;
|
||||
| ^
|
||||
%Error: t/t_concat_link_bad.v:13:26: Syntax Error: Not expecting CONCAT under a REPLICATE in dotted expression
|
||||
assign bar_s = {foo_s, foo_s}.f1;
|
||||
^
|
||||
13 | assign bar_s = {foo_s, foo_s}.f1;
|
||||
| ^
|
||||
%Error: t/t_concat_link_bad.v:13:20: Syntax Error: Not expecting CONST under a REPLICATE in dotted expression
|
||||
assign bar_s = {foo_s, foo_s}.f1;
|
||||
^
|
||||
13 | assign bar_s = {foo_s, foo_s}.f1;
|
||||
| ^
|
||||
%Warning-IMPLICIT: t/t_concat_link_bad.v:13:12: Signal definition not found, creating implicitly: 'bar_s'
|
||||
assign bar_s = {foo_s, foo_s}.f1;
|
||||
^~~~~
|
||||
13 | assign bar_s = {foo_s, foo_s}.f1;
|
||||
| ^~~~~
|
||||
... Use "/* verilator lint_off IMPLICIT */" and lint_on around source to disable this message.
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,14 +1,14 @@
|
||||
%Warning-WIDTH: t/t_const_bad.v:13:39: Unsized constant being X/Z extended to 68 bits: ?32?bxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
|
||||
: ... In instance t
|
||||
if (68'hx_xxxxxxxx_xxxxxxxx !== 'dX) $stop;
|
||||
^~~
|
||||
13 | if (68'hx_xxxxxxxx_xxxxxxxx !== 'dX) $stop;
|
||||
| ^~~
|
||||
... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.
|
||||
%Warning-WIDTH: t/t_const_bad.v:14:39: Unsized constant being X/Z extended to 68 bits: ?32?bzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz
|
||||
: ... In instance t
|
||||
if (68'hz_zzzzzzzz_zzzzzzzz !== 'dZ) $stop;
|
||||
^~~
|
||||
14 | if (68'hz_zzzzzzzz_zzzzzzzz !== 'dZ) $stop;
|
||||
| ^~~
|
||||
%Warning-WIDTH: t/t_const_bad.v:15:39: Unsized constant being X/Z extended to 68 bits: ?32?bzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzzz
|
||||
: ... In instance t
|
||||
if (68'h?_????????_???????? !== 'd?) $stop;
|
||||
^~~
|
||||
15 | if (68'h?_????????_???????? !== 'd?) $stop;
|
||||
| ^~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
%Error: t/t_const_dec_mixed_bad.v:9:30: Mixing X/Z/? with digits not legal in decimal constant: x_1
|
||||
parameter [200:0] MIXED = 32'dx_1;
|
||||
^~~~~~~
|
||||
9 | parameter [200:0] MIXED = 32'dx_1;
|
||||
| ^~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,16 +1,16 @@
|
||||
%Error: t/t_const_overflow_bad.v:9:34: Too many digits for 94 bit number: 94'd123456789012345678901234567890
|
||||
parameter [200:0] TOO_SMALL = 94'd123456789012345678901234567890;
|
||||
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
||||
9 | parameter [200:0] TOO_SMALL = 94'd123456789012345678901234567890;
|
||||
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
||||
%Error: t/t_const_overflow_bad.v:11:31: Too many digits for 8 bit number: 8'habc
|
||||
parameter [200:0] SMALLH = 8'habc;
|
||||
^~~~~~
|
||||
11 | parameter [200:0] SMALLH = 8'habc;
|
||||
| ^~~~~~
|
||||
%Error: t/t_const_overflow_bad.v:12:31: Too many digits for 6 bit number: 6'o1234
|
||||
parameter [200:0] SMALLO = 6'o1234;
|
||||
^~~~~~~
|
||||
12 | parameter [200:0] SMALLO = 6'o1234;
|
||||
| ^~~~~~~
|
||||
%Error: t/t_const_overflow_bad.v:13:31: Too many digits for 3 bit number: 3'b1111
|
||||
parameter [200:0] SMALLB = 3'b1111;
|
||||
^~~~~~~
|
||||
13 | parameter [200:0] SMALLB = 3'b1111;
|
||||
| ^~~~~~~
|
||||
%Error: t/t_const_overflow_bad.v:19:35: Too many digits for 129 bit number: 129'hdeadbeefc001f00ddeadbeefc001f00ddeadbeefc001f00ddeadbeefc001f00d
|
||||
parameter [128:0] ALSO_SMALL = 129'hdeadbeefc001f00ddeadbeefc001f00ddeadbeefc001f00ddeadbeefc001f00d;
|
||||
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
||||
19 | parameter [128:0] ALSO_SMALL = 129'hdeadbeefc001f00ddeadbeefc001f00ddeadbeefc001f00ddeadbeefc001f00d;
|
||||
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,14 +1,14 @@
|
||||
%Warning-ASSIGNDLY: t/t_delay.v:20:11: Unsupported: Ignoring delay on this assignment/primitive.
|
||||
assign #(1.2000000000000000) dly1 = dly0 + 32'h1;
|
||||
^
|
||||
20 | assign #(1.2000000000000000) dly1 = dly0 + 32'h1;
|
||||
| ^
|
||||
... Use "/* verilator lint_off ASSIGNDLY */" and lint_on around source to disable this message.
|
||||
%Warning-ASSIGNDLY: t/t_delay.v:25:18: Unsupported: Ignoring delay on this assignment/primitive.
|
||||
dly0 <= #0 32'h11;
|
||||
^
|
||||
25 | dly0 <= #0 32'h11;
|
||||
| ^
|
||||
%Warning-ASSIGNDLY: t/t_delay.v:28:18: Unsupported: Ignoring delay on this assignment/primitive.
|
||||
dly0 <= #0.12 dly0 + 32'h12;
|
||||
^
|
||||
28 | dly0 <= #0.12 dly0 + 32'h12;
|
||||
| ^
|
||||
%Warning-STMTDLY: t/t_delay.v:34:10: Unsupported: Ignoring delay on this delayed statement.
|
||||
#100 $finish;
|
||||
^
|
||||
34 | #100 $finish;
|
||||
| ^
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,7 +1,7 @@
|
||||
%Error: t/t_display_bad.v:11:7: Missing arguments for $display-like format
|
||||
$display("%x");
|
||||
^~~~~~~~
|
||||
11 | $display("%x");
|
||||
| ^~~~~~~~
|
||||
%Error: t/t_display_bad.v:13:7: Unknown $display-like format code: '%q'
|
||||
$display("%q");
|
||||
^~~~~~~~
|
||||
13 | $display("%q");
|
||||
| ^~~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
%Error: t/t_display_esc_bad.v:9:16: Unknown escape sequence: \x
|
||||
$display("\x\y\z");
|
||||
^~~~~~~~
|
||||
9 | $display("\x\y\z");
|
||||
| ^~~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
%Error: t/t_dpi_2exp_bad.v:12:45: Function was already DPI Exported, duplicate not allowed: 'dpix_twice'
|
||||
export "DPI-C" dpix_t_int_renamed = task dpix_twice;
|
||||
^~~~~~~~~~
|
||||
12 | export "DPI-C" dpix_t_int_renamed = task dpix_twice;
|
||||
| ^~~~~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,8 +1,8 @@
|
||||
%Error: t/t_dpi_dup_bad.v:13:51: Duplicate declaration of DPI function with different formal arguments: 't.oth_f_int2'
|
||||
import "DPI-C" pure dpii_fa_bit = function int oth_f_int2(input int i, input int bad);
|
||||
^~~~~~~~~~
|
||||
13 | import "DPI-C" pure dpii_fa_bit = function int oth_f_int2(input int i, input int bad);
|
||||
| ^~~~~~~~~~
|
||||
: ... New prototype: pure int dpii_fa_bit (int, int)
|
||||
t/t_dpi_dup_bad.v:12:47: ... Original prototype: int dpii_fa_bit (int)
|
||||
import "DPI-C" dpii_fa_bit = function int oth_f_int1(input int i);
|
||||
^~~~~~~~~~
|
||||
12 | import "DPI-C" dpii_fa_bit = function int oth_f_int1(input int i);
|
||||
| ^~~~~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
%Error: t/t_dpi_exp_bad.v:12:24: DPI functions cannot return > 32 bits or four-state; use a two-state type or task instead: 'dpix_f_bit48__Vfuncrtn'
|
||||
function bit [47:0] dpix_f_bit48(bit [47:0] i); dpix_f_bit48 = ~i; endfunction
|
||||
^~~~~~~~~~~~
|
||||
12 | function bit [47:0] dpix_f_bit48(bit [47:0] i); dpix_f_bit48 = ~i; endfunction
|
||||
| ^~~~~~~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
%Error: t/t_dpi_logic_bad.v:12:54: DPI function may not return type BASICDTYPE 'logic' (IEEE 1800-2017 35.5.5)
|
||||
import "DPI-C" dpii_fa_bit = function logic [2:0] oth_f_int1(input time i);
|
||||
^~~~~~~~~~
|
||||
12 | import "DPI-C" dpii_fa_bit = function logic [2:0] oth_f_int1(input time i);
|
||||
| ^~~~~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
%Error: t/t_dpi_name_bad.v:12:32: DPI function has illegal characters in C identifier name: 'badly.named'
|
||||
import "DPI-C" function int \badly.named (int i);
|
||||
^~~~~~~~~~~~
|
||||
12 | import "DPI-C" function int \badly.named (int i);
|
||||
| ^~~~~~~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,6 +1,6 @@
|
||||
%Warning-WIDTH: t/t_dynarray_bad.v:15:11: Operator NEWDYNAMIC expects 32 bits on the new() size, but new() size's VARREF 's' generates 64 bits.
|
||||
: ... In instance t
|
||||
a = new [s];
|
||||
^~~
|
||||
15 | a = new [s];
|
||||
| ^~~
|
||||
... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.
|
||||
%Error: Internal Error: ../V3Number.cpp:#: Number operation called with non-logic (double or string) argument: '"str""
|
||||
|
||||
@ -1,8 +1,8 @@
|
||||
%Warning-VARHIDDEN: t/t_enum_bad_hide.v:11:19: Declaration of enum value hides declaration in upper scope: HIDE_VALUE
|
||||
typedef enum { HIDE_VALUE = 0 } hide_enum_t;
|
||||
^~~~~~~~~~
|
||||
11 | typedef enum { HIDE_VALUE = 0 } hide_enum_t;
|
||||
| ^~~~~~~~~~
|
||||
t/t_enum_bad_hide.v:7:16: ... Location of original declaration
|
||||
typedef enum { HIDE_VALUE = 0 } hide_enum_t;
|
||||
^~~~~~~~~~
|
||||
11 | typedef enum { HIDE_VALUE = 0 } hide_enum_t;
|
||||
| ^~~~~~~~~~
|
||||
... Use "/* verilator lint_off VARHIDDEN */" and lint_on around source to disable this message.
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,8 +1,8 @@
|
||||
%Error: t/t_enum_overlap_bad.v:12:11: Overlapping enumeration value: 'e1b'
|
||||
: ... In instance t
|
||||
e1b=1
|
||||
^~~
|
||||
12 | e1b=1
|
||||
| ^~~
|
||||
t/t_enum_overlap_bad.v:10:11: ... Location of original declaration
|
||||
e1,
|
||||
^~
|
||||
10 | e1,
|
||||
| ^~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,10 +1,10 @@
|
||||
%Error: t/t_enum_recurse_bad.v:7:9: Recursive enum value: 'u'
|
||||
enum {u=u} e_t;
|
||||
^
|
||||
7 | enum {u=u} e_t;
|
||||
| ^
|
||||
%Error: t/t_enum_recurse_bad.v:7:9: Expecting expression to be constant, but variable isn't const: 'u'
|
||||
enum {u=u} e_t;
|
||||
^
|
||||
7 | enum {u=u} e_t;
|
||||
| ^
|
||||
%Error: t/t_enum_recurse_bad.v:7:9: Enum value isn't a constant
|
||||
enum {u=u} e_t;
|
||||
^
|
||||
7 | enum {u=u} e_t;
|
||||
| ^
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error: Internal Error: t/t_enum_type_methods_bad.v:24:14: ../V3Width.cpp:#: Unsupported: enum next/prev with non-const argument
|
||||
: ... In instance t
|
||||
e.next(increment);
|
||||
^~~~~~~~~
|
||||
24 | e.next(increment);
|
||||
| ^~~~~~~~~
|
||||
... See the manual and https://verilator.org for more assistance.
|
||||
|
||||
@ -1,9 +1,9 @@
|
||||
%Error: t/t_enum_x_bad.v:9:21: Enum value with X/Zs cannot be assigned to non-fourstate type (IEEE 1800-2017 6.19)
|
||||
: ... In instance t
|
||||
enum bit [1:0] { BADX = 2'b1x } BAD1;
|
||||
^~~~
|
||||
9 | enum bit [1:0] { BADX = 2'b1x } BAD1;
|
||||
| ^~~~
|
||||
%Error: t/t_enum_x_bad.v:12:23: Enum value that is unassigned cannot follow value with X/Zs (IEEE 1800-2017 6.19)
|
||||
: ... In instance t
|
||||
e1
|
||||
^~
|
||||
12 | e1
|
||||
| ^~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,13 +1,13 @@
|
||||
%Error: t/t_flag_errorlimit_bad.v:10:8: Duplicate declaration of signal: 'u1'
|
||||
int u1;
|
||||
^~
|
||||
10 | int u1;
|
||||
| ^~
|
||||
t/t_flag_errorlimit_bad.v:9:8: ... Location of original declaration
|
||||
int u1;
|
||||
^~
|
||||
9 | int u1;
|
||||
| ^~
|
||||
%Error: t/t_flag_errorlimit_bad.v:11:8: Duplicate declaration of signal: 'u1'
|
||||
int u1;
|
||||
^~
|
||||
11 | int u1;
|
||||
| ^~
|
||||
t/t_flag_errorlimit_bad.v:9:8: ... Location of original declaration
|
||||
int u1;
|
||||
^~
|
||||
9 | int u1;
|
||||
| ^~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -2,12 +2,12 @@
|
||||
: ... Suggest see manual; fix the duplicates, or use --top-module to select top.
|
||||
... Use "/* verilator lint_off MULTITOP */" and lint_on around source to disable this message.
|
||||
: ... Top module 'a'
|
||||
module a;
|
||||
^
|
||||
7 | module a;
|
||||
| ^
|
||||
: ... Top module 'a2'
|
||||
module a2;
|
||||
^~
|
||||
15 | module a2;
|
||||
| ^~
|
||||
: ... Top module 'b'
|
||||
module b;
|
||||
^
|
||||
22 | module b;
|
||||
| ^
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,6 +1,6 @@
|
||||
%Warning-WIDTH: t/t_flag_werror.v:10:19: Operator ASSIGNW expects 4 bits on the Assign RHS, but Assign RHS's CONST '6'h2e' generates 6 bits.
|
||||
: ... In instance t
|
||||
wire [3:0] foo = 6'h2e;
|
||||
^
|
||||
10 | wire [3:0] foo = 6'h2e;
|
||||
| ^
|
||||
... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error-WIDTH: t/t_flag_werror.v:10:19: Operator ASSIGNW expects 4 bits on the Assign RHS, but Assign RHS's CONST '6'h2e' generates 6 bits.
|
||||
: ... In instance t
|
||||
wire [3:0] foo = 6'h2e;
|
||||
^
|
||||
10 | wire [3:0] foo = 6'h2e;
|
||||
| ^
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Warning-WIDTH: t/t_flag_wfatal.v:10:19: Operator ASSIGNW expects 4 bits on the Assign RHS, but Assign RHS's CONST '6'h2e' generates 6 bits.
|
||||
: ... In instance t
|
||||
wire [3:0] foo = 6'h2e;
|
||||
^
|
||||
10 | wire [3:0] foo = 6'h2e;
|
||||
| ^
|
||||
... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
%Error: t/t_flag_wpedantic_bad.v:8:14: syntax error, unexpected global, expecting IDENTIFIER or '=' or do or final
|
||||
reg global;
|
||||
^
|
||||
8 | reg global;
|
||||
| ^
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,28 +1,28 @@
|
||||
%Error: t/t_for_comma_bad.v:14:16: Unsupported: for loop step after the first comma
|
||||
for (; ; a=a+1, b=b+1) ;
|
||||
^
|
||||
14 | for (; ; a=a+1, b=b+1) ;
|
||||
| ^
|
||||
%Error: t/t_for_comma_bad.v:17:19: Unsupported: for loop step after the first comma
|
||||
for (; a<1; a=a+1, b=b+1) ;
|
||||
^
|
||||
17 | for (; a<1; a=a+1, b=b+1) ;
|
||||
| ^
|
||||
%Error: t/t_for_comma_bad.v:20:22: Unsupported: for loop step after the first comma
|
||||
for (a=0; a<1; a=a+1, b=b+1) ;
|
||||
^
|
||||
20 | for (a=0; a<1; a=a+1, b=b+1) ;
|
||||
| ^
|
||||
%Error: t/t_for_comma_bad.v:23:30: Unsupported: for loop step after the first comma
|
||||
for (integer a=0; a<1; a=a+1, b=b+1) ;
|
||||
^
|
||||
23 | for (integer a=0; a<1; a=a+1, b=b+1) ;
|
||||
| ^
|
||||
%Error: t/t_for_comma_bad.v:26:34: Unsupported: for loop step after the first comma
|
||||
for (var integer a=0; a<1; a=a+1, b=b+1) ;
|
||||
^
|
||||
26 | for (var integer a=0; a<1; a=a+1, b=b+1) ;
|
||||
| ^
|
||||
%Error: t/t_for_comma_bad.v:27:23: Unsupported: for loop initialization after the first comma
|
||||
for (integer a=0, integer b=0; a<1; ) ;
|
||||
^
|
||||
27 | for (integer a=0, integer b=0; a<1; ) ;
|
||||
| ^
|
||||
%Error: t/t_for_comma_bad.v:28:23: Unsupported: for loop initialization after the first comma
|
||||
for (integer a=0, integer b=0; a<1; a=a+1) ;
|
||||
^
|
||||
28 | for (integer a=0, integer b=0; a<1; a=a+1) ;
|
||||
| ^
|
||||
%Error: t/t_for_comma_bad.v:29:23: Unsupported: for loop initialization after the first comma
|
||||
for (integer a=0, integer b=0; a<1; a=a+1, b=b+1) ;
|
||||
^
|
||||
29 | for (integer a=0, integer b=0; a<1; a=a+1, b=b+1) ;
|
||||
| ^
|
||||
%Error: t/t_for_comma_bad.v:29:43: Unsupported: for loop step after the first comma
|
||||
for (integer a=0, integer b=0; a<1; a=a+1, b=b+1) ;
|
||||
^
|
||||
29 | for (integer a=0, integer b=0; a<1; a=a+1, b=b+1) ;
|
||||
| ^
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,29 +1,29 @@
|
||||
%Error: t/t_func_bad.v:9:11: Missing argument on non-defaulted argument 'from2' in function call to FUNC 'add'
|
||||
: ... In instance t
|
||||
if (add(3'd1) != 0) $stop;
|
||||
^~~
|
||||
9 | if (add(3'd1) != 0) $stop;
|
||||
| ^~~
|
||||
%Error: t/t_func_bad.v:10:27: Too many arguments in function call to FUNC 'add'
|
||||
: ... In instance t
|
||||
if (add(3'd1, 3'd2, 3'd3) != 0) $stop;
|
||||
^~~~
|
||||
10 | if (add(3'd1, 3'd2, 3'd3) != 0) $stop;
|
||||
| ^~~~
|
||||
%Error: t/t_func_bad.v:11:7: Missing argument on non-defaulted argument 'y' in function call to TASK 'x'
|
||||
: ... In instance t
|
||||
x;
|
||||
^
|
||||
11 | x;
|
||||
| ^
|
||||
%Error: t/t_func_bad.v:11:7: Unsupported: Function output argument 'y' requires 1 bits, but connection's CONST '?32?h0' generates 32 bits.
|
||||
: ... In instance t
|
||||
x;
|
||||
^
|
||||
11 | x;
|
||||
| ^
|
||||
%Error: t/t_func_bad.v:14:17: No such argument 'no_such' in function call to FUNC 'f'
|
||||
: ... In instance t
|
||||
f(.j(1), .no_such(2));
|
||||
^~~~~~~
|
||||
14 | f(.j(1), .no_such(2));
|
||||
| ^~~~~~~
|
||||
%Error: t/t_func_bad.v:15:19: Duplicate argument 'dup' in function call to FUNC 'f'
|
||||
: ... In instance t
|
||||
f(.dup(1), .dup(3));
|
||||
^~~
|
||||
15 | f(.dup(1), .dup(3));
|
||||
| ^~~
|
||||
%Error: t/t_func_bad.v:16:13: Too many arguments in function call to FUNC 'f'
|
||||
: ... In instance t
|
||||
f(1,2,3);
|
||||
^
|
||||
16 | f(1,2,3);
|
||||
| ^
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error: t/t_func_bad2.v:8:13: Unsupported: Recursive function or task call
|
||||
: ... In instance t
|
||||
function recurse;
|
||||
^~~~~~~
|
||||
8 | function recurse;
|
||||
| ^~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,10 +1,10 @@
|
||||
%Warning-WIDTH: t/t_func_bad_width.v:13:13: Operator FUNCREF 'MUX' expects 40 bits on the Function Argument, but Function Argument's VARREF 'in' generates 39 bits.
|
||||
: ... In instance t
|
||||
out = MUX (in);
|
||||
^~~
|
||||
13 | out = MUX (in);
|
||||
| ^~~
|
||||
... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.
|
||||
%Warning-WIDTH: t/t_func_bad_width.v:13:11: Operator ASSIGN expects 4 bits on the Assign RHS, but Assign RHS's FUNCREF 'MUX' generates 32 bits.
|
||||
: ... In instance t
|
||||
out = MUX (in);
|
||||
^
|
||||
13 | out = MUX (in);
|
||||
| ^
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -10,6 +10,6 @@
|
||||
a = ?32?h7
|
||||
b = ?32?h8
|
||||
c = ?32?h9
|
||||
localparam SOMEP = f_add2(A, B, 9);
|
||||
^~~~~~
|
||||
22 | localparam SOMEP = f_add2(A, B, 9);
|
||||
| ^~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,6 +1,6 @@
|
||||
%Warning-WIDTHCONCAT: t/t_func_const3_bad.v:12:28: More than a 8k bit replication is probably wrong: 9000
|
||||
: ... In instance t.b9k.c9
|
||||
localparam SOMEP = {BITS{1'b0}};
|
||||
^
|
||||
12 | localparam SOMEP = {BITS{1'b0}};
|
||||
| ^
|
||||
... Use "/* verilator lint_off WIDTHCONCAT */" and lint_on around source to disable this message.
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,36 +1,36 @@
|
||||
%Error: t/t_func_const_bad.v:12:20: Expecting expression to be constant, but can't determine constant for FUNCREF 'f_bad_output'
|
||||
: ... In instance t
|
||||
t/t_func_const_bad.v:13:64: ... Location of non-constant VAR 'o': Language violation: Outputs/refs not allowed in constant functions
|
||||
localparam B1 = f_bad_output(1,2);
|
||||
^~~~~~~~~~~~
|
||||
12 | localparam B1 = f_bad_output(1,2);
|
||||
| ^~~~~~~~~~~~
|
||||
%Error: t/t_func_const_bad.v:21:20: Expecting expression to be constant, but can't determine constant for FUNCREF 'f_bad_dotted'
|
||||
: ... 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
|
||||
t/t_func_const_bad.v:21:20: ... Called from f_bad_dotted() with parameters:
|
||||
a = ?32?h2
|
||||
localparam B2 = f_bad_dotted(2);
|
||||
^~~~~~~~~~~~
|
||||
21 | localparam B2 = f_bad_dotted(2);
|
||||
| ^~~~~~~~~~~~
|
||||
%Error: t/t_func_const_bad.v:28:20: Expecting expression to be constant, but can't determine constant for FUNCREF 'f_bad_nonparam'
|
||||
: ... In instance t
|
||||
t/t_func_const_bad.v:30:24: ... Location of non-constant VARREF 'modvar': Language violation: reference to non-function-local variable
|
||||
t/t_func_const_bad.v:28:20: ... Called from f_bad_nonparam() with parameters:
|
||||
a = ?32?h3
|
||||
localparam B3 = f_bad_nonparam(3);
|
||||
^~~~~~~~~~~~~~
|
||||
28 | localparam B3 = f_bad_nonparam(3);
|
||||
| ^~~~~~~~~~~~~~
|
||||
%Error: t/t_func_const_bad.v:36:20: Expecting expression to be constant, but can't determine constant for FUNCREF 'f_bad_infinite'
|
||||
: ... In instance t
|
||||
t/t_func_const_bad.v:38:7: ... Location of non-constant WHILE: Loop unrolling took too long; probably this is an infinite loop, or set --unroll-count above 1024
|
||||
t/t_func_const_bad.v:36:20: ... Called from f_bad_infinite() with parameters:
|
||||
a = ?32?h3
|
||||
localparam B4 = f_bad_infinite(3);
|
||||
^~~~~~~~~~~~~~
|
||||
36 | localparam B4 = f_bad_infinite(3);
|
||||
| ^~~~~~~~~~~~~~
|
||||
%Error: t/t_func_const_bad.v:44:23: Expecting expression to be constant, but can't determine constant for FUNCREF 'f_bad_stop'
|
||||
: ... In instance t
|
||||
t/t_func_const_bad.v:46:7: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing
|
||||
t/t_func_const_bad.v:44:23: ... Called from f_bad_stop() with parameters:
|
||||
a = ?32?h3
|
||||
localparam BSTOP = f_bad_stop(3);
|
||||
^~~~~~~~~~
|
||||
44 | localparam BSTOP = f_bad_stop(3);
|
||||
| ^~~~~~~~~~
|
||||
-Info: "Printing in loop: 0"
|
||||
-Info: "Printing in loop: 1"
|
||||
-Info: "Printing in loop: 2"
|
||||
@ -41,6 +41,6 @@
|
||||
t/t_func_const_bad.v:55:7: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing
|
||||
t/t_func_const_bad.v:50:24: ... Called from f_bad_fatal() with parameters:
|
||||
a = ?32?h3
|
||||
localparam BFATAL = f_bad_fatal(3);
|
||||
^~~~~~~~~~~
|
||||
50 | localparam BFATAL = f_bad_fatal(3);
|
||||
| ^~~~~~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -9,6 +9,6 @@
|
||||
a = ?32?h7
|
||||
b = ?32?h8
|
||||
c = ?32?h9
|
||||
localparam P24 = f_add2(7, 8, 9);
|
||||
^~~~~~
|
||||
12 | localparam P24 = f_add2(7, 8, 9);
|
||||
| ^~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -9,6 +9,6 @@
|
||||
a = ?32?h7
|
||||
b = ?32?h8
|
||||
c = ?32?h9
|
||||
localparam P24 = f_add2(7, 8, 9);
|
||||
^~~~~~
|
||||
14 | localparam P24 = f_add2(7, 8, 9);
|
||||
| ^~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -9,6 +9,6 @@
|
||||
a = ?32?h7
|
||||
b = ?32?h8
|
||||
c = ?32?h9
|
||||
localparam P24 = f_add2(7, 8, 9);
|
||||
^~~~~~
|
||||
20 | localparam P24 = f_add2(7, 8, 9);
|
||||
| ^~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -9,6 +9,6 @@
|
||||
a = ?32?h7
|
||||
b = ?32?h8
|
||||
c = ?32?h9
|
||||
localparam P24 = f_add2(7, 8, 9);
|
||||
^~~~~~
|
||||
17 | localparam P24 = f_add2(7, 8, 9);
|
||||
| ^~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
%Error: t/t_func_task_bad.v:10:11: Illegal call of a task as a function: 'task_as_func'
|
||||
if (task_as_func(1'b0)) $stop;
|
||||
^~~~~~~~~~~~
|
||||
10 | if (task_as_func(1'b0)) $stop;
|
||||
| ^~~~~~~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
%Error: t/t_func_tie_bad.v:11:15: Function/task output connected to constant instead of variable: 'b'
|
||||
func(0, 1'b1);
|
||||
^~~~
|
||||
11 | func(0, 1'b1);
|
||||
| ^~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Warning-IGNOREDRETURN: t/t_func_void_bad.v:26:7: Ignoring return value of non-void function (IEEE 1800-2017 13.4.1)
|
||||
f1(20);
|
||||
^~
|
||||
26 | f1(20);
|
||||
| ^~
|
||||
... Use "/* verilator lint_off IGNOREDRETURN */" and lint_on around source to disable this message.
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error: t/t_func_wide_out_bad.v:17:12: Unsupported: Function output argument 'data' requires 4352 bits, but connection's VARREF 'msg' generates 4350 bits.
|
||||
: ... In instance t
|
||||
func(msg);
|
||||
^~~
|
||||
17 | func(msg);
|
||||
| ^~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,10 +1,10 @@
|
||||
%Error: t/t_fuzz_always_bad.v:10:15: Can't find definition of 'a' in dotted variable: 'c.a'
|
||||
always @ c.a c:h;
|
||||
^
|
||||
10 | always @ c.a c:h;
|
||||
| ^
|
||||
%Error: t/t_fuzz_always_bad.v:10:19: Can't find definition of task/function: 'h'
|
||||
always @ c.a c:h;
|
||||
^
|
||||
10 | always @ c.a c:h;
|
||||
| ^
|
||||
%Error: t/t_fuzz_always_bad.v:10:14: Unsupported: Complex statement in sensitivity list
|
||||
always @ c.a c:h;
|
||||
^
|
||||
10 | always @ c.a c:h;
|
||||
| ^
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +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
|
||||
: ... In instance t.b
|
||||
initial c = (a != &b);
|
||||
^
|
||||
12 | initial c = (a != &b);
|
||||
| ^
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,9 +1,9 @@
|
||||
%Error: t/t_fuzz_genintf_bad.v:24:12: Unsupported: Member call on object 'VARREF 'j'' which is a 'BASICDTYPE 'integer''
|
||||
: ... In instance t
|
||||
j.e(0),
|
||||
^
|
||||
24 | j.e(0),
|
||||
| ^
|
||||
%Error: Internal Error: t/t_fuzz_genintf_bad.v:24:11: ../V3Width.cpp:#: Unlinked pin data type
|
||||
: ... In instance t
|
||||
j.e(0),
|
||||
^
|
||||
24 | j.e(0),
|
||||
| ^
|
||||
... See the manual and https://verilator.org for more assistance.
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
%Error: t/t_fuzz_negwidth_bad.v:9:9: Unsupported: Width of number exceeds implementation limit: 1231232312312312'd1 (IEEE 1800-2017 6.9.1)
|
||||
int c = 1231232312312312'd1;
|
||||
^~~~~~~~~~~~~~~~~~~
|
||||
9 | int c = 1231232312312312'd1;
|
||||
| ^~~~~~~~~~~~~~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,9 +1,9 @@
|
||||
%Error: t/t_fuzz_triand_bad.v:8:12: Unsupported: Member call on object 'VARREF 'g'' which is a 'BASICDTYPE 'logic''
|
||||
: ... In instance t
|
||||
tri g=g.and.g;
|
||||
^~~
|
||||
8 | tri g=g.and.g;
|
||||
| ^~~
|
||||
%Error: Internal Error: t/t_fuzz_triand_bad.v:8:12: ../V3Width.cpp:#: Unlinked data type
|
||||
: ... In instance t
|
||||
tri g=g.and.g;
|
||||
^~~
|
||||
8 | tri g=g.and.g;
|
||||
| ^~~
|
||||
... See the manual and https://verilator.org for more assistance.
|
||||
|
||||
@ -1,18 +1,18 @@
|
||||
%Warning-SELRANGE: t/t_gen_cond_bitrange_bad.v:58:38: Selection index out of range: 2:2 outside 1:0
|
||||
: ... In instance t.i_test_gen
|
||||
if ((g < (SIZE + 1)) && MASK[g]) begin
|
||||
^
|
||||
58 | if ((g < (SIZE + 1)) && MASK[g]) begin
|
||||
| ^
|
||||
... Use "/* verilator lint_off SELRANGE */" and lint_on around source to disable this message.
|
||||
%Warning-SELRANGE: t/t_gen_cond_bitrange_bad.v:70:32: Selection index out of range: 2:2 outside 1:0
|
||||
: ... In instance t.i_test_gen
|
||||
if ((g < SIZE) && MASK[g + 1]) begin
|
||||
^
|
||||
70 | if ((g < SIZE) && MASK[g + 1]) begin
|
||||
| ^
|
||||
%Warning-SELRANGE: t/t_gen_cond_bitrange_bad.v:83:33: Selection index out of range: 2:2 outside 1:0
|
||||
: ... In instance t.i_test_gen
|
||||
if ((g < (SIZE)) & MASK[g]) begin
|
||||
^
|
||||
83 | if ((g < (SIZE)) & MASK[g]) begin
|
||||
| ^
|
||||
%Warning-SELRANGE: t/t_gen_cond_bitrange_bad.v:96:35: Selection index out of range: 2:2 outside 1:0
|
||||
: ... In instance t.i_test_gen
|
||||
if (!((g >= SIZE) | ~MASK[g])) begin
|
||||
^
|
||||
96 | if (!((g >= SIZE) | ~MASK[g])) begin
|
||||
| ^
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,6 +1,6 @@
|
||||
%Error: t/t_gen_missing.v:43:20: Cannot find file containing module: 'foo_not_needed'
|
||||
foo_not_needed i_foo(.x(foo[j]), .y(bar[j]));
|
||||
^~~~~~~~~~~~~~
|
||||
43 | foo_not_needed i_foo(.x(foo[j]), .y(bar[j]));
|
||||
| ^~~~~~~~~~~~~~
|
||||
... Looked in:
|
||||
t/foo_not_needed
|
||||
t/foo_not_needed.v
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error: t/t_gen_var_bad.v:10:7: Non-genvar used in generate for: 'i'
|
||||
: ... In instance t
|
||||
for (i=0; i<3; i=i+1) begin
|
||||
^~~
|
||||
10 | for (i=0; i<3; i=i+1) begin
|
||||
| ^~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -5,83 +5,83 @@
|
||||
t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing
|
||||
t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters:
|
||||
bar = ?32?h0
|
||||
localparam integer BAZ = get_baz(BAR);
|
||||
^~~~~~~
|
||||
13 | localparam integer BAZ = get_baz(BAR);
|
||||
| ^~~~~~~
|
||||
%Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz'
|
||||
: ... 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
|
||||
t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters:
|
||||
bar = ?32?h1
|
||||
localparam integer BAZ = get_baz(BAR);
|
||||
^~~~~~~
|
||||
13 | localparam integer BAZ = get_baz(BAR);
|
||||
| ^~~~~~~
|
||||
%Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz'
|
||||
: ... In instance t.gen_l1[2].gen_l2[0].foo_inst2
|
||||
t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing
|
||||
t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters:
|
||||
bar = 32'h2
|
||||
localparam integer BAZ = get_baz(BAR);
|
||||
^~~~~~~
|
||||
13 | localparam integer BAZ = get_baz(BAR);
|
||||
| ^~~~~~~
|
||||
%Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz'
|
||||
: ... In instance t.gen_l1[2].gen_l2[1].foo_inst2
|
||||
t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing
|
||||
t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters:
|
||||
bar = 32'h4
|
||||
localparam integer BAZ = get_baz(BAR);
|
||||
^~~~~~~
|
||||
13 | localparam integer BAZ = get_baz(BAR);
|
||||
| ^~~~~~~
|
||||
%Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz'
|
||||
: ... In instance t.gen_l1[3].gen_l2[0].foo_inst2
|
||||
t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing
|
||||
t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters:
|
||||
bar = 32'h3
|
||||
localparam integer BAZ = get_baz(BAR);
|
||||
^~~~~~~
|
||||
13 | localparam integer BAZ = get_baz(BAR);
|
||||
| ^~~~~~~
|
||||
%Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz'
|
||||
: ... In instance t.gen_l1[3].gen_l2[1].foo_inst2
|
||||
t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing
|
||||
t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters:
|
||||
bar = 32'h5
|
||||
localparam integer BAZ = get_baz(BAR);
|
||||
^~~~~~~
|
||||
13 | localparam integer BAZ = get_baz(BAR);
|
||||
| ^~~~~~~
|
||||
%Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz'
|
||||
: ... In instance t.cond_true.foo_inst3
|
||||
t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing
|
||||
t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters:
|
||||
bar = ?32?h6
|
||||
localparam integer BAZ = get_baz(BAR);
|
||||
^~~~~~~
|
||||
13 | localparam integer BAZ = get_baz(BAR);
|
||||
| ^~~~~~~
|
||||
%Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz'
|
||||
: ... In instance t.genblk1.foo_inst4
|
||||
t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing
|
||||
t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters:
|
||||
bar = ?32?h7
|
||||
localparam integer BAZ = get_baz(BAR);
|
||||
^~~~~~~
|
||||
13 | localparam integer BAZ = get_baz(BAR);
|
||||
| ^~~~~~~
|
||||
%Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz'
|
||||
: ... In instance t.nested_loop[8].foo2_inst.foo2_loop[0].foo_in_foo2_inst
|
||||
t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing
|
||||
t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters:
|
||||
bar = 32'h8
|
||||
localparam integer BAZ = get_baz(BAR);
|
||||
^~~~~~~
|
||||
13 | localparam integer BAZ = get_baz(BAR);
|
||||
| ^~~~~~~
|
||||
%Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz'
|
||||
: ... In instance t.nested_loop[8].foo2_inst.foo2_loop[1].foo_in_foo2_inst
|
||||
t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing
|
||||
t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters:
|
||||
bar = 32'h9
|
||||
localparam integer BAZ = get_baz(BAR);
|
||||
^~~~~~~
|
||||
13 | localparam integer BAZ = get_baz(BAR);
|
||||
| ^~~~~~~
|
||||
%Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz'
|
||||
: ... In instance t.nested_loop[10].foo2_inst.foo2_loop[0].foo_in_foo2_inst
|
||||
t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing
|
||||
t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters:
|
||||
bar = 32'ha
|
||||
localparam integer BAZ = get_baz(BAR);
|
||||
^~~~~~~
|
||||
13 | localparam integer BAZ = get_baz(BAR);
|
||||
| ^~~~~~~
|
||||
%Error: t/t_generate_fatal_bad.v:13:29: Expecting expression to be constant, but can't determine constant for FUNCREF 'get_baz'
|
||||
: ... In instance t.nested_loop[10].foo2_inst.foo2_loop[1].foo_in_foo2_inst
|
||||
t/t_generate_fatal_bad.v:9:4: ... Location of non-constant STOP: $stop executed during function constification; maybe indicates assertion firing
|
||||
t/t_generate_fatal_bad.v:13:29: ... Called from get_baz() with parameters:
|
||||
bar = 32'hb
|
||||
localparam integer BAZ = get_baz(BAR);
|
||||
^~~~~~~
|
||||
13 | localparam integer BAZ = get_baz(BAR);
|
||||
| ^~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error: t/t_genvar_for_bad.v:23:10: Genvar not legal in non-generate for (IEEE 1800-2017 27.4): 't.i'
|
||||
: ... Suggest move for loop upwards to generate-level scope.
|
||||
for (i=0; i<N; i=i+1) begin
|
||||
^~~
|
||||
23 | for (i=0; i<N; i=i+1) begin
|
||||
| ^~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,17 +1,17 @@
|
||||
%Warning-ENDLABEL: t/t_hierarchy_identifier_bad.v:34:10: End label 'if_cnt_finish_bad' does not match begin label 'if_cnt_finish'
|
||||
end : if_cnt_finish_bad
|
||||
^~~~~~~~~~~~~~~~~
|
||||
34 | end : if_cnt_finish_bad
|
||||
| ^~~~~~~~~~~~~~~~~
|
||||
... Use "/* verilator lint_off ENDLABEL */" and lint_on around source to disable this message.
|
||||
%Warning-ENDLABEL: t/t_hierarchy_identifier_bad.v:40:10: End label 'generate_for_bad' does not match begin label 'generate_for'
|
||||
end : generate_for_bad
|
||||
^~~~~~~~~~~~~~~~
|
||||
40 | end : generate_for_bad
|
||||
| ^~~~~~~~~~~~~~~~
|
||||
%Warning-ENDLABEL: t/t_hierarchy_identifier_bad.v:47:10: End label 'generate_if_if_bad' does not match begin label 'generate_if_if'
|
||||
end : generate_if_if_bad
|
||||
^~~~~~~~~~~~~~~~~~
|
||||
47 | end : generate_if_if_bad
|
||||
| ^~~~~~~~~~~~~~~~~~
|
||||
%Warning-ENDLABEL: t/t_hierarchy_identifier_bad.v:51:10: End label 'generate_if_else_bad' does not match begin label 'generate_if_else'
|
||||
end : generate_if_else_bad
|
||||
^~~~~~~~~~~~~~~~~~~~
|
||||
51 | end : generate_if_else_bad
|
||||
| ^~~~~~~~~~~~~~~~~~~~
|
||||
%Warning-ENDLABEL: t/t_hierarchy_identifier_bad.v:54:13: End label 't_bad' does not match begin label 't'
|
||||
endmodule : t_bad
|
||||
^~~~~
|
||||
54 | endmodule : t_bad
|
||||
| ^~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,10 +1,10 @@
|
||||
%Warning-INITIALDLY: t/t_initial_dlyass.v:18:9: Delayed assignments (<=) in initial or final block
|
||||
: ... Suggest blocking assignments (=)
|
||||
a <= 22;
|
||||
^~
|
||||
18 | a <= 22;
|
||||
| ^~
|
||||
... Use "/* verilator lint_off INITIALDLY */" and lint_on around source to disable this message.
|
||||
%Warning-INITIALDLY: t/t_initial_dlyass.v:19:9: Delayed assignments (<=) in initial or final block
|
||||
: ... Suggest blocking assignments (=)
|
||||
b <= 33;
|
||||
^~
|
||||
19 | b <= 33;
|
||||
| ^~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error: t/t_inst_array_bad.v:19:28: Input port connection 'onebit' as part of a module instance array requires 1 or 8 bits, but connection's VARREF 'onebitbad' generates 9 bits.
|
||||
: ... In instance t
|
||||
sub sub [7:0] (allbits, onebitbad, bitout);
|
||||
^~~~~~~~~
|
||||
19 | sub sub [7:0] (allbits, onebitbad, bitout);
|
||||
| ^~~~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,6 +1,6 @@
|
||||
%Error: obj_vlt/t_inst_long_bad/t_inst_long.v:4:3: Cannot find file containing module: 'long_long_long_long_long_long_lo__Vhsh1JZCXQVBM1QiASYlLmgTuAXYyUr7VAbJYwVHfiAD'
|
||||
long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_ inst ();
|
||||
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
||||
4 | long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_long_ inst ();
|
||||
| ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
||||
... Unsupported: Name is longer than 127 characters; automatic file lookup not supported.
|
||||
... Suggest putting filename with this module/package onto command line instead.
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error: t/t_inst_misarray_bad.v:17:27: VARREF 't.foo' is not an unpacked array, but is in an unpacked array context
|
||||
: ... In instance t.foo
|
||||
.foo(foo));
|
||||
^~~
|
||||
17 | .foo(foo));
|
||||
| ^~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,11 +1,11 @@
|
||||
%Warning-PINNOCONNECT: t/t_inst_missing_bad.v:9:22: Cell pin is not connected: '__pinNumber2'
|
||||
sub sub (.ok(ok), , .nc());
|
||||
^
|
||||
9 | sub sub (.ok(ok), , .nc());
|
||||
| ^
|
||||
... Use "/* verilator lint_off PINNOCONNECT */" and lint_on around source to disable this message.
|
||||
%Warning-PINCONNECTEMPTY: t/t_inst_missing_bad.v:9:25: Cell pin connected by name with empty reference: 'nc'
|
||||
sub sub (.ok(ok), , .nc());
|
||||
^~
|
||||
9 | sub sub (.ok(ok), , .nc());
|
||||
| ^~
|
||||
%Warning-PINMISSING: t/t_inst_missing_bad.v:9:8: Cell has missing pin: 'missing'
|
||||
sub sub (.ok(ok), , .nc());
|
||||
^~~
|
||||
9 | sub sub (.ok(ok), , .nc());
|
||||
| ^~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,18 +1,18 @@
|
||||
%Warning-WIDTH: t/t_inst_overwide.v:23:14: Output port connection 'outy_w92' expects 92 bits on the pin connection, but pin connection's VARREF 'outc_w30' generates 30 bits.
|
||||
: ... In instance t
|
||||
.outy_w92 (outc_w30),
|
||||
^~~~~~~~
|
||||
23 | .outy_w92 (outc_w30),
|
||||
| ^~~~~~~~
|
||||
... Use "/* verilator lint_off WIDTH */" and lint_on around source to disable this message.
|
||||
%Warning-WIDTH: t/t_inst_overwide.v:24:14: Output port connection 'outz_w22' expects 22 bits on the pin connection, but pin connection's VARREF 'outd_w73' generates 73 bits.
|
||||
: ... In instance t
|
||||
.outz_w22 (outd_w73),
|
||||
^~~~~~~~
|
||||
24 | .outz_w22 (outd_w73),
|
||||
| ^~~~~~~~
|
||||
%Warning-WIDTH: t/t_inst_overwide.v:27:14: Input port connection 'inw_w31' expects 31 bits on the pin connection, but pin connection's VARREF 'ina_w1' generates 1 bits.
|
||||
: ... In instance t
|
||||
.inw_w31 (ina_w1),
|
||||
^~~~~~~
|
||||
27 | .inw_w31 (ina_w1),
|
||||
| ^~~~~~~
|
||||
%Warning-WIDTH: t/t_inst_overwide.v:28:14: Input port connection 'inx_w11' expects 11 bits on the pin connection, but pin connection's VARREF 'inb_w61' generates 61 bits.
|
||||
: ... In instance t
|
||||
.inx_w11 (inb_w61)
|
||||
^~~~~~~
|
||||
28 | .inx_w11 (inb_w61)
|
||||
| ^~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error: t/t_inst_recurse2_bad.v:18:8: Unsupported: Identically recursive module (module instantiates itself, without changing parameters): 'looped'
|
||||
: ... In instance t.looped.looped
|
||||
module looped ( );
|
||||
^~~~~~
|
||||
18 | module looped ( );
|
||||
| ^~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error: t/t_inst_recurse_bad.v:18:8: Unsupported: Recursive multiple modules (module instantiates something leading back to itself): 'looped'
|
||||
... note: self-recursion (module instantiating itself directly) is supported.
|
||||
module looped ( );
|
||||
^~~~~~
|
||||
18 | module looped ( );
|
||||
| ^~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,9 +1,9 @@
|
||||
%Error: t/t_interface_array_bad.v:23:16: Expecting expression to be constant, but variable isn't const: 'bar'
|
||||
: ... In instance t
|
||||
assign foos[bar].a = 1'b1;
|
||||
^~~
|
||||
23 | assign foos[bar].a = 1'b1;
|
||||
| ^~~
|
||||
%Error: t/t_interface_array_bad.v:23:15: Could not expand constant selection inside dotted reference: 'bar'
|
||||
: ... In instance t
|
||||
assign foos[bar].a = 1'b1;
|
||||
^
|
||||
23 | assign foos[bar].a = 1'b1;
|
||||
| ^
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,18 +1,18 @@
|
||||
%Warning-LITENDIAN: t/t_interface_array_nocolon_bad.v:26:26: Little endian cell range connecting to vector: MSB < LSB of cell range: 0:2
|
||||
: ... In instance t
|
||||
foo_intf foos [N] (.x(X));
|
||||
^
|
||||
26 | foo_intf foos [N] (.x(X));
|
||||
| ^
|
||||
... Use "/* verilator lint_off LITENDIAN */" and lint_on around source to disable this message.
|
||||
%Warning-LITENDIAN: t/t_interface_array_nocolon_bad.v:27:28: Little endian cell range connecting to vector: MSB < LSB of cell range: 1:3
|
||||
: ... In instance t
|
||||
foo_intf fool [1:3] (.x(X));
|
||||
^
|
||||
27 | foo_intf fool [1:3] (.x(X));
|
||||
| ^
|
||||
%Warning-LITENDIAN: t/t_interface_array_nocolon_bad.v:30:26: Little endian cell range connecting to vector: MSB < LSB of cell range: 0:2
|
||||
: ... In instance t
|
||||
foo_subm subs [N] (.x(X));
|
||||
^
|
||||
30 | foo_subm subs [N] (.x(X));
|
||||
| ^
|
||||
%Warning-LITENDIAN: t/t_interface_array_nocolon_bad.v:31:28: Little endian cell range connecting to vector: MSB < LSB of cell range: 1:3
|
||||
: ... In instance t
|
||||
foo_subm subl [1:3] (.x(X));
|
||||
^
|
||||
31 | foo_subm subl [1:3] (.x(X));
|
||||
| ^
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,9 +1,9 @@
|
||||
%Error: t/t_interface_asvar_bad.v:29:16: Operator ASSIGN expected non-interface on Assign RHS but 'itf' is an interface.
|
||||
: ... In instance t.source
|
||||
getter = itf;
|
||||
^~~
|
||||
29 | getter = itf;
|
||||
| ^~~
|
||||
%Error: t/t_interface_asvar_bad.v:30:23: Operator ADD expected non-interface on RHS but 'itf' is an interface.
|
||||
: ... In instance t.source
|
||||
getter = 4'd3 + itf;
|
||||
^~~
|
||||
30 | getter = 4'd3 + itf;
|
||||
| ^~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error: t/t_interface_mismodport_bad.v:36:12: Can't find definition of 'bad' in dotted signal: 'isub.bad'
|
||||
isub.bad = i_value;
|
||||
^~~
|
||||
36 | isub.bad = i_value;
|
||||
| ^~~
|
||||
... Known scopes under 'bad': <no cells found>
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,10 +1,10 @@
|
||||
%Error: t/t_interface_missing_bad.v:14:4: Cannot find file containing interface: 'foo_intf'
|
||||
foo_intf foo
|
||||
^~~~~~~~
|
||||
14 | foo_intf foo
|
||||
| ^~~~~~~~
|
||||
%Error: t/t_interface_missing_bad.v:20:4: Cannot find file containing interface: 'foo_intf'
|
||||
foo_intf the_foo ();
|
||||
^~~~~~~~
|
||||
20 | foo_intf the_foo ();
|
||||
| ^~~~~~~~
|
||||
%Error: t/t_interface_missing_bad.v:25:15: Found definition of 'the_foo' as a CELL but expected a variable
|
||||
.foo (the_foo)
|
||||
^~~~~~~
|
||||
25 | .foo (the_foo)
|
||||
| ^~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error: t/t_interface_modport_bad.v:23:8: Modport not found under interface 'ifc': 'oop_modport'
|
||||
: ... Suggested alternative: 'out_modport'
|
||||
ifc.oop_modport isub,
|
||||
^~~~~~~~~~~
|
||||
23 | ifc.oop_modport isub,
|
||||
| ^~~~~~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error: t/t_interface_param_acc_bits.v:15:42: Parameter-resolved constants must not use dotted references: 'dummy'
|
||||
: ... In instance t
|
||||
simple_bus #(.PARAMETER($bits(sb_intf.dummy))) simple();
|
||||
^~~~~
|
||||
15 | simple_bus #(.PARAMETER($bits(sb_intf.dummy))) simple();
|
||||
| ^~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error: t/t_interface_param_another_bad.v:9:42: Parameter-resolved constants must not use dotted references: 'dummy'
|
||||
: ... In instance t
|
||||
simple_bus #(.PARAMETER($bits(sb_intf.dummy))) simple();
|
||||
^~~~~
|
||||
9 | simple_bus #(.PARAMETER($bits(sb_intf.dummy))) simple();
|
||||
| ^~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,9 +1,9 @@
|
||||
%Error: t/t_interface_size_bad.v:16: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 4.
|
||||
: ... In instance t
|
||||
baz baz4_inst (.foo(foo4));
|
||||
^~~
|
||||
16 | baz baz4_inst (.foo(foo4));
|
||||
| ^~~
|
||||
%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.
|
||||
: ... In instance t
|
||||
baz baz6_inst (.foo(foo6));
|
||||
^~~
|
||||
17 | baz baz6_inst (.foo(foo6));
|
||||
| ^~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,7 +1,7 @@
|
||||
%Error: t/t_interface_top_bad.v:17:19: Unsupported: Interfaced port on top level module
|
||||
ifc.counter_mp c_data
|
||||
^~~~~~
|
||||
17 | ifc.counter_mp c_data
|
||||
| ^~~~~~
|
||||
%Error: t/t_interface_top_bad.v:17:4: Parent cell's interface is not found: 'ifc'
|
||||
ifc.counter_mp c_data
|
||||
^~~
|
||||
17 | ifc.counter_mp c_data
|
||||
| ^~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,10 +1,10 @@
|
||||
%Error: t/t_interface_typo_bad.v:14:4: Parent cell's interface is not found: 'foo_intf'
|
||||
foo_intf foo
|
||||
^~~~~~~~
|
||||
14 | foo_intf foo
|
||||
| ^~~~~~~~
|
||||
%Error: t/t_interface_typo_bad.v:22:4: Cannot find file containing interface: 'fo_intf'
|
||||
fo_intf the_foo;
|
||||
^~~~~~~
|
||||
22 | fo_intf the_foo;
|
||||
| ^~~~~~~
|
||||
%Error: t/t_interface_typo_bad.v:27:15: Found definition of 'the_foo' as a CELL but expected a variable
|
||||
.foo (the_foo)
|
||||
^~~~~~~
|
||||
27 | .foo (the_foo)
|
||||
| ^~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Error: t/t_interface_wrong_bad.v:32:8: Port 'foo_port' expects 'foo_intf' interface but pin connects 'bar_intf' interface
|
||||
: ... In instance t
|
||||
.foo_port (bar)
|
||||
^~~~~~~~
|
||||
32 | .foo_port (bar)
|
||||
| ^~~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,18 +1,18 @@
|
||||
%Error-PROCASSWIRE: t/t_lint_always_comb_bad.v:29:9: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'temp1'
|
||||
: ... In instance t
|
||||
temp1 = 'h0;
|
||||
^~~~~
|
||||
29 | temp1 = 'h0;
|
||||
| ^~~~~
|
||||
%Error-PROCASSWIRE: t/t_lint_always_comb_bad.v:31:9: Procedural assignment to wire, perhaps intended var (IEEE 1800-2017 6.5): 'temp1'
|
||||
: ... In instance t
|
||||
temp1 = (temp1_d1r - 'h1);
|
||||
^~~~~
|
||||
31 | temp1 = (temp1_d1r - 'h1);
|
||||
| ^~~~~
|
||||
%Warning-ALWCOMBORDER: t/t_lint_always_comb_bad.v:32:7: Always_comb variable driven after use: 'mid'
|
||||
: ... In instance t
|
||||
mid = (temp1_d1r == 'h0);
|
||||
^~~
|
||||
32 | mid = (temp1_d1r == 'h0);
|
||||
| ^~~
|
||||
... 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-2017 6.5): 'temp1_d1r'
|
||||
: ... In instance t
|
||||
temp1_d1r <= temp1;
|
||||
^~~~~~~~~
|
||||
46 | temp1_d1r <= temp1;
|
||||
| ^~~~~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,12 +1,12 @@
|
||||
%Warning-BLKSEQ: t/t_lint_blksync_bad.v:24:16: Blocking assignments (=) in sequential (flop or latch) block
|
||||
: ... Suggest delayed assignments (<=)
|
||||
sync_blk = 1'b1;
|
||||
^
|
||||
24 | sync_blk = 1'b1;
|
||||
| ^
|
||||
... Use "/* verilator lint_off BLKSEQ */" and lint_on around source to disable this message.
|
||||
%Warning-COMBDLY: t/t_lint_blksync_bad.v:31:18: Delayed assignments (<=) in non-clocked (non flop or latch) block
|
||||
: ... Suggest blocking assignments (=)
|
||||
combo_nblk <= 1'b1;
|
||||
^~
|
||||
31 | combo_nblk <= 1'b1;
|
||||
| ^~
|
||||
*** See the manual before disabling this,
|
||||
else you may end up with different sim results.
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,8 +1,8 @@
|
||||
%Warning-BSSPACE: t/t_lint_bsspace_bad.v:10:21: Backslash followed by whitespace, perhaps the whitespace is accidental?
|
||||
`define FOO blak \
|
||||
^
|
||||
10 | `define FOO blak \
|
||||
| ^
|
||||
... Use "/* verilator lint_off BSSPACE */" and lint_on around source to disable this message.
|
||||
%Error: t/t_lint_bsspace_bad.v:11:4: syntax error, unexpected IDENTIFIER
|
||||
blak
|
||||
^~~~
|
||||
11 | blak
|
||||
| ^~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Warning-COLONPLUS: t/t_lint_colonplus_bad.v:13:25: Perhaps instead of ':+' the intent was '+:'?
|
||||
output [2:1] z = r[2 :+ 1];
|
||||
^~
|
||||
13 | output [2:1] z = r[2 :+ 1];
|
||||
| ^~
|
||||
... Use "/* verilator lint_off COLONPLUS */" and lint_on around source to disable this message.
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
%Error: t/t_lint_comb_bad.v:14:16: syntax error, unexpected '@'
|
||||
always_comb @(*) begin
|
||||
^
|
||||
14 | always_comb @(*) begin
|
||||
| ^
|
||||
%Error: Cannot continue
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Warning-DECLFILENAME: t/t_lint_declfilename.v:7:8: Filename 't_lint_declfilename' does not match MODULE name: 't'
|
||||
module t;
|
||||
^
|
||||
7 | module t;
|
||||
| ^
|
||||
... Use "/* verilator lint_off DECLFILENAME */" and lint_on around source to disable this message.
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,5 +1,5 @@
|
||||
%Warning-DEFPARAM: t/t_lint_defparam.v:10:19: Suggest replace defparam assignment with Verilog 2001 #(.P(...etc...))
|
||||
defparam sub.P = 2;
|
||||
^
|
||||
10 | defparam sub.P = 2;
|
||||
| ^
|
||||
... Use "/* verilator lint_off DEFPARAM */" and lint_on around source to disable this message.
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,6 +1,6 @@
|
||||
%Warning-IFDEPTH: t/t_lint_ifdepth_bad.v:22:12: Deep 'if' statement; suggest unique/priority to avoid slow logic
|
||||
: ... In instance t
|
||||
else if (value==11) begin end
|
||||
^~
|
||||
22 | else if (value==11) begin end
|
||||
| ^~
|
||||
... Use "/* verilator lint_off IFDEPTH */" and lint_on around source to disable this message.
|
||||
%Error: Exiting due to
|
||||
|
||||
@ -1,16 +1,16 @@
|
||||
%Warning-IMPLICIT: t/t_lint_implicit.v:11:11: Signal definition not found, creating implicitly: 'b'
|
||||
assign b = 1'b1;
|
||||
^
|
||||
11 | assign b = 1'b1;
|
||||
| ^
|
||||
... Use "/* verilator lint_off IMPLICIT */" and lint_on around source to disable this message.
|
||||
%Warning-IMPLICIT: t/t_lint_implicit.v:13:14: Signal definition not found, creating implicitly: 'nt0'
|
||||
or OR0 (nt0, a, b);
|
||||
^~~
|
||||
13 | or OR0 (nt0, a, b);
|
||||
| ^~~
|
||||
%Warning-IMPLICIT: t/t_lint_implicit.v:16:12: Signal definition not found, creating implicitly: 'dummy1'
|
||||
: ... Suggested alternative: 'dummy_ip'
|
||||
assign {dummy1, dummy2} = dummy_ip;
|
||||
^~~~~~
|
||||
16 | assign {dummy1, dummy2} = dummy_ip;
|
||||
| ^~~~~~
|
||||
%Warning-IMPLICIT: t/t_lint_implicit.v:16:20: Signal definition not found, creating implicitly: 'dummy2'
|
||||
: ... Suggested alternative: 'dummy1'
|
||||
assign {dummy1, dummy2} = dummy_ip;
|
||||
^~~~~~
|
||||
16 | assign {dummy1, dummy2} = dummy_ip;
|
||||
| ^~~~~~
|
||||
%Error: Exiting due to
|
||||
|
||||
Some files were not shown because too many files have changed in this diff Show More
Loading…
Reference in New Issue
Block a user