[Bug tree-optimization/22438] New: [4.1 Regression] ICE SEGV in is_gimple_variable at tree-gimple.c:239

[Bug tree-optimization/22438] New: [4.1 Regression] ICE SEGV in is_gimple_variable at tree-gimple.c:239

[belyshev at depni dot sinp dot msu dot ru]

This patch:

2005-07-06  Zdenek Dvorak  <dvorakz@suse.cz>

	PR tree-optimization/21963
	* tree-ssa-loop-ivopts.c (get_computation_aff): Use
	constant_multiple_of in the same way get_computation_cost_at does.

introduces similar (to one described in PR 21963) segfault in is_gimple_variable,
here is C testcase, compile with -O:
------------------------------------------------------------------------------
int bar (char i, int c)
{
  int j = 0, k = 0;
  
  while (1)
    {
      j += i;
      if (!c)
	{
	  if (k)
	    break;
	}
      else
	k = 1;
    }
  return j;
}
------------------------------------------------------------------------------
backtrace:
Starting program: /home/ssb/src/build/gcc/cc1 -quiet
/home/ssb/src/bugs/pending/multi.i -O1

Program received signal SIGSEGV, Segmentation fault.
0x00000000004dfdc0 in is_gimple_variable (t=0x0)
    at ../../gcc41/gcc/tree-gimple.c:239
239	  return (TREE_CODE (t) == VAR_DECL
(gdb) bt
#0  0x00000000004dfdc0 in is_gimple_variable (t=0x0)
    at ../../gcc41/gcc/tree-gimple.c:239
#1  0x00000000004e0300 in is_gimple_val (t=0x0)
    at ../../gcc41/gcc/tree-gimple.c:366
#2  0x00000000004fc9f7 in force_gimple_operand (expr=0x0, 
    stmts=0x7fffff8e4ca8, simple=0 '\0', var=0x2aaaab14f8f0)
    at ../../gcc41/gcc/gimplify.c:4845
#3  0x00000000005a1184 in rewrite_use_nonlinear_expr (data=0x7fffff8e4e70, 
    use=0xede9a0, cand=0xedf480) at ../../gcc41/gcc/tree-ssa-loop-ivopts.c:5365
#4  0x00000000005a2dba in rewrite_use (data=0x7fffff8e4e70, use=0xede9a0, 
    cand=0xedf480) at ../../gcc41/gcc/tree-ssa-loop-ivopts.c:5729
#5  0x00000000005a2e75 in rewrite_uses (data=0x7fffff8e4e70)
    at ../../gcc41/gcc/tree-ssa-loop-ivopts.c:5765
#6  0x00000000005a3833 in tree_ssa_iv_optimize_loop (data=0x7fffff8e4e70, 
    loop=0xed0290) at ../../gcc41/gcc/tree-ssa-loop-ivopts.c:5941
#7  0x00000000005a38d8 in tree_ssa_iv_optimize (loops=0xede9f0)
    at ../../gcc41/gcc/tree-ssa-loop-ivopts.c:5978
#8  0x000000000055fc6d in tree_ssa_loop_ivopts ()
    at ../../gcc41/gcc/tree-ssa-loop.c:416
#9  0x00000000009b94fc in execute_one_pass (pass=0xdeaf80)
    at ../../gcc41/gcc/passes.c:774

-- 
           Summary: [4.1 Regression] ICE SEGV in is_gimple_variable at tree-
                    gimple.c:239
           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: belyshev at depni dot sinp dot msu dot ru
                CC: gcc-bugs at gcc dot gnu dot org,rakdver at gcc dot gnu
                    dot org
GCC target triplet: x86_64-*-linux-gnu


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

[Bug tree-optimization/22438] [4.1 Regression] ICE SEGV in is_gimple_variable at tree-gimple.c:239

[rakdver at gcc dot gnu dot org]

------- Additional Comments From rakdver at gcc dot gnu dot org  2005-07-12 12:10 -------
The problem is actually completely unrelated to PR 21963; I am working on it.

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


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

[Bug tree-optimization/22438] [4.1 Regression] ICE SEGV in is_gimple_variable at tree-gimple.c:239

[pinskia at gcc dot gnu dot org]

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


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

[Bug tree-optimization/22438] [4.1 Regression] ICE SEGV in is_gimple_variable at tree-gimple.c:239

[belyshev at depni dot sinp dot msu dot ru]

------- Additional Comments From belyshev at depni dot sinp dot msu dot ru  2005-07-20 14:46 -------
// even smaller testcase, compile with -O1:

int foo (char k)
{
  int i = 0, j;
  for (j = 0; j < 10; j++)
    i += k;
  return i;
}


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
 GCC target triplet|x86_64-*-linux-gnu          |
   Last reconfirmed|2005-07-12 22:13:17         |2005-07-20 14:46:59
               date|                            |


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

[Bug tree-optimization/22438] [4.1 Regression] ICE SEGV in is_gimple_variable at tree-gimple.c:239

[belyshev at depni dot sinp dot msu dot ru]

------- Additional Comments From belyshev at depni dot sinp dot msu dot ru  2005-07-20 15:26 -------
setting severety to 'critical' because fails almost everywhere with -O1

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical


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

[Bug tree-optimization/22438] [4.1 Regression] ICE SEGV in is_gimple_variable at tree-gimple.c:239

[belyshev at depni dot sinp dot msu dot ru]

------- Additional Comments From belyshev at depni dot sinp dot msu dot ru  2005-09-10 13:03 -------
*** Bug 22516 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |falk at debian dot org


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

[Bug tree-optimization/22438] [4.1 Regression] ICE SEGV in is_gimple_variable at tree-gimple.c:239

[rguenth at gcc dot gnu dot org]

------- Additional Comments From rguenth at gcc dot gnu dot org  2005-09-18 14:44 -------
*** Bug 23945 has been marked as a duplicate of this bug. ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marcus at jet dot franken
                   |                            |dot de


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

[Bug tree-optimization/22438] [4.1 Regression] ICE SEGV in is_gimple_variable at tree-gimple.c:239

[marcus at jet dot franken dot de]

------- Additional Comments From marcus at jet dot franken dot de  2005-09-20 14:48 -------
any progress here? 

-- 


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

[Bug tree-optimization/22438] [4.1 Regression] ICE SEGV in is_gimple_variable at tree-gimple.c:239

[rakdver at gcc dot gnu dot org]

------- Additional Comments From rakdver at gcc dot gnu dot org  2005-09-20 14:49 -------
I have pinged the patch today.

-- 


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

[Bug tree-optimization/22438] [4.1 Regression] ICE SEGV in is_gimple_variable at tree-gimple.c:239

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-09-20 14:50 -------
(In reply to comment #6)
> any progress here? 

The patch was just pinged today:
http://gcc.gnu.org/ml/gcc-patches/2005-09/msg01239.html

-- 


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

[Bug tree-optimization/22438] [4.1 Regression] ICE SEGV in is_gimple_variable at tree-gimple.c:239

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-09-22 11:24 -------
Subject: Bug 22438

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	rakdver@gcc.gnu.org	2005-09-22 11:24:01

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

Log message:
	PR tree-optimization/22438
	* tree-ssa-loop-ivopts.c (rewrite_use_nonlinear_expr): Handle all
	preserved iv rhs rewriting specially.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.10001&r2=2.10002
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-loop-ivopts.c.diff?cvsroot=gcc&r1=2.88&r2=2.89



-- 


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

[Bug tree-optimization/22438] [4.1 Regression] ICE SEGV in is_gimple_variable at tree-gimple.c:239

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-09-22 15:25 -------
Fixed.

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


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