From 589775538c23975d79aa21050557a37b76acb1dd Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Mon, 11 May 2020 09:33:11 -0700
Subject: tests: add #2037 testcase

---
 tests/verilog/bug2037.ys | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 tests/verilog/bug2037.ys

(limited to 'tests')

diff --git a/tests/verilog/bug2037.ys b/tests/verilog/bug2037.ys
new file mode 100644
index 000000000..afe92022e
--- /dev/null
+++ b/tests/verilog/bug2037.ys
@@ -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
-- 
cgit v1.2.3


From 29d84339bf9ec8f1d2be3fa20f81843f3ee08324 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Mon, 11 May 2020 10:26:08 -0700
Subject: tests: add an generate-else test too

---
 tests/verilog/bug2037.ys | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)

(limited to 'tests')

diff --git a/tests/verilog/bug2037.ys b/tests/verilog/bug2037.ys
index afe92022e..42c4b8f5d 100644
--- 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
-- 
cgit v1.2.3


From 1c117ac0236517d0d7150dcc8d1fed19288bd692 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 14 May 2020 10:46:40 -0700
Subject: verilog: do not warn for attributes on null statements

---
 tests/verilog/bug2037.ys | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'tests')

diff --git a/tests/verilog/bug2037.ys b/tests/verilog/bug2037.ys
index 42c4b8f5d..eb4f0fac4 100644
--- a/tests/verilog/bug2037.ys
+++ b/tests/verilog/bug2037.ys
@@ -1,4 +1,3 @@
-logger -expect warning "Attribute\(s\) attached to null statement\. Ignoring\." 1
 logger -expect-no-warnings
 read_verilog <<EOT
 module test ();
@@ -7,10 +6,10 @@ module test ();
 		if (y) (* foo *) ;
 endmodule
 EOT
+select -assert-none a:* a:src %d
 
 
 design -reset
-logger -expect warning "Attribute\(s\) attached to null statement\. Ignoring\." 3 # cumulative
 logger -expect-no-warnings
 read_verilog <<EOT
 module test ();
@@ -19,10 +18,10 @@ module test ();
 		if (y) (* foo *) ; else (* bar *) ;
 endmodule
 EOT
+select -assert-none a:* a:src %d
 
 
 design -reset
-logger -expect warning "Attribute\(s\) attached to null statement\. Ignoring\." 4 # cumulative
 logger -expect-no-warnings
 read_verilog <<EOT
 module test ();
@@ -30,10 +29,10 @@ module test ();
     generate if (y) (* foo *) ; endgenerate
 endmodule
 EOT
+select -assert-none a:*
 
 
 design -reset
-logger -expect warning "Attribute\(s\) attached to null statement\. Ignoring\." 6 # cumulative
 logger -expect-no-warnings
 read_verilog <<EOT
 module test ();
@@ -41,3 +40,4 @@ module test ();
     generate if (y) (* foo *) ; else (* bar *); endgenerate
 endmodule
 EOT
+select -assert-none a:*
-- 
cgit v1.2.3


From 95dcd7e785db44fd664fb7d5ac380fa642d0981c Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 14 May 2020 16:32:14 -0700
Subject: test: add attribute-before-stmt test from @nakengelhardt

---
 tests/verilog/bug2037.ys | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'tests')

diff --git a/tests/verilog/bug2037.ys b/tests/verilog/bug2037.ys
index eb4f0fac4..4b629ba92 100644
--- a/tests/verilog/bug2037.ys
+++ b/tests/verilog/bug2037.ys
@@ -41,3 +41,18 @@ module test ();
 endmodule
 EOT
 select -assert-none a:*
+
+
+design -reset
+read_verilog <<EOT
+module test ();
+	localparam y = 1;
+	reg x = 1'b0;
+	always @(*) begin
+		if (y)
+			(* foo *) x <= 1'b1;
+		else
+			(* bar *) x = 1'b0;
+	end
+endmodule
+EOT
-- 
cgit v1.2.3