Enumeration type - GNAT 3.15p bug?

["Gerd" <GerdM.O@t-online.de>]

Dear all,

I've found some misbehaviour of enumeration types and runtime checking.
Assigning constant values is checked at compile time. For the dynamic
assignment below (line 8) I would expect that an exception is raised,
but nothing happens. I generated an assembly listing and looked at the
code - the runtime check code is generated, but it seems to have a bug
(wrong address calculation).

Does someone know more about it?
- Is there really a bug in GNAT 3.15p?
- Did I do some misinterpretation?

As far as I know the 3.15p was the last officially released version
from AdaCore, wasn't it?



 1: procedure JEnumXa is
 2:   type ex is (Rot, Gruen, Gelb);
 3:
 4:   x : ex;
 5:
 6:   procedure ABC ( i : Integer) is
 7:   begin
 8:     x := ex'VAL(i);
 9:   end ABC;
10: begin
11: null;
12:   x := Rot;
13:   x := Gruen;
14:   x := ex'SUCC (X);
15:   -- x := ex'VAL (99);  -- compiletime error
16:   ABC (99);
17: end JEnumXa;