[Bug ada/33924] New: [ada] GNAT compilation bug (save_gnu_tree, ada/utils.c:178) when compiling with asis options

["dsauvage at altern dot org" <gcc-bugzilla at gcc dot gnu dot org>]

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