From: Gautier <gautier@fakeaddress.nil>
Subject: Re: Enumeration type - GNAT 3.15p bug?
Date: Thu, 17 Aug 2006 20:37:20 +0200
Date: 2006-08-17T20:37:20+02:00 [thread overview]
Message-ID: <44e4b74a$1_6@news.bluewin.ch> (raw)
In-Reply-To: <1155815395.237631.224930@m79g2000cwm.googlegroups.com>
I guess you have a run-time check suppression 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!
next prev parent reply other threads:[~2006-08-17 18:37 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-08-17 11:49 Enumeration type - GNAT 3.15p bug? Gerd
2006-08-17 12:03 ` Georg Bauhaus
2006-08-17 13:19 ` Gerd
2006-08-17 18:15 ` Jeffrey R. Carter
2006-08-17 12:46 ` Dmitry A. Kazakov
2006-08-17 13:42 ` Gerd
2006-08-17 18:11 ` Jeffrey R. Carter
2006-08-17 18:34 ` Gautier
2006-08-17 18:37 ` Gautier [this message]
2006-08-18 8:25 ` Gerd
2006-08-19 2:53 ` Gautier
2006-08-19 20:50 ` Gerd
2006-08-20 9:27 ` Gautier
2006-08-28 13:54 ` Gerd
2006-08-29 1:17 ` Gautier
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox