public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/22140] New: ACATS ICE c37213j c37213l do_structure_copy, at tree-ssa-structalias.c:2372
@ 2005-06-21 19:39 laurent at guerby dot net
2005-06-21 19:47 ` [Bug ada/22140] [4.1 Regression] " pinskia at gcc dot gnu dot org
` (2 more replies)
0 siblings, 3 replies; 4+ messages in thread
From: laurent at guerby dot net @ 2005-06-21 19:39 UTC (permalink / raw)
To: gcc-bugs
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050621 (experimental) (x86_64-unknown-linux-gnu) GCC error: |
| tree check: expected integer_cst, have cond_expr in |
| do_structure_copy, at tree-ssa-structalias.c:2372 |
| Error detected at c37213j.adb:320:5 |
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050621 (experimental) (x86_64-unknown-linux-gnu) GCC error: |
| tree check: expected integer_cst, have cond_expr in |
| do_structure_copy, at tree-ssa-structalias.c:2372 |
| Error detected at c37213l.adb:329:5 |
--
Summary: ACATS ICE c37213j c37213l do_structure_copy, at tree-
ssa-structalias.c:2372
Product: gcc
Version: 4.1.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=22140
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/22140] [4.1 Regression] ACATS ICE c37213j c37213l do_structure_copy, at tree-ssa-structalias.c:2372
2005-06-21 19:39 [Bug ada/22140] New: ACATS ICE c37213j c37213l do_structure_copy, at tree-ssa-structalias.c:2372 laurent at guerby dot net
@ 2005-06-21 19:47 ` pinskia at gcc dot gnu dot org
2005-07-06 16:50 ` [Bug tree-optimization/22140] " cvs-commit at gcc dot gnu dot org
2005-07-06 17:32 ` pinskia at gcc dot gnu dot org
2 siblings, 0 replies; 4+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-21 19:47 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-21 19:47 -------
Reduced testcase from 22019 since it was just a related bug:
WITH REPORT; USE REPORT;
PROCEDURE C37213J IS
BEGIN
DECLARE
SUBTYPE SM IS INTEGER RANGE 1..10;
TYPE REC (D1, D2 : SM) IS
RECORD NULL; END RECORD;
TYPE MY_ARR IS ARRAY (SM RANGE <>) OF INTEGER;
GENERIC TYPE CONS IS PRIVATE;
PROCEDURE SUBTYP_CHK (OBJ_XCP : BOOLEAN;
TAG : STRING);
PROCEDURE SUBTYP_CHK (OBJ_XCP : BOOLEAN;
TAG : STRING) IS
SUBTYPE SCONS IS CONS;
X : SCONS;
FUNCTION VALUE RETURN SCONS IS
BEGIN
RETURN X;
END VALUE;
BEGIN
IF X /= VALUE THEN
FAILED ("");
END IF;
END SUBTYP_CHK;
TYPE VAR_REC_DEF1 (D3 : INTEGER := 1) IS
RECORD
CASE D3 IS
WHEN 1 =>
C1 : REC (D3, IDENT_INT(11));
WHEN OTHERS =>
C2 : INTEGER := IDENT_INT(5);
END CASE;
END RECORD;
PROCEDURE PROC3 IS NEW SUBTYP_CHK (VAR_REC_DEF1);
BEGIN
PROC3 (OBJ_XCP => TRUE, TAG => "PROC3");
END;
END C37213J;
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |dberlin at gcc dot gnu dot
| |org, pinskia at gcc dot gnu
| |dot org
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2005-06-21 19:47:16
date| |
Summary|ACATS ICE c37213j c37213l |[4.1 Regression] ACATS ICE
|do_structure_copy, at tree- |c37213j c37213l
|ssa-structalias.c:2372 |do_structure_copy, at tree-
| |ssa-structalias.c:2372
Target Milestone|--- |4.1.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22140
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug tree-optimization/22140] [4.1 Regression] ACATS ICE c37213j c37213l do_structure_copy, at tree-ssa-structalias.c:2372
2005-06-21 19:39 [Bug ada/22140] New: ACATS ICE c37213j c37213l do_structure_copy, at tree-ssa-structalias.c:2372 laurent at guerby dot net
2005-06-21 19:47 ` [Bug ada/22140] [4.1 Regression] " pinskia at gcc dot gnu dot org
@ 2005-07-06 16:50 ` cvs-commit at gcc dot gnu dot org
2005-07-06 17:32 ` pinskia at gcc dot gnu dot org
2 siblings, 0 replies; 4+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2005-07-06 16:50 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From cvs-commit at gcc dot gnu dot org 2005-07-06 16:50 -------
Subject: Bug 22140
CVSROOT: /cvs/gcc
Module name: gcc
Changes by: dberlin@gcc.gnu.org 2005-07-06 16:50:00
Modified files:
gcc : ChangeLog tree-ssa-structalias.c
Log message:
2005-07-06 Daniel Berlin <dberlin@dberlin.org>
Fix PR tree-optimization/22319
Fix PR tree-optimization/22140
Fix PR tree-optimization/22310
* tree-ssa-structalias.c (do_structure_copy): Give up earlier on
variable sized types.
Use correct type for intermediate structure on *a = *b structure
copies.
Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9356&r2=2.9357
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-structalias.c.diff?cvsroot=gcc&r1=2.12&r2=2.13
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22140
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug tree-optimization/22140] [4.1 Regression] ACATS ICE c37213j c37213l do_structure_copy, at tree-ssa-structalias.c:2372
2005-06-21 19:39 [Bug ada/22140] New: ACATS ICE c37213j c37213l do_structure_copy, at tree-ssa-structalias.c:2372 laurent at guerby dot net
2005-06-21 19:47 ` [Bug ada/22140] [4.1 Regression] " pinskia at gcc dot gnu dot org
2005-07-06 16:50 ` [Bug tree-optimization/22140] " cvs-commit at gcc dot gnu dot org
@ 2005-07-06 17:32 ` pinskia at gcc dot gnu dot org
2 siblings, 0 replies; 4+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-07-06 17:32 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-07-06 17:31 -------
Fixed.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22140
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2005-07-06 17:32 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-06-21 19:39 [Bug ada/22140] New: ACATS ICE c37213j c37213l do_structure_copy, at tree-ssa-structalias.c:2372 laurent at guerby dot net
2005-06-21 19:47 ` [Bug ada/22140] [4.1 Regression] " pinskia at gcc dot gnu dot org
2005-07-06 16:50 ` [Bug tree-optimization/22140] " cvs-commit at gcc dot gnu dot org
2005-07-06 17:32 ` pinskia at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).