Skip to content

Commit 385f7ba

Browse files
authored
Merge pull request #1152 from diffblue/hierarchical_identifiers2
KNOWNBUG test for hierarchical identifier with block scope
2 parents ef2ca16 + 2bf1ac1 commit 385f7ba

File tree

2 files changed

+19
-0
lines changed

2 files changed

+19
-0
lines changed
Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
KNOWNBUG
2+
hierarchical_identifiers2.v
3+
--module main
4+
^EXIT=0$
5+
^SIGNAL=0$
6+
--
7+
^warning: ignoring
8+
--
9+
The block identifier is not found.
Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
module main;
2+
3+
// a named generate-if block
4+
if (1) begin : some_block
5+
wire x;
6+
end
7+
8+
wire y = some_block.x;
9+
10+
endmodule

0 commit comments

Comments
 (0)