Re: Enumeration type - GNAT 3.15p bug?

[Georg Bauhaus <bauhaus@futureapps.de>]

Gerd wrote:
>  For the dynamic
> assignment below (line 8) I would expect that an exception is raised,

% ./jenumxa 

raised CONSTRAINT_ERROR : jenumxa.adb:8

% gcc -v
Reading specs from /usr/libexec/gcc/darwin/ppc/3.1/specs
Thread model: posix
Apple Computer, Inc. GCC version 1252, based on gcc version 3.1 20021003 (prerelease)

That compiler is not exactly 3.15p, but from 2002, so I guess
it is of a similar age.

Does passing -gnato (Ada mode) to gnatmake make a difference?


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

No, recent official releaes of GNAT can be found here:
https://libre.adacore.com


> 
>  1: procedure JEnumXa is
>  2:   type ex is (Rot, Gruen, Gelb);
>  3:
>  4:   x : ex;

>  8:     x := ex'VAL(i);
>  9:   end ABC;
> 10: begin
 
> 16:   ABC (99);
> 17: end JEnumXa;
> 

-- Georg