From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,7fc35c7be21c216e,start
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!news3.google.com!news.germany.com!news.motzarella.org!motzarella.org!not-for-mail
From: =?ISO-8859-1?Q?S=E9bastien?= <seb.morand@gmail.com>
Newsgroups: comp.lang.ada
Subject: Bug in GCC ?
Date: Mon, 19 May 2008 15:50:57 +0000
Organization: A noiseless patient Spider
Message-ID: <g0s7hc$9bn$1@registered.motzarella.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: feeder.motzarella.org
 U2FsdGVkX1+niNNp4yU2mKcPo0PJrVYIdCH/ctaxrQRaRA+WX6tKCtNcIA3OC4seHh+UJ7sN9ImqHtkQBabNzUYBIuIGkxYkiUhc8xMhHOwumCjPTyw6gAVvYWxJ7tbHQpnUv81/il4a3BnL0d/HWQ==
X-Complaints-To: Please send complaints to abuse@motzarella.org with full
 headers
NNTP-Posting-Date: Mon, 19 May 2008 15:49:01 +0000 (UTC)
X-Auth-Sender: U2FsdGVkX18aLNVVUBivMi9H/7y5T9UqEfY8Ujfs4oJ4nLRG2WovUw==
Cancel-Lock: sha1:84HAiqac8rClpM/L0x8Wluaqb+Q=
User-Agent: Thunderbird 2.0.0.14 (Windows/20080421)
Xref: g2news1.google.com comp.lang.ada:245
Date: 2008-05-19T15:50:57+00:00
List-Id: <comp.lang.ada>

He is the sample code I'm trying to compile:

with Ada.Containers.Hashed_Maps;
with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
with Ada.Strings.Unbounded.Hash;

package SCMAL.Tools.HashedMaps is

     package HashedStrStr is
         new Ada.Containers.Hashed_Maps(
         Key_Type => Unbounded_String,
         Element_Type => Unbounded_String,
         Hash => Ada.Strings.Unbounded.Hash,
         Equivalent_Keys => "=");

end SCMAL.Tools.HashedMaps;


At compile time:

$ gnatmake -Pgentest -cargs -gnatn
gcc-4.1 -c -gnat05 -g3 -O2 -gnatn -I- -gnatA 
/var/local/mscm/ada/tests/generic/scmal-tools-hashedmaps.ads
+===========================GNAT BUG DETECTED==============================+
| 4.1.3 20070929 (prerelease) (Ubuntu 4.1.2-16ubuntu3) 
(i486-pc-linux-gnu) GCC error:|
| in referenced_var_lookup, at tree-dfa.c:578                              |
| No source file position information available                            |
| 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.1 or gnatmake command that you entered.          |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

It works fine if I remove the -gnatn and -O2

Sebastien