http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59341
Bug ID: 59341
Summary: spark_05 & No_Implicit_Aliasing undefined
Product: gcc
Version: 4.9.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: laguest at archeia dot com
/usr/bin/gcc-4.6 -c -I./
-I/usr/lib/gcc/x86_64-linux-gnu/4.6/adalib/../adainclude
-I/usr/lib/gcc/x86_64-linux-gnu/4.6/adalib/ -I.
-I/home/laguest/src/mine/tinyada-new/source/gcc-trunk/gcc/ada -g -O2 -W -Wall
-gnatpg -gnata -I-
/home/laguest/src/mine/tinyada-new/downloads/gcc-trunk/gcc/ada/ali-util.adb
scng.adb:1797:47: "SPARK_05" is undefined
restrict.ads:126:07: "No_Implicit_Aliasing" is undefined
$ uname -a
Linux rogue 3.2.0-4-amd64 #1 SMP Debian 3.2.51-1 x86_64 GNU/Linux
CC=/usr/bin/gcc-4.6 CXX=/usr/bin/g++-4.6 CP=/usr/bin/cpp-4.6
../../../../source/gcc-trunk/configure
--prefix=/home/laguest/opt/android-tinyada --target=arm-linux-androideabi
--host=x86_64-linux-gnu --build=x86_64-linux-gnu
--with-host-libstdcxx='-static-libgcc -Wl,-Bstatic,-lstdc++,-Bdynamic -lm'
--with-float=soft --with-fpu=vfp --with-arch=armv5te --enable-multilib
--enable-threads --disable-shared --with-gnu-as --with-gnu-ld
--enable-languages=c,c++,ada --with-system-zlib --disable-libgomp
--without-libffi --without-libiconv-prefix --disable-libmudflap --disable-nls
--disable-libstdcxx-pch --disable-cloog-version-check
--disable-isl-version-check --with-gmp=/home/laguest/opt/android-tinyada
--with-mpfr=/home/laguest/opt/android-tinyada
--with-mpc=/home/laguest/opt/android-tinyada
--with-isl=/home/laguest/opt/android-tinyada
--with-cloog=/home/laguest/opt/android-tinyada --disable-libstdc__-v3
--disable-tls --disable-libitm --enable-target-optspace
--enable-initfini-array
--with-sysroot=/home/laguest/opt/android-ndk-r9b/platforms/android-9/arch-arm
--with-python=/home/laguest/opt/android-ndk-r9b/prebuilt/linux-x86_64/bin/python-config
--enable-plugins --enable-eh-frame-hdr-for-static --disable-libsanitizer
--disable-libquadmath --disable-libssp --disable-libatomic
