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: Thu, 17 Aug 2006 20:34:51 +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>
In-Reply-To: <1155815395.237631.224930@m79g2000cwm.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
NNTP-Posting-Host: 85.1.213.134
X-Original-NNTP-Posting-Host: 85.1.213.134
Message-ID: <44e4b6b4$1_6@news.bluewin.ch>
X-Trace: news.bluewin.ch 1155839668 85.1.213.134 (17 Aug 2006 20:34:28 +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!news4.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:6248
Date: 2006-08-17T20:34:51+02:00
List-Id: <comp.lang.ada>

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!