[Bug middle-end/18040] New: ICE in for_each_index, at tree-ssa-loop-im.c:178

[Bug middle-end/18040] New: ICE in for_each_index, at tree-ssa-loop-im.c:178

[aj at gcc dot gnu dot org]

Compiling boost I get the following ICE:

/usr/lib/gcc/i586-suse-linux/4.0.0/cc1plus -fpreprocessed function.ii -quiet
-dumpbase function.cpp -mtune=pentium -auxbase-strip
bin/boost/libs/python/build/libboost_python.so/gcc/release/shared-linkable-true/function.o
-O3 -Wall -Wno-inline -version -ftemplate-depth-100 -finline-functions -fPIC -o
function.s
GNU C++ version 4.0.0 20041013 (experimental) (SUSE Linux) (i586-suse-linux)
        compiled by GNU C version 4.0.0 20041013 (experimental) (SUSE Linux).
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
function.ii: In member function `void
boost::python::objects::function::argument_error(PyObject*, PyObject*) const':
function.ii:63053: internal compiler error: in for_each_index, at
tree-ssa-loop-im.c:178
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           Summary: ICE in for_each_index, at tree-ssa-loop-im.c:178
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: aj at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i586-linux-gnu
  GCC host triplet: i586-linux-gnu
GCC target triplet: i586-linux-gnu


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

[Bug middle-end/18040] ICE in for_each_index, at tree-ssa-loop-im.c:178

[aj at gcc dot gnu dot org]

------- Additional Comments From aj at gcc dot gnu dot org  2004-10-17 12:37 -------
Created an attachment (id=7368)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7368&action=view)
Preprocessed and compressed source file


-- 


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

[Bug middle-end/18040] ICE in for_each_index, at tree-ssa-loop-im.c:178

[kazu at cs dot umass dot edu]

------- Additional Comments From kazu at cs dot umass dot edu  2004-10-17 13:06 -------
Confirmed.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-10-17 13:06:07
               date|                            |


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

[Bug middle-end/18040] [4.0 Regression] ICE in for_each_index, at tree-ssa-loop-im.c:178

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2004-10-17 13:34 -------
Kazu, make sure the fill the missing fields when confirming a bug. Especially 
the regression status is very important.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |critical
           Keywords|                            |ice-on-valid-code
      Known to fail|                            |4.0.0
      Known to work|                            |3.4.2
            Summary|ICE in for_each_index, at   |[4.0 Regression] ICE in
                   |tree-ssa-loop-im.c:178      |for_each_index, at tree-ssa-
                   |                            |loop-im.c:178
   Target Milestone|---                         |4.0.0


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

[Bug tree-optimization/18040] [4.0 Regression] ICE in for_each_index, at tree-ssa-loop-im.c:178

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-17 14:47 -------
This is a bug in the IV-OPTS (reducing the testcase right now).

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rakdver at gcc dot gnu dot
                   |                            |org
          Component|middle-end                  |tree-optimization


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

[Bug tree-optimization/18040] [4.0 Regression] ICE in for_each_index, at tree-ssa-loop-im.c:178

[rakdver at gcc dot gnu dot org]

------- Additional Comments From rakdver at gcc dot gnu dot org  2004-10-17 16:01 -------
Does not seem to be directly caused by ivopts.  The statement
on that ivopts fail looks like

x_1 = ((cast) variable).field

which is not a valid gimple.  I am investigating further.

-- 


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

[Bug tree-optimization/18040] [4.0 Regression] ICE in for_each_index, at tree-ssa-loop-im.c:178

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-17 16:11 -------
Here is the reduced testcase to make your investigation easier:
typedef struct _object PyObject;
int PyObject_IsTrue(PyObject *);

class object;
typedef PyObject* (object::*bool_type)() const;

struct object_base
{
    operator bool_type() const;
    ~object_base();
    PyObject* ptr() const;
};
struct object : public object_base
{
    object();
    template <class T>
    explicit object(T const& x) ;
};

inline object_base::operator bool_type() const
{
    const object &x = *static_cast<object const*>(this);
    return PyObject_IsTrue(x.ptr()) ? &object::ptr : 0;
}

void f(const char *);

void argument_error (void)
{
    for (unsigned n = 0; n < 100; ++n)
    {
	object kv("");
	if (kv)
	  f("");
    }
}


-- 


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

[Bug tree-optimization/18040] [4.0 Regression] ICE in for_each_index, at tree-ssa-loop-im.c:178

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-17 16:17 -------
The bug shows up in .sra:
  <L3>:;
!   D.1674 = (struct 
    {
      object:: * __pfn;
      int __delta;
!   }) iftmp.0;
!   D.1675_16 = D.1674.__pfn;
    if (D.1675_16 != 0B) goto <L5>; else goto <L10>;
  
  <L5>:;
--- ...,... ----
 
+   # SR.18_51 = PHI <SR.18_58(5), SR.18_60(4)>;
+   # SR.17_6 = PHI <SR.17_57(5), SR.17_59(4)>;
  <L3>:;
!   SR.20_53 = ((struct 
    {
      object:: * __pfn;
      int __delta;
!   }) iftmp.0).__delta;
!   iftmp.0.__delta = SR.18_51;
!   iftmp.0.__pfn = SR.17_6;
!   SR.19_56 = ((struct 
!   {
!     object:: * __pfn;
!     int __delta;
!   }) iftmp.0).__pfn;
!   D.1675_16 = SR.19_56;
    if (D.1675_16 != 0B) goto <L5>; else goto <L10>;
  

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


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

[Bug tree-optimization/18040] [4.0 Regression] ICE in for_each_index, at tree-ssa-loop-im.c:178

[rakdver at gcc dot gnu dot org]

------- Additional Comments From rakdver at gcc dot gnu dot org  2004-10-17 16:23 -------
The problem is that is_gimple_addressable uses handled_component_p that allows
casts.  I am testing a patch for this.

-- 


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

[Bug tree-optimization/18040] [4.0 Regression] ICE in for_each_index, at tree-ssa-loop-im.c:178

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-17 16:29 -------
Here is something which is slightly smaller:
int PyObject_IsTrue();
struct object_base
{
    void ptr() const;
};
struct object : public object_base
{
  typedef void (object::*bool_type)() const;
  inline operator bool_type() const { return PyObject_IsTrue() ? &object_base::ptr : 0; }
};
void f();
void g (void)
{
    for (unsigned n = 0; n < 100; ++n)
    {
	object kv;
	if (kv)
	  f();
    }
}

-- 


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

[Bug tree-optimization/18040] [4.0 Regression] ICE in for_each_index, at tree-ssa-loop-im.c:178

[rakdver at gcc dot gnu dot org]

------- Additional Comments From rakdver at gcc dot gnu dot org  2004-10-17 19:18 -------
Patch:

http://gcc.gnu.org/ml/gcc-patches/2004-10/msg01398.html

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch


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

[Bug tree-optimization/18040] [4.0 Regression] ICE in for_each_index, at tree-ssa-loop-im.c:178

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-17 22:06 -------
Could someone tell me why the cast is there for the testcase in the first place it seems wrong (except 
that we are converting between void (object_base::*)() and void (object::*)(). )

-- 


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

[Bug tree-optimization/18040] [4.0 Regression] ICE in for_each_index, at tree-ssa-loop-im.c:178

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-17 22:17 -------
The front-end is doing something funny for this example where there should be no cast, it is still 
creating a "void (object_base::*)() const" type.
int PyObject_IsTrue();
struct object_base
{
    void ptr() const;
};
struct object : public object_base
{
  typedef void (object::*bool_type)() const;
  inline operator bool_type() const { return PyObject_IsTrue() ? &object::ptr : 0; }
};
void f();
void g (void)
{
    for (unsigned n = 0; n < 100; ++n)
    {
        object kv;
        if (kv)
          f();
    }
}

If I add a cast such as:
  inline operator bool_type() const { return PyObject_IsTrue() ? (bool_type) &object::ptr : 0; }
It works and we only produce bool_type instead of what we produced before so part of this is front-end 
issue and a tree-opt issue also for the case I gave in comment #9.

-- 


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

[Bug tree-optimization/18040] [4.0 Regression] ICE in for_each_index, at tree-ssa-loop-im.c:178

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-10-17 22:19 -------
Here is another example which works:
int PyObject_IsTrue();
struct object_base
{
    void ptr() const;
};
struct object : public object_base
{
  void ptr1() const;
  typedef void (object::*bool_type)() const;
  inline operator bool_type() const { return PyObject_IsTrue() ? &object_base::ptr : &object::ptr1; }
};
void f();
void g (void)
{
    for (unsigned n = 0; n < 100; ++n)
    {
        object kv;
        if (kv)
          f();
    }
}

And another which does not:
int PyObject_IsTrue();
struct object_base
{
    void ptr() const;
  void ptr1() const;
};
struct object : public object_base
{
  typedef void (object::*bool_type)() const;
  inline operator bool_type() const { return PyObject_IsTrue() ? &object_base::ptr : &object::ptr1; }
};
void f();
void g (void)
{
    for (unsigned n = 0; n < 100; ++n)
    {
        object kv;
        if (kv)
          f();
    }
}

-- 


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

[Bug tree-optimization/18040] [4.0 Regression] ICE in for_each_index, at tree-ssa-loop-im.c:178

[neroden at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |18693
              nThis|                            |


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

[Bug tree-optimization/18040] [4.0 Regression] ICE in for_each_index, at tree-ssa-loop-im.c:178

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-11-27 21:20 -------
Even though this ICE is caused by IV-OPTS, it has nothing to do with IV-OPTS, IVOPTS is finding invalid 
gimple which is produced by SRA because of handled_component_p.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|18693                       |
              nThis|                            |


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

[Bug tree-optimization/18040] [4.0 Regression] ICE in for_each_index, at tree-ssa-loop-im.c:178

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-12-10 16:54 -------
Newest patch here: <http://gcc.gnu.org/ml/gcc-patches/2004-12/msg00755.html>.

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


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

[Bug tree-optimization/18040] [4.0 Regression] ICE in for_each_index, at tree-ssa-loop-im.c:178

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-12-12 03:05 -------
Updated patch: <http://gcc.gnu.org/ml/gcc-patches/2004-12/msg00842.html>.

-- 


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

[Bug tree-optimization/18040] [4.0 Regression] ICE in for_each_index, at tree-ssa-loop-im.c:178

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2004-12-12 16:45 -------
Subject: Bug 18040

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	pinskia@gcc.gnu.org	2004-12-12 16:45:20

Modified files:
	gcc            : ChangeLog expr.c 
	gcc/testsuite  : ChangeLog 
Added files:
	gcc/testsuite/g++.dg/opt: ptrmem6.C 

Log message:
	2004-12-12  Andrew Pinski  <pinskia@physics.uc.edu>
	
	PR tree-opt/18040
	* g++.dg/opt/ptrmem6.C: New test.
	
	2004-12-12  Andrew Pinski  <pinskia@physics.uc.edu>
	
	PR tree-opt/18040
	* expr.c (get_inner_reference): Remove NON_LVALUE_EXPR, NOP_EXPR,
	CONVERT_EXPR cases.
	(handled_component_p): Likewise.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.6789&r2=2.6790
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/expr.c.diff?cvsroot=gcc&r1=1.758&r2=1.759
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.4739&r2=1.4740
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/opt/ptrmem6.C.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


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

[Bug tree-optimization/18040] [4.0 Regression] ICE in for_each_index, at tree-ssa-loop-im.c:178

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-12-12 16:46 -------
Fixed.

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


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