testsuite/gna: add a test for #543

1 files changed, 14 insertions, 0 deletions

diff --git a/testsuite/gna/issue543/repro1.vhdl b/testsuite/gna/issue543/repro1.vhdl
new file mode 100644
index 000000000..e18861122
--- /dev/null
+++ b/testsuite/gna/issue543/repro1.vhdl
@@ -0,0 +1,14 @@
+entity repro1 is
+end entity;
+
+architecture arch of repro1 is
+  attribute att : integer_vector;
+  constant const : integer := 1;
+  attribute att of const: constant is (2, 3);
+  constant const2 : integer_vector := const'att;
+  constant const3 : integer_vector := const2;
+begin
+  assert false
+    report "const'att(0) is " & integer'image(const3(0))
+    severity note;
+end architecture;