3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-08 10:25:19 +00:00

tests: add #2037 testcase

This commit is contained in:
Eddie Hung 2020-05-11 09:33:11 -07:00
parent ae11156c90
commit 589775538c

9
tests/verilog/bug2037.ys Normal file
View file

@ -0,0 +1,9 @@
logger -expect warning "Attribute\(s\) attached to null statement\. Ignoring\." 1
logger -expect-no-warnings
read_verilog <<EOT
module test ();
localparam y = 1;
always @(*)
if (y) (* foo *) ;
endmodule
EOT