[Bug tree-optimization/27830] New: [4.2 regression] ICE: verify_stmts failed (invalid operand to unary operator)

[Bug tree-optimization/27830] New: [4.2 regression] ICE: verify_stmts failed (invalid operand to unary operator)

[tbm at cyrius dot com]

I get the following ICE with gcc 4.2.  This looks suspiciously a lot like 
PR26994 but the patch suggested there is Fortran specific whereas my test case
is C++.  Maybe there is a more fundamental problem somewhere?


(sid)3300:tbm@test: ~/delta/bin] /usr/lib/gcc-snapshot/bin/g++ -c -O mini.c
mini.c: In member function 'camp::drawElement*
camp::drawPath::transformed(const camp::transform&)':
mini.c:87: error: invalid operand to unary operator
&*D.2372_31;

mini.c:87: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
zsh: exit 1     /usr/lib/gcc-snapshot/bin/g++ -c -O mini.c
(sid)3301:tbm@test: ~/delta/bin] /usr/lib/gcc-snapshot/bin/g++ -c mini.c
(sid)3302:tbm@test: ~/delta/bin]


-- 
           Summary: [4.2 regression] ICE: verify_stmts failed (invalid
                    operand to unary operator)
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: tbm at cyrius dot com
 GCC build triplet: powerpc-linux-gnu
  GCC host triplet: powerpc-linux-gnu
GCC target triplet: powerpc-linux-gnu


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

[Bug tree-optimization/27830] [4.2 regression] ICE: verify_stmts failed (invalid operand to unary operator)

[tbm at cyrius dot com]

------- Comment #1 from tbm at cyrius dot com  2006-05-31 07:13 -------
Created an attachment (id=11543)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=11543&action=view)
test case


-- 


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

[Bug tree-optimization/27830] [4.2 regression] ICE: verify_stmts failed (invalid operand to unary operator)

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2006-05-31 07:19 -------
This really unrelated to that fortran bug.  Anyways I might take a look soon.


-- 

pinskia at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/27830] [4.2 regression] ICE: verify_stmts failed (invalid operand to unary operator)

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-05-31 07:53 -------
Confirmed, reduced testcase:
struct gc{};
struct transform:public gc
{
    double x, y, z, t;
    transform (void){}
};
inline transform f (void)
{
    return transform ();
};
void transformed (void)
{
    new transform (f());
}

------------------------------------------------
This is return slot related and inline related, we have:
  *D.2030 = f () [return slot optimization];
........
  __comp_ctor  (&<retval>);
  return <retval>;


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
  GCC build triplet|powerpc-linux-gnu           |
   GCC host triplet|powerpc-linux-gnu           |
 GCC target triplet|powerpc-linux-gnu           |
   Last reconfirmed|0000-00-00 00:00:00         |2006-05-31 07:53:03
               date|                            |


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

[Bug tree-optimization/27830] [4.2 regression] ICE: verify_stmts failed (invalid operand to unary operator)

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug tree-optimization/27830] [4.1/4.2 regression] ICE: verify_stmts failed (invalid operand to unary operator)

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2006-06-07 14:52 -------
Also fails with 4.1.2.  Janis, can you look what introduced this?


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |janis at gcc dot gnu dot org
      Known to fail|                            |4.1.2 4.2.0
      Known to work|                            |4.1.0
            Summary|[4.2 regression] ICE:       |[4.1/4.2 regression] ICE:
                   |verify_stmts failed (invalid|verify_stmts failed (invalid
                   |operand to unary operator)  |operand to unary operator)


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

[Bug tree-optimization/27830] [4.1/4.2 regression] ICE: verify_stmts failed (invalid operand to unary operator)

[janis at gcc dot gnu dot org]

------- Comment #5 from janis at gcc dot gnu dot org  2006-06-07 18:23 -------
A regression hunt on powerpc-linux with the testcase in comment #3 identified
this mainline patch:

    http://gcc.gnu.org/viewcvs?view=rev&rev=112709

    r112709 | rguenth | 2006-04-05 15:41:18 +0000 (Wed, 05 Apr 2006)

