[Bug ada/22019] New: do_structure_copy ICE on Ada gnatlib

[Bug ada/22019] New: do_structure_copy ICE on Ada gnatlib

[laurent at guerby dot net]

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

[Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib

[pinskia at gcc dot gnu dot org]

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

[Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib

[laurent at guerby dot net]

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

[Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib

[laurent at guerby dot net]

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

[Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib

[pluto at agmk dot net]

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

[Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib

[pinskia at gcc dot gnu dot org]

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

[Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib

[pinskia at gcc dot gnu dot org]

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

[Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib

[laurent at guerby dot net]

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

[Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib

[pluto at agmk dot net]

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

[Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib

[pinskia at gcc dot gnu dot org]

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

[Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib

[pinskia at gcc dot gnu dot org]

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

[Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib

[pluto at agmk dot net]

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

[Bug tree-optimization/22019] [4.1 Regression] do_structure_copy ICE on Ada gnatlib

[dnovillo at gcc dot gnu dot org]

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