From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugs-return-443493-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 28709 invoked by alias); 13 Feb 2014 16:42:45 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Received: (qmail 28653 invoked by uid 48); 13 Feb 2014 16:42:41 -0000
From: "ebotcazou at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/60174] [4.9 regression] ICE on ACATS cc3305a
Date: Thu, 13 Feb 2014 16:42:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: ebotcazou at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.9.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-60174-4-yu9VR6IXzV@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-60174-4@http.gcc.gnu.org/bugzilla/>
References: <bug-60174-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-02/txt/msg01250.txt.bz2

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60174

--- Comment #11 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Reproducible on x86{-64}/Linux with the following procedure:

 - copy $srcdir/gcc/testsuite/ada/acats/support/repbody.ada to $buildir
 - gnatchop repbody.ada
 - copy $srcdir/gcc/testsuite/ada/acats/support/repspec.ada to $buildir
 - gnatchop repspec.ada
 - copy $builddir/gcc/ada/rts/system.ads to $buildir
 - edit system.ads and change ZCX_By_Default to False
 - compile

eric@polaris:~/build/gcc/native> gcc/xgcc -Bgcc -S cc3305a.adb -O2

Unable to coalesce ssa_names 34 and 399 which are marked as MUST COALESCE.
i_34(ab) and  i_399(ab)
+===========================GNAT BUG DETECTED==============================+
| 4.9.0 20140213 (experimental) [trunk revision 207749] (x86_64-suse-linux) GCC
error:|
| SSA corruption                                                           |
| Error detected around cc3305a.adb:35:1                                   |
| 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 or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+