[Bug middle-end/35400] New: [4.4 regression] -Wtype-limits -O2 causes ICE tree check: expected ssa_name, have addr_expr in get_value_range, at tree-vrp.c:469

[Bug middle-end/35400] New: [4.4 regression] -Wtype-limits -O2 causes ICE tree check: expected ssa_name, have addr_expr in get_value_range, at tree-vrp.c:469

[gerald at pfeifer dot com]

This is a regression probably introduced roughly three or four days ago,
unless it's due to a change in the codebase I'm building (which is Wine):

...gcc -Wtype-limits -O2 action.i
action.c: In function 'move_files_wildcard':
action.c:5232: internal compiler error: tree check: expected ssa_name, have
addr_expr in get_value_range, at tree-vrp.c:469


-- 
           Summary: [4.4 regression] -Wtype-limits -O2 causes ICE tree
                    check: expected ssa_name, have addr_expr in
                    get_value_range, at tree-vrp.c:469
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: gerald at pfeifer dot com
  GCC host triplet: i386-unknown-freebsd6.2tt


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

[Bug middle-end/35400] [4.4 regression] -Wtype-limits -O2 causes ICE tree check: expected ssa_name, have addr_expr in get_value_range, at tree-vrp.c:469

[gerald at pfeifer dot com]

------- Comment #1 from gerald at pfeifer dot com  2008-02-28 20:25 -------
Created an attachment (id=15242)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15242&action=view)
Testcase to reproduce


-- 


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

[Bug middle-end/35400] [4.4 Regression] -Wtype-limits -O2 causes ICE tree check: expected ssa_name, have addr_expr in get_value_range, at tree-vrp.c:469

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
            Summary|[4.4 regression] -Wtype-    |[4.4 Regression] -Wtype-
                   |limits -O2 causes ICE tree  |limits -O2 causes ICE tree
                   |check: expected ssa_name,   |check: expected ssa_name,
                   |have addr_expr in           |have addr_expr in
                   |get_value_range, at tree-   |get_value_range, at tree-
                   |vrp.c:469                   |vrp.c:469
   Target Milestone|---                         |4.4.0


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

[Bug middle-end/35400] [4.4 Regression] -Wtype-limits -O2 causes ICE tree check: expected ssa_name, have addr_expr in get_value_range, at tree-vrp.c:469

[manu at gcc dot gnu dot org]

------- Comment #2 from manu at gcc dot gnu dot org  2008-02-29 00:12 -------
(In reply to comment #0)
> This is a regression probably introduced roughly three or four days ago,
> unless it's due to a change in the codebase I'm building (which is Wine):
> 
> ...gcc -Wtype-limits -O2 action.i
> action.c: In function 'move_files_wildcard':
> action.c:5232: internal compiler error: tree check: expected ssa_name, have
> addr_expr in get_value_range, at tree-vrp.c:469
> 

Revision 132591 ?


-- 

manu at gcc dot gnu dot org changed:

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


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

[Bug middle-end/35400] [4.4 Regression] -Wtype-limits -O2 causes ICE tree check: expected ssa_name, have addr_expr in get_value_range, at tree-vrp.c:469

[gerald at pfeifer dot com]

------- Comment #3 from gerald at pfeifer dot com  2008-02-29 00:20 -------
The last one that I tested was 132756, and that one was broken.  Or do you
mean 132591 might be the culprit?


-- 


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

[Bug middle-end/35400] [4.4 Regression] -Wtype-limits -O2 causes ICE tree check: expected ssa_name, have addr_expr in get_value_range, at tree-vrp.c:469

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2008-02-29 12:50 -------
Likely caused by diegos change.


-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug middle-end/35400] [4.4 Regression] -Wtype-limits -O2 causes ICE tree check: expected ssa_name, have addr_expr in get_value_range, at tree-vrp.c:469

[jsm28 at gcc dot gnu dot org]

-- 

jsm28 at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Priority|P3                          |P1
   Last reconfirmed|0000-00-00 00:00:00         |2008-03-15 01:26:15
               date|                            |


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

[Bug middle-end/35400] [4.4 Regression] -Wtype-limits -O2 causes ICE tree check: expected ssa_name, have addr_expr in get_value_range, at tree-vrp.c:469

[rguenth at gcc dot gnu dot org]

------- Comment #5 from rguenth at gcc dot gnu dot org  2008-03-15 19:22 -------
*** Bug 35530 has been marked as a duplicate of this bug. ***


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dcb314 at hotmail dot com


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

[Bug middle-end/35400] [4.4 Regression] -Wtype-limits -O2 causes ICE tree check: expected ssa_name, have addr_expr in get_value_range, at tree-vrp.c:469

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2008-03-22 14:55 -------
*** Bug 35663 has been marked as a duplicate of this bug. ***


-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug middle-end/35400] [4.4 Regression] -Wtype-limits -O2 causes ICE tree check: expected ssa_name, have addr_expr in get_value_range, at tree-vrp.c:469

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |blocker


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

[Bug middle-end/35400] [4.4 Regression] -Wtype-limits -O2 causes ICE tree check: expected ssa_name, have addr_expr in get_value_range, at tree-vrp.c:469

[reichelt at gcc dot gnu dot org]

------- Comment #7 from reichelt at gcc dot gnu dot org  2008-03-28 17:44 -------
A short C++ testcase I ran into:

================
struct A
{
  A();
  ~A();
};

void foo()
{
  A x[1];
}
==============


-- 

reichelt at gcc dot gnu dot org changed:

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


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

[Bug middle-end/35400] [4.4 Regression] -Wtype-limits -O2 causes ICE tree check: expected ssa_name, have addr_expr in get_value_range, at tree-vrp.c:469

[reichelt at gcc dot gnu dot org]

------- Comment #8 from reichelt at gcc dot gnu dot org  2008-03-28 18:13 -------
Here's a reduced C testcase (fuirther reduced from PR35663):

===============================
struct A
{
  struct A *p;
};

int foo(const struct A *q)
{
  return q->p == q;
}

void bar(int);

void baz()
{
  struct A a;

  while (foo(&a))
    bar(foo(&a));
}
===============================


-- 


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

[Bug middle-end/35400] [4.4 Regression] -Wtype-limits -O2 causes ICE tree check: expected ssa_name, have addr_expr in get_value_range, at tree-vrp.c:469

[rguenth at gcc dot gnu dot org]

------- Comment #9 from rguenth at gcc dot gnu dot org  2008-04-06 21:21 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug middle-end/35400] [4.4 Regression] -Wtype-limits -O2 causes ICE tree check: expected ssa_name, have addr_expr in get_value_range, at tree-vrp.c:469

[rguenth at gcc dot gnu dot org]

------- Comment #10 from rguenth at gcc dot gnu dot org  2008-04-06 21:21 -------
Subject: Bug 35400

Author: rguenth
Date: Sun Apr  6 21:20:49 2008
New Revision: 133967

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=133967
Log:
2008-04-06  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/35400
        * tree-vrp.c (vrp_evaluate_conditional): Only query value-range
        information from SSA_NAMEs.

        * gcc.dg/torture/pr35400.c: New testcase.
        * g++.dg/torture/pr35400.C: Likewise.

Added:
    trunk/gcc/testsuite/g++.dg/torture/pr35400.C
    trunk/gcc/testsuite/gcc.dg/torture/pr35400.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c


-- 


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