[Bug tree-optimization/23509] New: [4.0 regression] ICE with ivopts

[Bug tree-optimization/23509] New: [4.0 regression] ICE with ivopts

[falk at debian dot org]

Test case:

void block_diffs_C(int *ss, int *new, int ns, int *newp) {
    int x, y, s = 0;
    for (x = 0; x < 8; x++) {
        newp = new++;
        for (y = 0; y < 4; y++)
            s += *newp++;
        *ss = s;
    }
}

With GNU C version 4.1.0 20050810 (experimental) (alphaev68-unknown-linux-gnu)
at -O3, I get:
363.c: In function 'block_diffs_C':
363.c:1: internal compiler error: tree check: expected ssa_name, have error_mark
in verify_ssa, at tree-ssa.c:746
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-fno-ivopts makes it go away.

-- 
           Summary: [4.0 regression] ICE with ivopts
           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: falk at debian dot org
                CC: gcc-bugs at gcc dot gnu dot org


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

[Bug tree-optimization/23509] [4.1 regression] ICE with ivopts

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-21 21:19 -------
Confirmed.

There are different ICE on different targets:
on x86-linux-gnu: t.c:1: internal compiler error: in finalize_ssa_uses, at tree-ssa-operands.c:580
on ppc-darwin: t.c:1: internal compiler error: Bus error


Both ICEs are from after/during IV-OPTs.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rakdver at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-08-21 21:19:08
               date|                            |
            Summary|[4.0 regression] ICE with   |[4.1 regression] ICE with
                   |ivopts                      |ivopts
   Target Milestone|---                         |4.1.0


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

[Bug tree-optimization/23509] [4.1 regression] ICE with ivopts

[rakdver at gcc dot gnu dot org]

------- Additional Comments From rakdver at gcc dot gnu dot org  2005-08-24 12:30 -------
Working on that. 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rakdver at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


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

[Bug tree-optimization/23509] [4.1 regression] ICE with ivopts

[rakdver at gcc dot gnu dot org]

------- Additional Comments From rakdver at gcc dot gnu dot org  2005-08-27 12:18 -------
Patch.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |http://gcc.gnu.org/ml/gcc-
                   |                            |patches/2005-
                   |                            |08/msg01624.html


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

[Bug tree-optimization/23509] [4.1 regression] ICE with ivopts

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-29 18:09 -------
*** Bug 23627 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |micis at gmx dot de


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

[Bug tree-optimization/23509] [4.1 regression] ICE with ivopts

[qrczak at knm dot org dot pl]

------- Additional Comments From qrczak at knm dot org dot pl  2005-08-31 22:23 -------
*** Bug 23657 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |qrczak at knm dot org dot pl


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

[Bug tree-optimization/23509] [4.1 regression] ICE with ivopts

[mec at google dot com]

------- Additional Comments From mec at google dot com  2005-09-03 20:16 -------
Here is another test with confirmatory data.

Test case, reduced from some firefox code:

int punycode_decode(const char input[], unsigned char case_flags[])
{
  int j;

  for (j = 0; j < 128; ++j) {
    if (case_flags)
      case_flags[j] = input[j] - 65 < 26;
    if (input[j] < 32)
      return -1;
  }

  return 0;
}

With native i686-pc-linux-gnu, my results are:

gcc 4.0.1, command line "gcc -S -O3 z1.i", no error

gcc 4.1-20050819 snapshot, command line "gcc -S -O3 z1.i", ICE:
z1.i: In function 'punycode_decode':
z1.i:2: internal compiler error: in finalize_ssa_uses, at tree-ssa-operands.c:580

gcc 4.1-20050902 snapshot, command line "gcc -S -O3 z1.i", ICE:
z1.i: In function 'punycode_decode':
z1.i:2: internal compiler error: in finalize_ssa_uses, at tree-ssa-operands.c:580

gcc 4.1-20050902 snapshot, command line "gcc -S -O3 -fno-ivopts z1.i", no error

gcc 4.1-20050902 snapshot + zdenek patch, command line "gcc -S -O3 z1.i", no error

zdenek patch is the version from
http://gcc.gnu.org/ml/gcc-patches/2005-08/msg01647.html .



-- 


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

[Bug tree-optimization/23509] [4.1 regression] ICE with ivopts

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-09-09 16:17 -------
Subject: Bug 23509

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	rakdver@gcc.gnu.org	2005-09-09 16:17:26

Modified files:
	gcc            : ChangeLog tree-cfg.c tree-ssa-loop-ivopts.c 

Log message:
	PR tree-optimization/23509
	* tree-cfg.c (replace_uses_by): Use replace_exp.
	* tree-ssa-loop-ivopts.c (get_ref_tag): Assert that dereferenced
	pointers have name_mem_tag or type_mem_tag set.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9927&r2=2.9928
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-cfg.c.diff?cvsroot=gcc&r1=2.219&r2=2.220
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-loop-ivopts.c.diff?cvsroot=gcc&r1=2.87&r2=2.88



-- 


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

[Bug tree-optimization/23509] [4.1 regression] ICE with ivopts

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-09-09 17:59 -------
Fixed.

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


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