[Bug c/40432] New: verify_stmts failed with -O2: non-register as LHS of unary operation

[Bug c/40432] New: verify_stmts failed with -O2: non-register as LHS of unary operation

[dcb314 at hotmail dot com]

I just tried to compile the Linux kernel 2.6.30
with the GNU gcc version 4.5 snapshot 20090611.

The compiler said

drivers/usb/host/ehci-hcd.c:1177:1: error: non-register as LHS of unary
operation
# .MEM_144 = VDEF <.MEM_130>
qh_11(D)->qh_next.qh = (struct ehci_qh *) here$ptr_140;

drivers/usb/host/ehci-hcd.c:1177:1: internal compiler error: verify_stmts
failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Preprocessed source code attached. Flag -O2 required.


-- 
           Summary: verify_stmts failed with -O2: non-register as LHS of
                    unary operation
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dcb314 at hotmail dot com
  GCC host triplet: x86_64-suse-linux


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

[Bug tree-optimization/40432] [4.5 Regression] verify_stmts failed with -O2: non-register as LHS of unary operation

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2009-06-12 18:57 -------
I want to say the SRA changes caused this ...


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
          Component|c                           |tree-optimization
           Keywords|                            |ice-on-valid-code
            Summary|verify_stmts failed with -  |[4.5 Regression]
                   |O2: non-register as LHS of  |verify_stmts failed with -
                   |unary operation             |O2: non-register as LHS of
                   |                            |unary operation
   Target Milestone|---                         |4.5.0


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

[Bug tree-optimization/40432] [4.5 Regression] verify_stmts failed with -O2: non-register as LHS of unary operation

[dcb314 at hotmail dot com]

------- Comment #2 from dcb314 at hotmail dot com  2009-06-12 18:58 -------
Created an attachment (id=17990)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17990&action=view)
gzipped C source code


-- 


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

[Bug tree-optimization/40432] [4.5 Regression] verify_stmts failed with -O2: non-register as LHS of unary operation

[jamborm at gcc dot gnu dot org]

------- Comment #3 from jamborm at gcc dot gnu dot org  2009-06-14 04:55 -------
(In reply to comment #1)
> I want to say the SRA changes caused this ...
> 

Yes it did.  I can reproduce it and it should not be difficult to
fix.  However, I'll have a look at why SRA constructs such a statement
in the first place.  The code that does it currently things it's
either appending ".eh" to the LHS or the VCE to the RHS, not both.
But maybe it's just an oversight, I'll check in the morning.


-- 

jamborm at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |jamborm at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-06-14 04:55:06
               date|                            |


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

[Bug tree-optimization/40432] [4.5 Regression] verify_stmts failed with -O2: non-register as LHS of unary operation

[jamborm at gcc dot gnu dot org]

------- Comment #4 from jamborm at gcc dot gnu dot org  2009-06-15 09:09 -------
Created an attachment (id=18002)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18002&action=view)
Fix

OK, the  statement is fine  except that it  is not gimple  ;-).  Fixed
with this patch, I will submit it if it passes bootstrap and testing.


-- 


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

[Bug tree-optimization/40432] [4.5 Regression] verify_stmts failed with -O2: non-register as LHS of unary operation

[jamborm at gcc dot gnu dot org]

------- Comment #5 from jamborm at gcc dot gnu dot org  2009-06-16 09:57 -------
Bootstrapped, tested, submitted in
http://gcc.gnu.org/ml/gcc-patches/2009-06/msg01182.html


-- 


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

[Bug tree-optimization/40432] [4.5 Regression] verify_stmts failed with -O2: non-register as LHS of unary operation

[jamborm at gcc dot gnu dot org]

------- Comment #6 from jamborm at gcc dot gnu dot org  2009-06-16 10:16 -------
Subject: Bug 40432

Author: jamborm
Date: Tue Jun 16 10:16:40 2009
New Revision: 148522

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=148522
Log:
2009-06-16  Martin Jambor  <mjambor@suse.cz>

        PR tree-optimization/40432
        * tree-sra.c (sra_modify_assign): When creating VIEW_CONVERT_EXPR,
        check whether we need to force gimple register operand.

        * testsuite/gcc.c-torture/compile/pr40432.c: New file.



Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr40432.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-sra.c


-- 


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

[Bug tree-optimization/40432] [4.5 Regression] verify_stmts failed with -O2: non-register as LHS of unary operation

[jamborm at gcc dot gnu dot org]

------- Comment #7 from jamborm at gcc dot gnu dot org  2009-06-16 10:24 -------
Fixed.


-- 

jamborm at gcc dot gnu dot org changed:

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


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