While compiling the projets [5] with ASIS options [2] a GNAT [1,2,3] Compiler
Bug is detected
[1] GCC Version
version gcc 4.1.3 20070929 (prerelease) (Ubuntu 4.1.2-16ubuntu2)
[2] GCC Options
gcc-4.1 -c -gnatc -gnatt -I- -gnatA aws-net-sets.ads
[3] GCC Configuration
Configuré avec: ../src/configure -v
--enable-languages=c,c++,fortran,objc,obj-c++,treelang --prefix=/usr
--enable-shared --with-system-zlib --libexecdir=/usr/lib
--without-included-gettext --enable-threads=posix --enable-nls
--with-gxx-include-dir=/usr/include/c++/4.1.3 --program-suffix=-4.1
--enable-__cxa_atexit --enable-clocale=gnu --enable-libstdcxx-debug
--enable-mpfr --enable-checking=release i486-linux-gnu
[4] GNAT BUG Error Report
+===========================GNAT BUG DETECTED==============================+
| 4.1.3 20070929 (prerelease) (Ubuntu 4.1.2-16ubuntu3) (i486-pc-linux-gnu) GCC
error:|
| dans save_gnu_tree, Ã ada/utils.c:178 |
| Error detected at aws-net-sets.ads:28:1 |
...
+==========================================================================+
[5] How to reproduce the bug
$ tar -xvzf GCC_Bug_AWS.tar.gz
$ cd GCC_Bug_AWS
$ gnatmake -P gcc_bug_aws.gpr
$ gnatmake -P gcc_bug_aws.gpr -XEnv=ASIS
--
Summary: [ada] GNAT compilation bug (save_gnu_tree,
ada/utils.c:178) when compiling with asis options
Product: gcc
Version: 4.1.3
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: dsauvage at altern dot org
GCC build triplet: i486-linux-gnu
GCC host triplet: i486-linux-gnu
GCC target triplet: i486-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33924
