yosys/tests/verilog/task_attr.ys

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 ;, expecting ATTR_BEGIN or TOK_INCREMENT or TOK_DECREMENT" 1
design -reset
read_verilog <<EOT
module top;
    task foo;
    endtask

    always @*
        foo (* foo *);
endmodule
EOT