Bug#540174: gnat-4.4: Bug box when compiling.

[Markus Schöpflin <markus.schoepflin@comsoft.de>]

Package: gnat-4.4
Version: 4.4.1-1
Severity: normal

gcc-4.4 -c -I./ -gnato -gnatwl -gnatwauJF -gnatef -g -fno-strict-aliasing -gnatwA -I- ./test.adb

+===========================GNAT BUG DETECTED==============================+
| 4.4.1 (i486-pc-linux-gnu) Assert_Failure sinfo.adb:360                   |
| Error detected at a-unccon.ads:23:27                                     |
| 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-4.4 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.

../test.adb
../language.ads
list may be incomplete
compilation abandoned



-- System Information:
Debian Release: squeeze/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable')
Architecture: i386 (i686)

Kernel: Linux 2.6.26-2-686 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages gnat-4.4 depends on:
ii  gcc-4.4                   4.4.1-1        The GNU C compiler
ii  gnat-4.4-base             4.4.1-1        The GNU Compiler Collection (gnat 
ii  libc6                     2.9-23         GNU C Library: Shared libraries
ii  libc6-dev                 2.9-23         GNU C Library: Development Librari
ii  libcloog-ppl0             0.15-1         the Chunky Loop Generator (runtime
ii  libgcc1                   1:4.4.1-1      GCC support library
ii  libgmp3c2                 2:4.3.1+dfsg-2 Multiprecision arithmetic library
ii  libgmpxx4ldbl             2:4.3.1+dfsg-2 Multiprecision arithmetic library 
ii  libgnat-4.4               4.4.1-1        Runtime library for GNU Ada applic
ii  libgnatprj4.4             4.4.1-1        GNU Ada Project Manager
ii  libgnatvsn4.4             4.4.1-1        GNU Ada compiler version library
ii  libmpfr1ldbl              2.4.1-2        multiple precision floating-point 
ii  libppl-c2                 0.10.2-2       Parma Polyhedra Library (C interfa
ii  libppl7                   0.10.2-2       Parma Polyhedra Library (runtime l

gnat-4.4 recommends no packages.

Versions of packages gnat-4.4 suggests:
pn  ada-reference-manual          <none>     (no description available)
pn  gnat-4.4-doc                  <none>     (no description available)

-- no debconf information

with System;
with Language;

procedure Test
is
 use System;
 use Language;
begin
   null;
end;

pragma Source_Reference (000001, "language.ads");

pragma Extend_System(AUX_DEC);
with System;

package Language is

end Language;