[Bug ada/18659] [4.0 Regression] ACATS ICE in bug in tree-sra.c:1507 on x86 and ppc-darwin (6 FAIL)

["pinskia at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-15 07:12 -------
Reconfirmed, reduced testcase from c32001e:
PROCEDURE C32001E IS
BEGIN
     DECLARE
          PACKAGE PKG1 IS
               TYPE PACC IS PRIVATE;
               FUNCTION INIT5 (I : INTEGER) RETURN PACC;
               PROCEDURE CHECK5 (V : PACC; S : STRING);
          PRIVATE
               TYPE VECTOR IS ARRAY (NATURAL RANGE <>) OF INTEGER;
               TYPE PACC IS ACCESS VECTOR;
          END PKG1;
          PACKAGE BODY PKG1 IS
               FUNCTION INIT5 (I : INTEGER) RETURN PACC IS
                    ACCV : PACC := NEW VECTOR'(1 .. 0 => 0);
               BEGIN
                    RETURN ACCV;
               END INIT5;
               PROCEDURE CHECK5 (V : PACC; S : STRING) IS
               BEGIN
                    NULL;
               END CHECK5;
          END PKG1;
       USE PKG1;
       V1, V2   : PACC  := INIT5 (9);
     BEGIN
          NULL;          
     END;
END C32001E;


This still looks like a front-end bug because any slight removal of code it will not ICE.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|tree-optimization           |ada


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