------- 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