public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/22019] New: do_structure_copy ICE on Ada gnatlib
@ 2005-06-11 18:30 laurent at guerby dot net
2005-06-11 18:32 ` [Bug tree-optimization/22019] [4.1 Regression] " pinskia at gcc dot gnu dot org
` (11 more replies)
0 siblings, 12 replies; 13+ messages in thread
From: laurent at guerby dot net @ 2005-06-11 18:30 UTC (permalink / raw)
To: gcc-bugs
../../xgcc -B../../ -c -g -O2 -fPIC -W -Wall -gnatpg g-socket.adb -o
g-socket.o
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050610 (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:2321 |
| Error detected at g-socket.adb:2236:1 |
Works at -O0
--
Summary: do_structure_copy ICE on Ada gnatlib
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: dberlin at gcc dot gnu dot org,gcc-bugs at gcc dot gnu
dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22019
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib
2005-06-11 18:30 [Bug ada/22019] New: do_structure_copy ICE on Ada gnatlib laurent at guerby dot net
@ 2005-06-11 18:32 ` pinskia at gcc dot gnu dot org
2005-06-11 20:49 ` laurent at guerby dot net
` (10 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-11 18:32 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |pinskia at gcc dot gnu dot
| |org
BugsThisDependsOn| |21959
Component|ada |tree-optimization
Summary|do_structure_copy ICE on Ada|[4.1 Regression]
|gnatlib |do_structure_copy ICE on Ada
| |gnatlib
Target Milestone|--- |4.1.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22019
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib
2005-06-11 18:30 [Bug ada/22019] New: do_structure_copy ICE on Ada gnatlib laurent at guerby dot net
2005-06-11 18:32 ` [Bug tree-optimization/22019] [4.1 Regression] " pinskia at gcc dot gnu dot org
@ 2005-06-11 20:49 ` laurent at guerby dot net
2005-06-11 21:58 ` laurent at guerby dot net
` (9 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: laurent at guerby dot net @ 2005-06-11 20:49 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From laurent at guerby dot net 2005-06-11 20:49 -------
gnattools hits the same ICE on two files, -O0 works there too. Now on to ACATS...
../../xgcc -B../../ -c -g -O2 -W -Wall -Wwrite-strings -Wstrict-prototypes
-Wmissing-prototypes -fno-common -gnatpg -gnata -I- -I../rts -I.
-I/home/guerby/work/gcc/version-head/gcc/ada
/home/guerby/work/gcc/version-head/gcc/ada/make.adb -o make.o
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050610 (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:2321 |
| Error detected at make.adb:7263:23 |
../../xgcc -B../../ -c -g -O2 -W -Wall -Wwrite-strings -Wstrict-prototypes
-Wmissing-prototypes -fno-common -gnatpg -gnata -I- -I../rts -I.
-I/home/guerby/work/gcc/version-head/gcc/ada
/home/guerby/work/gcc/version-head/gcc/ada/prj-util.adb -o prj-util.o
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050610 (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:2321 |
| Error detected at prj-util.adb:668:1 |
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22019
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib
2005-06-11 18:30 [Bug ada/22019] New: do_structure_copy ICE on Ada gnatlib laurent at guerby dot net
2005-06-11 18:32 ` [Bug tree-optimization/22019] [4.1 Regression] " pinskia at gcc dot gnu dot org
2005-06-11 20:49 ` laurent at guerby dot net
@ 2005-06-11 21:58 ` laurent at guerby dot net
2005-06-13 11:56 ` pluto at agmk dot net
` (8 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: laurent at guerby dot net @ 2005-06-11 21:58 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From laurent at guerby dot net 2005-06-11 21:58 -------
2 ACATS tests with the same ICE:
c37213j
c37213l
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050610 (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:2321 |
| Error detected at c37213j.adb:320:5 |
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050610 (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:2321 |
| Error detected at c37213l.adb:329:5 |
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22019
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib
2005-06-11 18:30 [Bug ada/22019] New: do_structure_copy ICE on Ada gnatlib laurent at guerby dot net
` (2 preceding siblings ...)
2005-06-11 21:58 ` laurent at guerby dot net
@ 2005-06-13 11:56 ` pluto at agmk dot net
2005-06-14 2:20 ` pinskia at gcc dot gnu dot org
` (7 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: pluto at agmk dot net @ 2005-06-13 11:56 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pluto at agmk dot net 2005-06-13 11:56 -------
ICE with gcc-4.1 20050613/09:58 cvs snap.
../../xgcc -B../../ -c -g -O2 -fPIC -W -Wall -gnatpg g-socket.adb
-o g-socket.o
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050613 (experimental) (i686-pld-linux-gnu) GCC error: |
| tree check: expected integer_cst, have cond_expr in |
| do_structure_copy, at tree-ssa-structalias.c:2324 |
| Error detected at g-socket.adb:2236:1 |
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22019
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib
2005-06-11 18:30 [Bug ada/22019] New: do_structure_copy ICE on Ada gnatlib laurent at guerby dot net
` (3 preceding siblings ...)
2005-06-13 11:56 ` pluto at agmk dot net
@ 2005-06-14 2:20 ` pinskia at gcc dot gnu dot org
2005-06-14 4:27 ` pinskia at gcc dot gnu dot org
` (6 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-14 2:20 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-14 02:19 -------
Confirmed, might produce a reduce testcase after the full run.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2005-06-14 02:19:40
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22019
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib
2005-06-11 18:30 [Bug ada/22019] New: do_structure_copy ICE on Ada gnatlib laurent at guerby dot net
` (4 preceding siblings ...)
2005-06-14 2:20 ` pinskia at gcc dot gnu dot org
@ 2005-06-14 4:27 ` pinskia at gcc dot gnu dot org
2005-06-14 19:33 ` laurent at guerby dot net
` (5 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-14 4:27 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-14 04:27 -------
This is the smallest testcase I can get it:
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;
Note the use of case.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22019
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib
2005-06-11 18:30 [Bug ada/22019] New: do_structure_copy ICE on Ada gnatlib laurent at guerby dot net
` (5 preceding siblings ...)
2005-06-14 4:27 ` pinskia at gcc dot gnu dot org
@ 2005-06-14 19:33 ` laurent at guerby dot net
2005-06-16 11:28 ` pluto at agmk dot net
` (4 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: laurent at guerby dot net @ 2005-06-14 19:33 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From laurent at guerby dot net 2005-06-14 19:33 -------
Here is a reduced test case from g-socket, it ICEs the same way at -O2.
As additional information, it looks like the problem happens when an array is
determining the size of a discriminated record (which is max size of all case
items of the record).
-- file q.ads
package Q is
subtype Str is String (1 .. 2);
type Inet_Addr_Type (Family : Boolean := False) is record
case Family is
when True =>
X : Str;
when False =>
Y : Character;
end case;
end record;
-- Note: ICE only if X'size > Y'Size, ie replace 2 by 1 it works, or
-- replace Character by Integer it works.
type Inet_Addr_Array is array (1 .. 1) of Inet_Addr_Type;
function F (X : in Inet_Addr_Array) return Inet_Addr_Type;
end Q;
-- file q.adb
package body Q is
function F (X : in Inet_Addr_Array) return Inet_Addr_Type is
begin
return X(1);
end F;
end Q;
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |kenner at vlsi1 dot ultra
| |dot nyu dot edu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22019
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib
2005-06-11 18:30 [Bug ada/22019] New: do_structure_copy ICE on Ada gnatlib laurent at guerby dot net
` (6 preceding siblings ...)
2005-06-14 19:33 ` laurent at guerby dot net
@ 2005-06-16 11:28 ` pluto at agmk dot net
2005-06-19 2:49 ` pinskia at gcc dot gnu dot org
` (3 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: pluto at agmk dot net @ 2005-06-16 11:28 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pluto at agmk dot net 2005-06-16 11:28 -------
(In reply to comment #6)
> Here is a reduced test case from g-socket, it ICEs the same way at -O2.
it ices at -O1 too (with -O0 works fine).
$ ../../xgcc -B../.. q.adb -c -O1
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050616 (experimental) (x86_64-pld-linux-gnu) GCC error: |
| tree check: expected integer_cst, have cond_expr in |
| do_structure_copy, at tree-ssa-structalias.c:2324 |
| Error detected at q.adb:4:16
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22019
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib
2005-06-11 18:30 [Bug ada/22019] New: do_structure_copy ICE on Ada gnatlib laurent at guerby dot net
` (7 preceding siblings ...)
2005-06-16 11:28 ` pluto at agmk dot net
@ 2005-06-19 2:49 ` pinskia at gcc dot gnu dot org
2005-06-21 17:08 ` pinskia at gcc dot gnu dot org
` (2 subsequent siblings)
11 siblings, 0 replies; 13+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-19 2:49 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-19 02:49 -------
Actually the ICE in the testsuite is a different bug from the bootstrap ICE.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22019
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib
2005-06-11 18:30 [Bug ada/22019] New: do_structure_copy ICE on Ada gnatlib laurent at guerby dot net
` (8 preceding siblings ...)
2005-06-19 2:49 ` pinskia at gcc dot gnu dot org
@ 2005-06-21 17:08 ` pinskia at gcc dot gnu dot org
2005-06-24 14:47 ` pluto at agmk dot net
2005-06-28 1:14 ` dnovillo at gcc dot gnu dot org
11 siblings, 0 replies; 13+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-21 17:08 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-06-21 17:08 -------
The g-socket.o is not fixed, please file a new bug for the testsuite failures if they have not been fixed.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22019
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib
2005-06-11 18:30 [Bug ada/22019] New: do_structure_copy ICE on Ada gnatlib laurent at guerby dot net
` (9 preceding siblings ...)
2005-06-21 17:08 ` pinskia at gcc dot gnu dot org
@ 2005-06-24 14:47 ` pluto at agmk dot net
2005-06-28 1:14 ` dnovillo at gcc dot gnu dot org
11 siblings, 0 replies; 13+ messages in thread
From: pluto at agmk dot net @ 2005-06-24 14:47 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pluto at agmk dot net 2005-06-24 14:47 -------
(In reply to comment #9)
> The g-socket.o is not fixed, please file a new bug for the testsuite
failures if they have not been fixed.
$ gcc q.adb -O2 -c
$ gcc -v
Reading specs from /usr/lib/gcc/i686-pld-linux/4.1.0/specs
Target: i686-pld-linux
Configured with: ../configure --prefix=/usr --libdir=/usr/lib
--libexecdir=/usr/lib --infodir=/usr/share/info --mandir=/usr/share/man
--enable-shared --enable-threads=posix --enable-__cxa_atexit
--enable-languages=c,c++,ada --enable-c99 --enable-long-long
--disable-multilib --enable-nls --disable-werror --with-gnu-as --with-gnu-ld
--with-demangler-in-ld --with-system-zlib --with-slibdir=/lib --without-x
i686-pld-linux
Thread model: posix
gcc version 4.1.0 20050624 (experimental)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22019
^ permalink raw reply [flat|nested] 13+ messages in thread
* [Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib
2005-06-11 18:30 [Bug ada/22019] New: do_structure_copy ICE on Ada gnatlib laurent at guerby dot net
` (10 preceding siblings ...)
2005-06-24 14:47 ` pluto at agmk dot net
@ 2005-06-28 1:14 ` dnovillo at gcc dot gnu dot org
11 siblings, 0 replies; 13+ messages in thread
From: dnovillo at gcc dot gnu dot org @ 2005-06-28 1:14 UTC (permalink / raw)
To: gcc-bugs
--
Bug 22019 depends on bug 21959, which changed state.
Bug 21959 Summary: [4.1 Regression] vrp miscompiles Ada front-end, drops loop exit test in well-defined wrap-around circumstances
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21959
What |Old Value |New Value
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22019
^ permalink raw reply [flat|nested] 13+ messages in thread
end of thread, other threads:[~2005-06-28 1:14 UTC | newest]
Thread overview: 13+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-06-11 18:30 [Bug ada/22019] New: do_structure_copy ICE on Ada gnatlib laurent at guerby dot net
2005-06-11 18:32 ` [Bug tree-optimization/22019] [4.1 Regression] " pinskia at gcc dot gnu dot org
2005-06-11 20:49 ` laurent at guerby dot net
2005-06-11 21:58 ` laurent at guerby dot net
2005-06-13 11:56 ` pluto at agmk dot net
2005-06-14 2:20 ` pinskia at gcc dot gnu dot org
2005-06-14 4:27 ` pinskia at gcc dot gnu dot org
2005-06-14 19:33 ` laurent at guerby dot net
2005-06-16 11:28 ` pluto at agmk dot net
2005-06-19 2:49 ` pinskia at gcc dot gnu dot org
2005-06-21 17:08 ` pinskia at gcc dot gnu dot org
2005-06-24 14:47 ` pluto at agmk dot net
2005-06-28 1:14 ` dnovillo 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).