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,ed872c72866dab2b X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news3.google.com!feeder.news-service.com!easy.in-chemnitz.de!feeder.erje.net!newsfeed.straub-nv.de!uucp.gnuu.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail Date: Thu, 16 Jun 2011 22:03:21 +0200 From: Georg Bauhaus User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US; rv:1.9.2.18) Gecko/20110613 Thunderbird/3.1.11 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: expression function bug or think? References: <678085105329914667.504682rmhost.bauhaus-maps.arcor.de@news.arcor.de> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: <4dfa6189$0$7608$9b4e6d93@newsspool1.arcor-online.net> Organization: Arcor NNTP-Posting-Date: 16 Jun 2011 22:03:21 CEST NNTP-Posting-Host: 55d5bfc9.newsspool1.arcor-online.net X-Trace: DXC=lUcBX=6=MCE0YVY]kmLTlDic==]BZ:afN4Fo<]lROoRA<`=YMgDjhgBA<7?N^Tb48Hnc\616M64>JLh>_cHTX3jM`>6GK3d=bcN X-Complaints-To: usenet-abuse@arcor.de Xref: g2news2.google.com comp.lang.ada:20859 Date: 2011-06-16T22:03:21+02:00 List-Id: On 6/16/11 9:18 PM, Simon Wright wrote: > ... here, I find the same as Georg; and like you I am on SL 10.6.7! > Xcode 3.2.6. Same here. > With GCC 4.6.0, with -gnatp the code compiles and works fine; without > it, I get a compiler bomb. This is what I get, too, with GCC 4.7.0 built on Debian GNU/Linux from recent FSF sources: $ gnatchop -gnat12 -r -w ../fib.ada && gnatmake -gnatl -gnat12 functions.ads -cargs -v splitting ../fib.ada into: functions.ads run_fib.adb gcc -c -gnatl -gnat12 -v functions.ads Using built-in specs. COLLECT_GCC=/usr/local//bin/gcc COLLECT_LTO_WRAPPER=/usr/local/libexec/gcc/i686-pc-linux-gnu/4.7.0/lto-wrapper Target: i686-pc-linux-gnu Configured with: /opt/src/configure --enable-languages=c,ada --disable-nls Thread model: posix gcc version 4.7.0 20110610 (experimental) (GCC) COLLECT_GCC_OPTIONS='-gnatea' '-c' '-gnatl' '-gnat12' '-v' '-gnatez' '-mtune=generic' '-march=pentiumpro' /usr/local/libexec/gcc/i686-pc-linux-gnu/4.7.0/gnat1 -quiet -dumpbase functions.ads -auxbase functions -gnatez -gnatea -gnatl -gnat12 -gnatez -mtune=generic -march=pentiumpro functions.ads -o /tmp/cclE8jaZ.s GNAT 4.7.0 20110610 (experimental) Copyright 1992-2011, Free Software Foundation, Inc. +===========================GNAT BUG DETECTED==============================+ | 4.7.0 20110610 (experimental) (i686-pc-linux-gnu) Assert_Failure sinfo.adb:2947| | Error detected at fib.ada:6:21 | | Please submit a bug report; see http://gcc.gnu.org/bugs.html. | | Use a subject line meaningful to you and us to track the bug. | | Include the entire contents of this bug box in the report. | | Include the exact gcc or gnatmake command that you entered. | | Also include sources listed below in gnatchop format | | (concatenated together with no headers between files). | +==========================================================================+ Please include these source files with error report Note that list may not be accurate in some cases, so please double check that the problem can still be reproduced with the set of files listed. Consider also -gnatd.n switch (see debug.adb). functions.ads raised SYSTEM.ASSERTIONS.ASSERT_FAILURE : namet.adb:655 gnatmake: "functions.ads" compilation error CHROOT-thymian-bauhaus $