tests: attributes before task enable

This commit is contained in:
Eddie Hung 2020-05-14 16:09:41 -07:00
parent 27b7ffc754
commit e7fd8912f0
1 changed files with 28 additions and 0 deletions

View File

@ -0,0 +1,28 @@
read_verilog <<EOT
module top;
task foo;
endtask
always @*
(* foo *) foo;
initial
if (0) $info("bar");
endmodule
EOT
# Since task enables are not an RTLIL object,
# any attributes on their AST get dropped
select -assert-none a:* a:src %d
logger -expect error "syntax error, unexpected ATTR_BEGIN" 1
design -reset
read_verilog <<EOT
module top;
task foo;
endtask
always @*
foo (* foo *);
endmodule
EOT