From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 14 May 2020 23:09:41 +0000 (-0700)
Subject: tests: attributes before task enable
X-Git-Tag: working-ls180~544^2~2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e7fd8912f041462bf044b6c93aa4b4db786d01c7;p=yosys.git

tests: attributes before task enable
---

diff --git a/tests/verilog/task_attr.ys b/tests/verilog/task_attr.ys
new file mode 100644
index 000000000..d6e75f85f
--- /dev/null
+++ b/tests/verilog/task_attr.ys
@@ -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