diff --git a/ivtest/gold/decl_before_use1_warn-iverilog-stderr.gold b/ivtest/gold/decl_before_use1_warn-iverilog-stderr.gold new file mode 100644 index 000000000..5cc4b93e4 --- /dev/null +++ b/ivtest/gold/decl_before_use1_warn-iverilog-stderr.gold @@ -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. diff --git a/ivtest/gold/decl_before_use1_warn-vvp-stdout.gold b/ivtest/gold/decl_before_use1_warn-vvp-stdout.gold new file mode 100644 index 000000000..1eccf69bf --- /dev/null +++ b/ivtest/gold/decl_before_use1_warn-vvp-stdout.gold @@ -0,0 +1,2 @@ +1 +used before declaration diff --git a/ivtest/gold/decl_before_use2_warn-iverilog-stderr.gold b/ivtest/gold/decl_before_use2_warn-iverilog-stderr.gold new file mode 100644 index 000000000..f1ef2cc14 --- /dev/null +++ b/ivtest/gold/decl_before_use2_warn-iverilog-stderr.gold @@ -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. diff --git a/ivtest/gold/decl_before_use2_warn-vvp-stdout.gold b/ivtest/gold/decl_before_use2_warn-vvp-stdout.gold new file mode 100644 index 000000000..6ad2d0448 --- /dev/null +++ b/ivtest/gold/decl_before_use2_warn-vvp-stdout.gold @@ -0,0 +1,2 @@ +00000001 +used before declaration diff --git a/ivtest/gold/decl_before_use3_warn-iverilog-stderr.gold b/ivtest/gold/decl_before_use3_warn-iverilog-stderr.gold new file mode 100644 index 000000000..113671293 --- /dev/null +++ b/ivtest/gold/decl_before_use3_warn-iverilog-stderr.gold @@ -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. diff --git a/ivtest/gold/decl_before_use3_warn-vvp-stdout.gold b/ivtest/gold/decl_before_use3_warn-vvp-stdout.gold new file mode 100644 index 000000000..983403b7d --- /dev/null +++ b/ivtest/gold/decl_before_use3_warn-vvp-stdout.gold @@ -0,0 +1 @@ +used before declaration diff --git a/ivtest/gold/decl_before_use4_warn-vvp-stdout.gold b/ivtest/gold/decl_before_use4_warn-vvp-stdout.gold new file mode 100644 index 000000000..983403b7d --- /dev/null +++ b/ivtest/gold/decl_before_use4_warn-vvp-stdout.gold @@ -0,0 +1 @@ +used before declaration diff --git a/ivtest/gold/decl_before_use5_warn-iverilog-stderr.gold b/ivtest/gold/decl_before_use5_warn-iverilog-stderr.gold new file mode 100644 index 000000000..8bf2623ff --- /dev/null +++ b/ivtest/gold/decl_before_use5_warn-iverilog-stderr.gold @@ -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. diff --git a/ivtest/gold/decl_before_use5_warn-vvp-stdout.gold b/ivtest/gold/decl_before_use5_warn-vvp-stdout.gold new file mode 100644 index 000000000..6519eec97 --- /dev/null +++ b/ivtest/gold/decl_before_use5_warn-vvp-stdout.gold @@ -0,0 +1,2 @@ +10101010 +used before declaration diff --git a/ivtest/gold/decl_before_use6_warn-vvp-stdout.gold b/ivtest/gold/decl_before_use6_warn-vvp-stdout.gold new file mode 100644 index 000000000..0664d0861 --- /dev/null +++ b/ivtest/gold/decl_before_use6_warn-vvp-stdout.gold @@ -0,0 +1,2 @@ +10 +FAILED diff --git a/ivtest/gold/pr1909940.gold b/ivtest/gold/pr1909940.gold new file mode 100644 index 000000000..4da14bfe4 --- /dev/null +++ b/ivtest/gold/pr1909940.gold @@ -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 diff --git a/ivtest/gold/pr1909940b.gold b/ivtest/gold/pr1909940b.gold new file mode 100644 index 000000000..7d10aac17 --- /dev/null +++ b/ivtest/gold/pr1909940b.gold @@ -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 diff --git a/ivtest/ivltests/decl_before_use1.v b/ivtest/ivltests/decl_before_use1.v index 8f338b72a..8fae1af7f 100644 --- a/ivtest/ivltests/decl_before_use1.v +++ b/ivtest/ivltests/decl_before_use1.v @@ -3,7 +3,7 @@ module test(); initial begin v = 1; $display("%b", v); - $display("FAILED"); + $display("used before declaration"); end reg v; diff --git a/ivtest/ivltests/decl_before_use2.v b/ivtest/ivltests/decl_before_use2.v index 3eeb619c3..d40c97a1a 100644 --- a/ivtest/ivltests/decl_before_use2.v +++ b/ivtest/ivltests/decl_before_use2.v @@ -4,7 +4,7 @@ assign w = 1; initial begin $display("%b", w); - $display("FAILED"); + $display("used before declaration"); end wire [7:0] w; diff --git a/ivtest/ivltests/decl_before_use3.v b/ivtest/ivltests/decl_before_use3.v index 8fed35387..57f925957 100644 --- a/ivtest/ivltests/decl_before_use3.v +++ b/ivtest/ivltests/decl_before_use3.v @@ -2,7 +2,7 @@ module test(); initial begin ->e; - $display("FAILED"); + $display("used before declaration"); end event e; diff --git a/ivtest/ivltests/decl_before_use4.v b/ivtest/ivltests/decl_before_use4.v index 8daa94218..41e69deb9 100644 --- a/ivtest/ivltests/decl_before_use4.v +++ b/ivtest/ivltests/decl_before_use4.v @@ -2,7 +2,7 @@ module test(); initial begin @(e); - $display("FAILED"); + $display("used before declaration"); end event e; diff --git a/ivtest/ivltests/decl_before_use5.v b/ivtest/ivltests/decl_before_use5.v index cb92f23a0..d7931b0f7 100644 --- a/ivtest/ivltests/decl_before_use5.v +++ b/ivtest/ivltests/decl_before_use5.v @@ -2,7 +2,7 @@ module test(); initial begin $display("%b", w); - $display("FAILED"); + $display("used before declaration"); end localparam w = 8'hAA; diff --git a/ivtest/regress-vlg.list b/ivtest/regress-vlg.list index 6a0323cb8..9309d3afa 100644 --- a/ivtest/regress-vlg.list +++ b/ivtest/regress-vlg.list @@ -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 diff --git a/ivtest/regress-vvp.list b/ivtest/regress-vvp.list index 49a0917df..13a548189 100644 --- a/ivtest/regress-vvp.list +++ b/ivtest/regress-vvp.list @@ -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 diff --git a/ivtest/vvp_tests/decl_before_use1_warn.json b/ivtest/vvp_tests/decl_before_use1_warn.json new file mode 100644 index 000000000..cf5df77cb --- /dev/null +++ b/ivtest/vvp_tests/decl_before_use1_warn.json @@ -0,0 +1,7 @@ + +{ + "type" : "normal", + "source" : "decl_before_use1.v", + "iverilog-args" : [ "-gno-strict-net-var-declaration" ], + "gold" : "decl_before_use1_warn" +} diff --git a/ivtest/vvp_tests/decl_before_use2_warn.json b/ivtest/vvp_tests/decl_before_use2_warn.json new file mode 100644 index 000000000..1fdf6c86d --- /dev/null +++ b/ivtest/vvp_tests/decl_before_use2_warn.json @@ -0,0 +1,7 @@ + +{ + "type" : "normal", + "source" : "decl_before_use2.v", + "iverilog-args" : [ "-gno-strict-declaration" ], + "gold" : "decl_before_use2_warn" +} diff --git a/ivtest/vvp_tests/decl_before_use3_warn.json b/ivtest/vvp_tests/decl_before_use3_warn.json new file mode 100644 index 000000000..f2507fe6b --- /dev/null +++ b/ivtest/vvp_tests/decl_before_use3_warn.json @@ -0,0 +1,7 @@ + +{ + "type" : "normal", + "source" : "decl_before_use3.v", + "iverilog-args" : [ "-gno-strict-net-var-declaration" ], + "gold" : "decl_before_use3_warn" +} diff --git a/ivtest/vvp_tests/decl_before_use4_warn.json b/ivtest/vvp_tests/decl_before_use4_warn.json new file mode 100644 index 000000000..26af6b94d --- /dev/null +++ b/ivtest/vvp_tests/decl_before_use4_warn.json @@ -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" +} diff --git a/ivtest/vvp_tests/decl_before_use5_warn.json b/ivtest/vvp_tests/decl_before_use5_warn.json new file mode 100644 index 000000000..4568e78bd --- /dev/null +++ b/ivtest/vvp_tests/decl_before_use5_warn.json @@ -0,0 +1,7 @@ + +{ + "type" : "normal", + "source" : "decl_before_use5.v", + "iverilog-args" : [ "-gno-strict-parameter-declaration" ], + "gold" : "decl_before_use5_warn" +} diff --git a/ivtest/vvp_tests/decl_before_use6_warn.json b/ivtest/vvp_tests/decl_before_use6_warn.json new file mode 100644 index 000000000..5324bb9a3 --- /dev/null +++ b/ivtest/vvp_tests/decl_before_use6_warn.json @@ -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" +}