tests: add an generate-else test too

diff --git a/tests/verilog/bug2037.ys b/tests/verilog/bug2037.ys
index afe92022e2b05eb428bbf3165cab5e79a3e317bd..42c4b8f5d076575142af7fdb4a13c41b4153da07 100644 (file)
--- a/tests/verilog/bug2037.ys
+++ b/tests/verilog/bug2037.ys
@@ -7,3 +7,37 @@ module test ();
                if (y) (* foo *) ;
 endmodule
 EOT
+
+
+design -reset
+logger -expect warning "Attribute\(s\) attached to null statement\. Ignoring\." 3 # cumulative
+logger -expect-no-warnings
+read_verilog <<EOT
+module test ();
+       localparam y = 1;
+       always @(*)
+               if (y) (* foo *) ; else (* bar *) ;
+endmodule
+EOT
+
+
+design -reset
+logger -expect warning "Attribute\(s\) attached to null statement\. Ignoring\." 4 # cumulative
+logger -expect-no-warnings
+read_verilog <<EOT
+module test ();
+       localparam y = 1;
+    generate if (y) (* foo *) ; endgenerate
+endmodule
+EOT
+
+
+design -reset
+logger -expect warning "Attribute\(s\) attached to null statement\. Ignoring\." 6 # cumulative
+logger -expect-no-warnings
+read_verilog <<EOT
+module test ();
+       localparam y = 1;
+    generate if (y) (* foo *) ; else (* bar *); endgenerate
+endmodule
+EOT