summaryrefslogtreecommitdiff
path: root/testsuite/gna/ticket65/bug.vhdl
blob: cf785e13664229f8b2c45a7ad05908032919f460 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
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;