Update test suite to cover -gno-strict-declaration options.

This commit is contained in:
Martin Whitaker 2026-03-21 20:44:10 +00:00
parent 5da8894590
commit 42d0c3fd4a
25 changed files with 79 additions and 7 deletions

View File

@ -0,0 +1,2 @@
ivltests/decl_before_use1.v:4: warning: net/variable `v` used before declaration.
ivltests/decl_before_use1.v:9: : the net/variable is declared here.

View File

@ -0,0 +1,2 @@
1
used before declaration

View File

@ -0,0 +1,2 @@
ivltests/decl_before_use2.v:3: warning: net/variable `w` used before declaration.
ivltests/decl_before_use2.v:10: : the net/variable is declared here.

View File

@ -0,0 +1,2 @@
00000001
used before declaration

View File

@ -0,0 +1,2 @@
ivltests/decl_before_use3.v:4: warning: event `e` used before declaration.
ivltests/decl_before_use3.v:8: : the event is declared here.

View File

@ -0,0 +1 @@
used before declaration

View File

@ -0,0 +1 @@
used before declaration

View File

@ -0,0 +1,2 @@
ivltests/decl_before_use5.v:4: warning: parameter `w` used before declaration.
ivltests/decl_before_use5.v:8: : the parameter is declared here.

View File

@ -0,0 +1,2 @@
10101010
used before declaration

View File

@ -0,0 +1,2 @@
10
FAILED

View File

@ -0,0 +1,3 @@
./ivltests/pr1909940.v:4: warning: net/variable `in` used before declaration.
./ivltests/pr1909940.v:5: : the net/variable is declared here.
PASSED

View File

@ -0,0 +1,3 @@
./ivltests/pr1909940b.v:4: warning: net/variable `in` used before declaration.
./ivltests/pr1909940b.v:5: : the net/variable is declared here.
PASSED

View File

@ -3,7 +3,7 @@ module test();
initial begin
v = 1;
$display("%b", v);
$display("FAILED");
$display("used before declaration");
end
reg v;

View File

@ -4,7 +4,7 @@ assign w = 1;
initial begin
$display("%b", w);
$display("FAILED");
$display("used before declaration");
end
wire [7:0] w;

View File

@ -2,7 +2,7 @@ module test();
initial begin
->e;
$display("FAILED");
$display("used before declaration");
end
event e;

View File

@ -2,7 +2,7 @@ module test();
initial begin
@(e);
$display("FAILED");
$display("used before declaration");
end
event e;

View File

@ -2,7 +2,7 @@ module test();
initial begin
$display("%b", w);
$display("FAILED");
$display("used before declaration");
end
localparam w = 8'hAA;

View File

@ -1126,8 +1126,8 @@ pr1903324 normal ivltests
pr1903343 normal ivltests gold=pr1903343.gold
pr1903520 normal ivltests
pr1907192 normal ivltests
pr1909940 CE ivltests
pr1909940b CE ivltests
pr1909940 normal,-gno-strict-declaration ivltests gold=pr1909940.gold
pr1909940b normal,-gno-strict-declaration ivltests gold=pr1909940b.gold
pr1912843 normal ivltests
pr1913918a normal ivltests
pr1913918b normal ivltests

View File

@ -97,6 +97,12 @@ decl_before_use3 vvp_tests/decl_before_use3.json
decl_before_use4 vvp_tests/decl_before_use4.json
decl_before_use5 vvp_tests/decl_before_use5.json
decl_before_use6 vvp_tests/decl_before_use6.json
decl_before_use1_warn vvp_tests/decl_before_use1_warn.json
decl_before_use2_warn vvp_tests/decl_before_use2_warn.json
decl_before_use3_warn vvp_tests/decl_before_use3_warn.json
decl_before_use4_warn vvp_tests/decl_before_use4_warn.json
decl_before_use5_warn vvp_tests/decl_before_use5_warn.json
decl_before_use6_warn vvp_tests/decl_before_use6_warn.json
delayed_sfunc vvp_tests/delayed_sfunc.json
dffsynth vvp_tests/dffsynth.json
dffsynth-S vvp_tests/dffsynth-S.json

View File

@ -0,0 +1,7 @@
{
"type" : "normal",
"source" : "decl_before_use1.v",
"iverilog-args" : [ "-gno-strict-net-var-declaration" ],
"gold" : "decl_before_use1_warn"
}

View File

@ -0,0 +1,7 @@
{
"type" : "normal",
"source" : "decl_before_use2.v",
"iverilog-args" : [ "-gno-strict-declaration" ],
"gold" : "decl_before_use2_warn"
}

View File

@ -0,0 +1,7 @@
{
"type" : "normal",
"source" : "decl_before_use3.v",
"iverilog-args" : [ "-gno-strict-net-var-declaration" ],
"gold" : "decl_before_use3_warn"
}

View File

@ -0,0 +1,7 @@
{
"type" : "normal",
"source" : "decl_before_use4.v",
"iverilog-args" : [ "-gno-strict-declaration", "-Wno-declaration-after-use" ],
"gold" : "decl_before_use4_warn"
}

View File

@ -0,0 +1,7 @@
{
"type" : "normal",
"source" : "decl_before_use5.v",
"iverilog-args" : [ "-gno-strict-parameter-declaration" ],
"gold" : "decl_before_use5_warn"
}

View File

@ -0,0 +1,7 @@
{
"type" : "normal",
"source" : "decl_before_use6.v",
"iverilog-args" : [ "-gno-strict-declaration", "-Wno-declaration-after-use" ],
"gold" : "decl_before_use6_warn"
}