aboutsummaryrefslogtreecommitdiffstats
path: root/testsuite/gna/issue626/repro.vhdl
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/gna/issue626/repro.vhdl')
-rw-r--r--testsuite/gna/issue626/repro.vhdl22
1 files changed, 22 insertions, 0 deletions
diff --git a/testsuite/gna/issue626/repro.vhdl b/testsuite/gna/issue626/repro.vhdl
new file mode 100644
index 000000000..c58885b20
--- /dev/null
+++ b/testsuite/gna/issue626/repro.vhdl
@@ -0,0 +1,22 @@
+entity inc is
+ generic (v : natural; vec : bit_vector);
+end entity;
+
+architecture default of inc is
+begin
+ assert vec'left = 0 severity failure;
+ assert vec'right = v severity failure;
+ assert false report integer'image(vec'right);
+end architecture;
+
+entity repro is end entity;
+
+architecture default of repro is
+begin
+ g : for ix in 0 to 4 generate
+ begin
+ inst : entity work.inc
+ generic map (v => ix,
+ vec => (0 to ix => '1'));
+ end generate;
+end architecture;