[Bug tree-optimization/24307] New: ICE in early_tree_profile

[Bug tree-optimization/24307] New: ICE in early_tree_profile

[rguenth at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1959 bytes --]

/space/rguenther/obj/gcc-libgfortran/gcc/f951
/space/rguenther/src/gcc-libgfortran/gcc/testsuite/gfortran.fortran-torture/execute/character_select_1.f90
-quiet -dumpbase character_select_1.f90 -mtune=pentiumpro -auxbase
character_select_1 -O0 -w -version -fprofile-generate -o character_select_1.s
/space/rguenther/src/gcc-libgfortran/gcc/testsuite/gfortran.fortran-torture/execute/character_select_1.f90:
In function ‘MAIN__’:
/space/rguenther/src/gcc-libgfortran/gcc/testsuite/gfortran.fortran-torture/execute/character_select_1.f90:3:
internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

(gdb) bt
#0  0x080b94c6 in is_gimple_variable (t=0x0) at tree-gimple.c:239
#1  0x080b963e in is_gimple_val (t=0x0) at tree-gimple.c:366
#2  0x083ab6cc in tree_find_edge_insert_loc (e=<value optimized out>, 
    bsi=0xbfa5e524, new_bb=0x0) at tree-cfg.c:2973
#3  0x083ab950 in bsi_commit_one_edge_insert (e=0x401cb2f8, new_bb=0x0)
    at tree-cfg.c:3026
#4  0x083ae44f in bsi_commit_edge_inserts () at tree-cfg.c:3007
#5  0x082d2452 in branch_prob () at profile.c:1129
#6  0x0834c90a in tree_profiling () at tree-profile.c:246
#7  0x0834c22c in execute_one_pass (pass=0x855d3a0) at passes.c:832


Testcase from the gfortran.fortran-torture/execute suite:

CHARACTER(LEN=6) :: C = "STEVEN"

SELECT CASE (C)
   CASE ("AAA":"EEE")
      CALL abort
   CASE ("R":"T")
      CONTINUE
   CASE DEFAULT
      CALL abort
END SELECT
END


-- 
           Summary: ICE in early_tree_profile
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rguenth at gcc dot gnu dot org


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

[Bug tree-optimization/24307] [4.1 regression] ICE in early_tree_profile

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hubicka at gcc dot gnu dot
                   |                            |org
            Summary|ICE in early_tree_profile   |[4.1 regression] ICE in
                   |                            |early_tree_profile
   Target Milestone|---                         |4.1.0


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

[Bug tree-optimization/24307] [4.1 regression] ICE in early_tree_profile

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2005-10-11 13:44 -------
Confirmed, here is a C testcase:
struct a
{
  void *l;
  char *k;
};

void *f(struct a*, int len, char*);

void fgg(void)
{
  void * gotovar;
  struct a jmp[] = {{&&L1, ""}, {&&L2, "EEE"}, {&&L3, "T"}};
  gotovar = f(jmp, 3, "STEVEN");
  goto *gotovar;

  L1:
   __builtin_abort();
  L2:
   __builtin_abort();
L3:
  goto L4;

L4:
;

}


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-10-11 13:44:20
               date|                            |


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

[Bug tree-optimization/24307] [4.1 regression] ICE in early_tree_profile with fortran/computed gotos

[steven at gcc dot gnu dot org]

------- Comment #2 from steven at gcc dot gnu dot org  2005-10-19 15:47 -------
Index: tree-cfg.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/tree-cfg.c,v
retrieving revision 2.224
diff -u -3 -p -r2.224 tree-cfg.c
--- tree-cfg.c  16 Oct 2005 00:07:17 -0000      2.224
+++ tree-cfg.c  19 Oct 2005 15:47:13 -0000
@@ -2937,7 +2937,7 @@ tree_find_edge_insert_loc (edge e, block
       if (TREE_CODE (tmp) == RETURN_EXPR)
         {
          tree op = TREE_OPERAND (tmp, 0);
-         if (!is_gimple_val (op))
+         if (op && !is_gimple_val (op))
            {
              gcc_assert (TREE_CODE (op) == MODIFY_EXPR);
              bsi_insert_before (bsi, op, BSI_NEW_STMT);

?


-- 


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

[Bug tree-optimization/24307] [4.1 regression] ICE in early_tree_profile with fortran/computed gotos

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2005-10-20 08:29 -------
The patch fixes the failure I saw with compiling a FDO libgfortran.  And it
looks obvious btw.


-- 


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

[Bug tree-optimization/24307] [4.1 regression] ICE in early_tree_profile with fortran/computed gotos

[steven at gcc dot gnu dot org]

-- 

steven at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |steven at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2005-10-11 13:44:20         |2005-10-20 21:10:20
               date|                            |


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

[Bug tree-optimization/24307] [4.1 regression] ICE in early_tree_profile with fortran/computed gotos

[steven at gcc dot gnu dot org]

------- Comment #4 from steven at gcc dot gnu dot org  2005-10-20 21:11 -------
http://gcc.gnu.org/ml/gcc-patches/2005-10/msg01260.html

Ignore the wrong bug number.  This is just the same patch as the one
in comment #2.


-- 

steven at gcc dot gnu dot org changed:

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


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