[Bug tree-optimization/69209] [6 Regression] ICE at -Os and above on x86_64-linux-gnu (verify_gimple failed)

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69209

--- Comment #5 from Jakub Jelinek  ---
Author: jakub
Date: Mon Feb  8 20:07:56 2016
New Revision: 233228

URL: https://gcc.gnu.org/viewcvs?rev=233228=gcc=rev
Log:
PR tree-optimization/69209
* ipa-split.c (split_function): If split part is not
returning retval, retval has gimple type but is not
gimple value, force it into a SSA_NAME first.

* gcc.c-torture/compile/pr69209.c: New test.

Added:
trunk/gcc/testsuite/gcc.c-torture/compile/pr69209.c
Modified:
trunk/gcc/ChangeLog
trunk/gcc/ipa-split.c
trunk/gcc/testsuite/ChangeLog

[Bug tree-optimization/69209] [6 Regression] ICE at -Os and above on x86_64-linux-gnu (verify_gimple failed)

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69209

Jakub Jelinek  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #6 from Jakub Jelinek  ---
Fixed.

[Bug tree-optimization/69209] [6 Regression] ICE at -Os and above on x86_64-linux-gnu (verify_gimple failed)

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69209

Richard Biener  changed:

   What|Removed |Added

   Priority|P3  |P1

[Bug tree-optimization/69209] [6 Regression] ICE at -Os and above on x86_64-linux-gnu (verify_gimple failed)

[hubicka at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69209

Jan Hubicka  changed:

   What|Removed |Added

   Assignee|rguenth at gcc dot gnu.org |hubicka at gcc dot 
gnu.org

--- Comment #4 from Jan Hubicka  ---
Richard thinks I should have a look :)

[Bug tree-optimization/69209] [6 Regression] ICE at -Os and above on x86_64-linux-gnu (verify_gimple failed)

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69209

--- Comment #3 from Jakub Jelinek  ---
Unless I'm misreading ipa-split.c, it seems it is unprepared to see addressable
retvals with gimple reg type, but where due to the addressability retval is not
is_gimple_val.  Unfortunately, it doesn't seem to be just a single spot, but
tons of them.  I'm afraid with right testcases we could end up e.g. with
addressable int var on the lhs of a call, or as base of a MEM, etc.  Richard,
can you please have a look?

[Bug tree-optimization/69209] [6 Regression] ICE at -Os and above on x86_64-linux-gnu (verify_gimple failed)

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69209

Richard Biener  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
 CC||hubicka at gcc dot gnu.org
 Blocks||68721
   Assignee|unassigned at gcc dot gnu.org  |rguenth at gcc dot 
gnu.org

--- Comment #2 from Richard Biener  ---
Hmpf.  I hate IPA split.


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68721
[Bug 68721] [6 Regression] wrong code at -Os and above on x86_64-linux-gnu

[Bug tree-optimization/69209] [6 Regression] ICE at -Os and above on x86_64-linux-gnu (verify_gimple failed)

[jakub at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69209

Jakub Jelinek  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2016-01-09
 CC||jakub at gcc dot gnu.org
   Target Milestone|--- |6.0
Summary|ICE at -Os and above on |[6 Regression] ICE at -Os
   |x86_64-linux-gnu|and above on
   |(verify_gimple failed)  |x86_64-linux-gnu
   ||(verify_gimple failed)
 Ever confirmed|0   |1

--- Comment #1 from Jakub Jelinek  ---
Started with r231494.