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=-0.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00 autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,c658912279760559 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-02-21 00:19:29 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!psinet-eu-nl!psiuk-p4!uknet!psiuk-p3!uknet!psiuk-n!news.pace.co.uk!nh.pace.co.uk!not-for-mail From: "Marin David Condic" Newsgroups: comp.lang.ada Subject: Re: Unchecked_Deallocation and Constraint_Error Date: Wed, 20 Feb 2002 17:45:52 -0500 Organization: Posted on a server owned by Pace Micro Technology plc Message-ID: References: <87adu57ht6.fsf@deneb.enyo.de> <5ee5b646.0202201059.7794f5aa@posting.google.com> NNTP-Posting-Host: dhcp-200-133.miami.pace.co.uk X-Trace: nh.pace.co.uk 1014245153 3844 136.170.200.133 (20 Feb 2002 22:45:54 GMT) X-Complaints-To: newsmaster@news.cam.pace.co.uk NNTP-Posting-Date: 20 Feb 2002 22:45:54 GMT X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Xref: archiver1.google.com comp.lang.ada:20199 Date: 2002-02-20T22:45:54+00:00 List-Id: O.K. Phraseology & punctuation being the issue, I can easily conceed that I misused the term. :-) I'm by nature, disinclined to be a stickler for accuracy - which is probably why I'm not a language lawyer. The point remains that you need specific compiler settings in order to get full compliance with the ARM & it doesn't happen by default with GNAT and possibly other compilers. Not that this is a *bad* thing - just the way the world is. Given the original question, I think its important to focus in on the fact that any arbitrary Ada compiler out there isn't necessarily going to behave as expected unless one checks out the documentation, etc., to be sure it is properly configured and all appropriate options are taken. The original poster might find a better answer to his question if we knew the compiler brand & platform - someone might know what compiler settings to go with to correct the problem..... MDC -- Marin David Condic Senior Software Engineer Pace Micro Technology Americas www.pacemicro.com Enabling the digital revolution e-Mail: marin.condic@pacemicro.com Web: http://www.mcondic.com/ "Robert Dewar" wrote in message news:5ee5b646.0202201059.7794f5aa@posting.google.com... > > Well you may "know" this, but that does not make it true :-) > > Range_Checks are indeed on by default in GNAT and always > have been. You are mixing this up with Overflow_Checks > which are not on by default (and if you don't know the > difference, consult the RM, these terms are defined there!) > > It is of course true that the questioner might have made a > pilot error (for instance, one certainly would not expect > to get an exception using -gnatp on GNAT :-)