[Bug ada/57772] New: Bug box in gnat_to_gnu, at ada/gcc-interface/trans.c:5778 on legal Ada 2005 quantifier expression with exponentiation

[nicolas.boulenguez at free dot fr]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57772

            Bug ID: 57772
           Summary: Bug box in gnat_to_gnu, at
                    ada/gcc-interface/trans.c:5778 on legal Ada 2005
                    quantifier expression with exponentiation
           Product: gcc
           Version: 4.6.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: nicolas.boulenguez at free dot fr

The following program is legal in Ada2012 and illegal in Ada2005.
It crashes gcc with and without the -gnat12 flag.

Content of "p.ads":
package P is
   B : Boolean := (for all N in 1 .. 1 => 1**N = 1);
end P;

Output of "gnatmake p":
gcc-4.6 -c p.ads
+===========================GNAT BUG DETECTED==============================+
| 4.6.4 (x86_64-pc-linux-gnu) GCC error:                                   |
| in gnat_to_gnu, at ada/gcc-interface/trans.c:5778                        |
| Error detected at p.ads:2:44                                             |
and so on

Output of "gnatgcc -v":
Using built-in specs.
COLLECT_GCC=gnatgcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.6/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Debian 4.6.4-2'
--with-bugurl=file:///usr/share/doc/gcc-4.6/README.Bugs
--enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr
--program-suffix=-4.6 --enable-shared --enable-linker-build-id
--with-system-zlib --libexecdir=/usr/lib --without-included-gettext
--enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.6
--libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu
--enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-gnu-unique-object
--enable-plugin --enable-objc-gc --with-arch-32=i586 --with-tune=generic
--enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu
--target=x86_64-linux-gnu
Thread model: posix
gcc version 4.6.4 (Debian 4.6.4-2)