Skip to content

Commit 119c125

Browse files
authored
Merge pull request #1659 from diffblue/parameter_vs_typedef
KNOWNBUG test for a parameter that hides a typedef
2 parents f7b2334 + 59ae7e3 commit 119c125

File tree

2 files changed

+15
-0
lines changed

2 files changed

+15
-0
lines changed
Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
KNOWNBUG
2+
parameter_vs_typedef.sv
3+
4+
^EXIT=0$
5+
^SIGNAL=0$
6+
--
7+
^warning: ignoring
8+
--
9+
This does not parse.
Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
typedef int some_identifier;
2+
3+
module main;
4+
parameter some_identifier = 123;
5+
assert final(some_identifier == 123);
6+
endmodule

0 commit comments

Comments
 (0)