From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,8332ddd3efd0a65
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Date: Sat, 19 Aug 2006 04:53:36 +0200
From: Gautier <gautier@fakeaddress.nil>
User-Agent: Thunderbird 1.5.0.5 (Windows/20060719)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Enumeration type - GNAT 3.15p bug?
References: <1155815395.237631.224930@m79g2000cwm.googlegroups.com>
   <44e4b74a$1_6@news.bluewin.ch>
 <1155889518.397485.193340@h48g2000cwc.googlegroups.com>
In-Reply-To: <1155889518.397485.193340@h48g2000cwc.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
NNTP-Posting-Host: 62.203.184.190
X-Original-NNTP-Posting-Host: 62.203.184.190
Message-ID: <44e67d1a$1_2@news.bluewin.ch>
X-Trace: news.bluewin.ch 1155955994 62.203.184.190 (19 Aug 2006 04:53:14
 +0200)
Organization: Bluewin AG
Complaints-To: abuse@bluewin.ch
X-Original-NNTP-Posting-Host: 127.0.0.1
Path: 
 g2news2.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!wn14feed!worldnet.att.net!164.128.36.58!news.ip-plus.net!newsfeed.ip-plus.net!news.bluewin.ch!not-for-mail
Xref: g2news2.google.com comp.lang.ada:6264
Date: 2006-08-19T04:53:36+02:00
List-Id: <comp.lang.ada>

>> 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!