[Bug ada/18847] New: ACATS ICE cxa5012 on ia64: insn does not satisfy its constraints reload_cse_simplify_operands, at postreload.c:391

[Bug ada/18847] New: ACATS ICE cxa5012 on ia64: insn does not satisfy its constraints reload_cse_simplify_operands, at postreload.c:391

[laurent at guerby dot net]

It happens only on ia64-linux (works on x86, x86_64 and ppc)

cxa5012.adb: In function 'CXA5012':
cxa5012.adb:536: error: insn does not satisfy its constraints:
(insn 9364 1388 9365 0 (set (reg/v:SI 321 b1 [orig:505
estring_pack__null_bounded_string$data$26 ] [505])
        (reg:SI 14 r14)) 4 {*movsi_internal} (nil)
    (nil))
+===========================GNAT BUG DETECTED==============================+
| 4.0.0 20041205 (experimental) (ia64-suse-linux-gnu) GCC error:           |
| in reload_cse_simplify_operands, at postreload.c:391                     |
| Error detected at cxa5012.adb:536:5                                      |

-- 
           Summary: ACATS ICE cxa5012 on ia64: insn does not satisfy its
                    constraints reload_cse_simplify_operands, at
                    postreload.c:391
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: laurent at guerby dot net
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug target/18847] ACATS ICE cxa5012 on ia64: insn does not satisfy its constraints reload_cse_simplify_operands, at postreload.c:391

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|ada                         |target
 GCC target triplet|                            |ia64-*-linux-gnu


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

[Bug target/18847] ACATS ICE cxa5012 on ia64: insn does not satisfy its constraints reload_cse_simplify_operands, at postreload.c:391

[schwab at suse dot de]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |schwab at suse dot de


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

[Bug target/18847] ACATS ICE cxa5012 on ia64: insn does not satisfy its constraints reload_cse_simplify_operands, at postreload.c:391

[laurent at guerby dot net]

------- Additional Comments From laurent at guerby dot net  2004-12-06 20:06 -------
On x86_64 at -O0 this tests SEGV at runtime (but on x86 -O0 it works and on ia64
at -O0 it also works).


-- 


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

[Bug target/18847] ACATS cxa5012 SEGV on on x86_64

[laurent at guerby dot net]

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

[Bug target/18847] ACATS cxa5012 SEGV on on x86_64

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-04-16 07:22 -------
Subject: Bug 18847

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	guerby@gcc.gnu.org	2005-04-16 07:22:03

Modified files:
	gcc/ada        : a-nudira.adb a-nuflra.adb ChangeLog 

Log message:
	2005-04-16  Laurent GUERBY  <laurent@guerby.net>
	
	PR ada/18847
	* a-nudira.adb (Value): Check for valid string.
	* a-nuflra.adb (Value): Likewise.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/a-nudira.adb.diff?cvsroot=gcc&r1=1.5&r2=1.6
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/a-nuflra.adb.diff?cvsroot=gcc&r1=1.5&r2=1.6
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/ChangeLog.diff?cvsroot=gcc&r1=1.660&r2=1.661



-- 


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

[Bug target/18847] [4.0 only] ACATS cxa5012 SEGV on on x86_64

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ACATS cxa5012 SEGV on on    |[4.0 only] ACATS cxa5012
                   |x86_64                      |SEGV on on x86_64
   Target Milestone|---                         |4.0.1


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

[Bug ada/18847] [4.0 only] ACATS cxa5012 SEGV on on x86_64

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-04-24 19:22 -------
Subject: Bug 18847

CVSROOT:	/cvs/gcc
Module name:	gcc
Branch: 	gcc-4_0-branch
Changes by:	guerby@gcc.gnu.org	2005-04-24 19:21:56

Modified files:
	gcc/ada        : ChangeLog a-nudira.adb a-nuflra.adb 

Log message:
	2005-04-24  Laurent GUERBY  <laurent@guerby.net>
	
	PR ada/18847
	* a-nudira.adb (Value): Check for valid string.
	* a-nuflra.adb (Value): Likewise.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/ChangeLog.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.638.4.13&r2=1.638.4.14
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/a-nudira.adb.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.5&r2=1.5.70.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ada/a-nuflra.adb.diff?cvsroot=gcc&only_with_tag=gcc-4_0-branch&r1=1.5&r2=1.5.70.1



-- 


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

[Bug ada/18847] [4.0 only] ACATS cxa5012 SEGV on on x86_64

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-04-24 19:25 -------
Fixed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


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