From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 13478 invoked by alias); 9 Apr 2005 13:19:31 -0000 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org Received: (qmail 12318 invoked by uid 48); 9 Apr 2005 13:19:06 -0000 Date: Sat, 09 Apr 2005 13:19:00 -0000 Message-ID: <20050409131906.12317.qmail@sourceware.org> From: "laurent at guerby dot net" To: gcc-bugs@gcc.gnu.org In-Reply-To: <20041205163947.18847.laurent@guerby.net> References: <20041205163947.18847.laurent@guerby.net> Reply-To: gcc-bugzilla@gcc.gnu.org Subject: [Bug target/18847] ACATS cxa5012 SEGV on on x86_64 X-Bugzilla-Reason: CC X-SW-Source: 2005-04/txt/msg01121.txt.bz2 List-Id: ------- Additional Comments From laurent at guerby dot net 2005-04-09 13:18 ------- Seems to be an heisenbug see http://gcc.gnu.org/ml/gcc/2005-04/msg00432.html changing subject since it no longer ICE on ia64. Reduced testcase from Richard Kenner, which confirms the bug, follows: $ cat cxa5012.adb with Ada.Numerics.Float_Random; with Ada.Numerics.Discrete_Random; with ImpDef; use Ada.Numerics; procedure CXA5012 is subtype Discrete_Range is Integer range 1..10_000; package Discrete_Pack is new Discrete_Random(Discrete_Range); DState_1 : Discrete_Pack.State; Not_A_State : constant String := ImpDef.Non_State_String; begin DState_1 := Discrete_Pack.Value(ImpDef.Non_State_String); end CXA5012; -- What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Ever Confirmed| |1 Keywords|ice-on-valid-code |wrong-code Last reconfirmed|0000-00-00 00:00:00 |2005-04-09 13:19:02 date| | Summary|ACATS ICE cxa5012 on ia64: |ACATS cxa5012 SEGV on on |insn does not satisfy its |x86_64 |constraints | |reload_cse_simplify_operands| |, at postreload.c:391 | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18847