The same patch was added to the 4.1 branch a couple of days later, so I assume
it's also the cause of the failure there.  GCC 4.1.0 does not fail.


-- 


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

[Bug tree-optimization/27830] [4.1/4.2 regression] ICE: verify_stmts failed (invalid operand to unary operator)

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2006-06-07 19:51 -------
I guess the patch uncovered a latent problem due to different inlining.  I will
have a look though.


-- 


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

[Bug tree-optimization/27830] [4.1/4.2 regression] ICE: verify_stmts failed (invalid operand to unary operator)

[rguenth at gcc dot gnu dot org]

------- Comment #7 from rguenth at gcc dot gnu dot org  2006-06-07 20:37 -------
I have a fix.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rguenth at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2006-05-31 07:53:03         |2006-06-07 20:37:18
               date|                            |


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

[Bug tree-optimization/27830] [4.1/4.2 regression] ICE: verify_stmts failed (invalid operand to unary operator)

[patchapp at dberlin dot org]

------- Comment #8 from patchapp at dberlin dot org  2006-06-08 08:26 -------
Subject: Bug number PR27830

A patch for this bug has been added to the patch tracker.
The mailing list url for the patch is
http://gcc.gnu.org/ml/gcc-patches/2006-06/msg00385.html


-- 


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

[Bug tree-optimization/27830] [4.1/4.2 regression] ICE: verify_stmts failed (invalid operand to unary operator)

[rguenth at gcc dot gnu dot org]

------- Comment #9 from rguenth at gcc dot gnu dot org  2006-06-13 07:22 -------
Subject: Bug 27830

Author: rguenth
Date: Tue Jun 13 07:22:04 2006
New Revision: 114600

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

        PR tree-optimization/27830
        * tree-inline.c (copy_body_r): For copying the operand
        of an ADDR_EXPR make sure to fold &* afterwards.

        * g++.dg/tree-ssa/pr27830.C: New testcase.

Added:
    trunk/gcc/testsuite/g++.dg/tree-ssa/pr27830.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-inline.c


-- 


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

[Bug tree-optimization/27830] [4.1 regression] ICE: verify_stmts failed (invalid operand to unary operator)

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|4.1.2 4.2.0                 |4.1.2
      Known to work|4.1.0                       |4.1.0 4.2.0 3.4.0
            Summary|[4.1/4.2 regression] ICE:   |[4.1 regression] ICE:
                   |verify_stmts failed (invalid|verify_stmts failed (invalid
                   |operand to unary operator)  |operand to unary operator)
   Target Milestone|4.2.0                       |4.1.2


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

[Bug tree-optimization/27830] [4.1 regression] ICE: verify_stmts failed (invalid operand to unary operator)

[rguenth at gcc dot gnu dot org]

------- Comment #10 from rguenth at gcc dot gnu dot org  2006-06-16 12:03 -------
Subject: Bug 27830

Author: rguenth
Date: Fri Jun 16 12:03:24 2006
New Revision: 114716

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

        PR tree-optimization/27830
        * tree-inline.c (copy_body_r): For copying the operand
        of an ADDR_EXPR make sure to fold &* afterwards.

        * g++.dg/tree-ssa/pr27830.C: New testcase.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/tree-ssa/pr27830.C
      - copied unchanged from r114600,
trunk/gcc/testsuite/g++.dg/tree-ssa/pr27830.C
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_1-branch/gcc/tree-inline.c


-- 


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

[Bug tree-optimization/27830] [4.1 regression] ICE: verify_stmts failed (invalid operand to unary operator)

[rguenth at gcc dot gnu dot org]

------- Comment #11 from rguenth at gcc dot gnu dot org  2006-06-16 12:07 -------
Fixed.


-- 

rguenth at gcc dot gnu dot org changed:

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


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