Re: Enumeration type - GNAT 3.15p bug?

[Gautier <gautier@fakeaddress.nil>]

>> 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)!)...
> 
> I've compiled it with AdaGIDE with all checks enabled (Debug settings).
> The output looks like this:
> 
>  GNATMAKE 3.15p  (20020523) Copyright 1995-2002 Free Software
> Foundation, Inc.
>  gcc -c -Ic:/projekte/ada95/testenum/ -gnatwu -g -gnato -fstack-check
> -gnatX -IC:\Projekte\
> Ada95\TestEnum -g -I- c:/projekte/ada95/testenum/testenum.adb
> 
> The check-code is generated, but it doesn't work correct. I will post
> it again when I'm at home - source, settings and assembly listing.
> 
> I work on Windows XP SP1, some friends found the same with Win2k.

OK, I test it on Windows XP SP2 (previous one was on Windows 98 SE),
with exactly your options (and from AdaGIDE :-):

gcc -c -Iz:/ -gnatwu -g -gnato -fstack-check -gnatX -IZ: -g -I- 
z:/jenumxa.adb

and...

raised CONSTRAINT_ERROR : jenumxa.adb:8 overflow check failed

Is it possible that you have a version mix, like GNAT 3.15p but also 
another GCC with another as, ld or run-time library components ?
What comes first in the PATH ?
HTH, G.
_______________________________________________________________
Ada programming -- http://www.mysunrise.ch/users/gdm/gsoft.htm

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