Re: Enumeration type - GNAT 3.15p bug?

[Gautier <gautier@fakeaddress.nil>]

I guess you have a run-time check or a -gnatp somewhere. If I compile 
your code with GNAT 3.15p (20020523), I obtain the expected behaviour 
(even without extra integer checks via -gnato):

C:\WINDOWS\Bureau>gnatmake -f jenumxa.adb
gcc -c jenumxa.adb
gnatbind -x jenumxa.ali
gnatlink jenumxa.ali

C:\WINDOWS\Bureau>jenumxa

raised CONSTRAINT_ERROR : jenumxa.adb:8 overflow check failed

By suppressing run-time checks (-gnatp), I obtain:

C:\WINDOWS\Bureau>gnatmake -f -gnatp jenumxa.adb
gcc -c -gnatp jenumxa.adb
gnatbind -x jenumxa.ali
gnatlink jenumxa.ali

C:\WINDOWS\Bureau>jenumxa

C:\WINDOWS\Bureau>

Probably you'd better to mention the exact options you passed to the 
compiler. Anyway, I've never seen that kind of bug in GNAT (user since 
the 3.07p version (~1996)!)...

HTH, Gautier
_______________________________________________________________
Ada programming -- http://www.mysunrise.ch/users/gdm/gsoft.htm

NB: For a direct answer, e-mail address on the Web site!