Testcase for ticket 65.

1 files changed, 18 insertions, 0 deletions

diff --git a/testsuite/gna/ticket65/bug.vhdl b/testsuite/gna/ticket65/bug.vhdl
new file mode 100644
index 000000000..cf785e136
--- /dev/null
+++ b/testsuite/gna/ticket65/bug.vhdl
@@ -0,0 +1,18 @@
+entity ent is
+end entity;
+
+architecture a of ent is
+begin
+  main : process is
+    type enum_t is (value1, value2);
+    variable var : enum_t;
+  begin
+    var := enum_t'rightof(value2); -- CONSTRAINT_ERROR
+    var := enum_t'rightof(value1); -- Works
+    var := enum_t'leftof(value1); -- Works
+    var := enum_t'leftof(value2); -- Works
+    var := enum_t'rightof(var); -- cannot handle IIR_KIND_RIGHTOF_ATTRIBUTE
+    var := enum_t'leftof(var);  -- cannot handle IIR_KIND_LEFTOF_ATTRIBUTE
+    wait;
+  end process;
+end architecture;