[Bug fortran/16705] New: ICE in verify_flow_insensitive_alias_info

[Bug fortran/16705] New: ICE in verify_flow_insensitive_alias_info

[schnetter at aei dot mpg dot de]

I receive an ICE for the attached Fortran source code.  I use 
 
$ /home/eschnett/gcc/bin/gfortran --version 
GNU Fortran 95 (GCC 3.5.0 20040724 (experimental)) 
 
with the options 
 
$ /home/eschnett/gcc/bin/gfortran -march=pentium4 -malign-double -g3 -O3 
-funroll-loops -Wall -Wshadow -c ih_interpolate.f90  
ih_interpolate.f90: In function `ih_interpolate': 
ih_interpolate.f90:0: error: Non-addressable variable inside an alias set. 
.GLOBAL_VAR, UID 3370, is an alias tag, is static, call clobbered, default 
def: .GLOBAL_VAR_5147 
TMT.3890, UID 3154, is an alias tag, is global, call clobbered, default def: 
TMT.3890_5164, may aliases: { .GLOBAL_VAR } 
ih_interpolate.f90:0: internal compiler error: 
verify_flow_insensitive_alias_info failed.

-- 
           Summary: ICE in verify_flow_insensitive_alias_info
           Product: gcc
           Version: 3.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: schnetter at aei dot mpg dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug fortran/16705] ICE in verify_flow_insensitive_alias_info

[schnetter at aei dot mpg dot de]

------- Additional Comments From schnetter at aei dot mpg dot de  2004-07-25 14:26 -------
Created an attachment (id=6825)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=6825&action=view)
failing source code


-- 


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

[Bug tree-optimization/16705] ICE in verify_flow_insensitive_alias_info

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-07-25 17:00 -------
This is most likely the same as Ada bootstrap failure too.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dnovillo at gcc dot gnu dot
                   |                            |org
           Severity|normal                      |critical
          Component|fortran                     |tree-optimization
           Keywords|                            |ice-on-valid-code
   Target Milestone|---                         |3.5.0


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

[Bug tree-optimization/16705] ICE in verify_flow_insensitive_alias_info

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-07-27 06:20 -------
I see this with a fortran to C compiler for SPEC CPU 2000FP code.
Can you please look into this bug, Diego?

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org


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

[Bug tree-optimization/16705] ICE in verify_flow_insensitive_alias_info

[dnovillo at redhat dot com]

------- Additional Comments From dnovillo at redhat dot com  2004-07-28 04:36 -------
Subject: Re:  ICE in
	verify_flow_insensitive_alias_info

On Tue, 2004-07-27 at 02:20, pinskia at gcc dot gnu dot org wrote:

> I see this with a fortran to C compiler for SPEC CPU 2000FP code.
> Can you please look into this bug, Diego?
>
This patches fixes this problem.  Essentially, we should always consider
.GLOBAL_VAR as potentially aliased.  This may have been related to the
Ada bootstrap problems.  Kenner, could you check?  Thanks.

I'm not quite sure whether this test can be added as-is to the fortran
testsuite.  Could anyone confirm if I can just drop it in gfortran.dg? 
How should I change the compile flags used?

Bootstrapped and tested x86 and ppc.


Diego.

	PR tree-optimization/16705
	* tree-ssa-alias.c (create_global_var): Set DECL_EXTERNAL on
	.GLOBAL_VAR.


Index: tree-ssa-alias.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/tree-ssa-alias.c,v
retrieving revision 2.17
diff -d -c -p -r2.17 tree-ssa-alias.c
*** tree-ssa-alias.c	27 Jul 2004 15:32:44 -0000	2.17
--- tree-ssa-alias.c	28 Jul 2004 04:15:26 -0000
*************** create_global_var (void)
*** 2202,2208 ****
                             size_type_node);
    DECL_ARTIFICIAL (global_var) = 1;
    TREE_READONLY (global_var) = 0;
!   DECL_EXTERNAL (global_var) = 0;
    TREE_STATIC (global_var) = 1;
    TREE_USED (global_var) = 1;
    DECL_CONTEXT (global_var) = NULL_TREE;
--- 2205,2211 ----
                             size_type_node);
    DECL_ARTIFICIAL (global_var) = 1;
    TREE_READONLY (global_var) = 0;
!   DECL_EXTERNAL (global_var) = 1;
    TREE_STATIC (global_var) = 1;
    TREE_USED (global_var) = 1;
    DECL_CONTEXT (global_var) = NULL_TREE;




-- 


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

[Bug tree-optimization/16705] ICE in verify_flow_insensitive_alias_info

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-07-28 04:53 -------
Subject: Bug 16705

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dnovillo@gcc.gnu.org	2004-07-28 04:53:24

Modified files:
	gcc            : ChangeLog tree-ssa-alias.c 

Log message:
	PR tree-optimization/16705
	* tree-ssa-alias.c (create_global_var): Set DECL_EXTERNAL on
	.GLOBAL_VAR.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.4716&r2=2.4717
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-alias.c.diff?cvsroot=gcc&r1=2.17&r2=2.18



-- 


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

[Bug tree-optimization/16705] [testcase] ICE in verify_flow_insensitive_alias_info

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-07-28 06:04 -------
Confirmed, just waiting for the testcase.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|critical                    |minor
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-07-28 06:04:39
               date|                            |
            Summary|ICE in                      |[testcase] ICE in
                   |verify_flow_insensitive_alia|verify_flow_insensitive_alia
                   |s_info                      |s_info


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

[Bug tree-optimization/16705] [testcase] ICE in verify_flow_insensitive_alias_info

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-08-03 05:55 -------
Closing as fixed.

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


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