[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|-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  

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