Re: expression function bug or think?

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

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 $