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-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!newsfeed.stanford.edu!newsfeed.berkeley.edu!ucberkeley!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail Date: Mon, 06 Jul 2009 14:39:48 +0200 From: Georg Bauhaus User-Agent: Thunderbird 2.0.0.22 (Macintosh/20090605) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: GCC 4.4.0 Postcondition oddity. References: <3a52a180-2565-4311-bc4d-dc28194a1150@l31g2000yqb.googlegroups.com> <145fd6a9-399d-4651-8d09-edfb1d584e8d@d4g2000yqa.googlegroups.com> In-Reply-To: <145fd6a9-399d-4651-8d09-edfb1d584e8d@d4g2000yqa.googlegroups.com> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Message-ID: <4a51f094$0$31863$9b4e6d93@newsspool3.arcor-online.net> Organization: Arcor NNTP-Posting-Date: 06 Jul 2009 14:39:48 CEST NNTP-Posting-Host: 22fc89a3.newsspool3.arcor-online.net X-Trace: DXC=353`IhE9cG=i6K;>iZ]763McF=Q^Z^V384Fo<]lROoR1^YC2XCjHcb9E58@E16iK?2;9OJDO8_SK6NSZ1n^B98i:5Y xorque schrieb: > Nobody else seeing this? > > Looks like a compiler bug to me. $ gcc -gnatv -gnatwadleG -gnatVa -gnato -gnata -gnatW8 -gnatiw -gnaty2aAbdefhiklnprStu -c p.adb GNAT GPL 2009 (20090519) Copyright 1992-2009, Free Software Foundation, Inc. Compiling: p.adb (source file time stamp: 2009-07-06 12:35:23) 8 lines: No errors $ uname -a Linux kartoffel 2.6.24-24-server #1 SMP Wed Apr 15 15:41:09 UTC 2009 x86_64 GNU/Linux