[Bug tree-optimization/88019] [9 Regression] ICE in gimplify_modify_expr, at gimplify.c:5779

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

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

--- Comment #4 from Richard Biener  ---
Fixed.

[Bug tree-optimization/88019] [9 Regression] ICE in gimplify_modify_expr, at gimplify.c:5779

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Biener  ---
Author: rguenth
Date: Wed Nov 14 11:11:05 2018
New Revision: 266105

URL: https://gcc.gnu.org/viewcvs?rev=266105=gcc=rev
Log:
2018-11-14  Richard Biener  

PR tree-optimization/88019
* graphite-isl-ast-to-gimple.c (ternary_op_to_tree): Rewrite
COND_EXPR arguments to non-trapping overflow.

Modified:
trunk/gcc/ChangeLog
trunk/gcc/graphite-isl-ast-to-gimple.c

[Bug tree-optimization/88019] [9 Regression] ICE in gimplify_modify_expr, at gimplify.c:5779

[rguenth at gcc dot gnu.org]

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

Richard Biener  changed:

   What|Removed |Added

 Status|UNCONFIRMED |ASSIGNED
   Assignee|unassigned at gcc dot gnu.org  |rguenth at gcc dot 
gnu.org
 Ever confirmed|0   |1

--- Comment #2 from Richard Biener  ---
Ah well, the usual -ftrapv issue with COND_EXPRs.

#13 0x00b2ff19 in create_empty_if_region_on_edge (
entry_edge= 33)>, 
condition=)
at /space/rguenther/src/gcc-slpcost/gcc/cfgloopmanip.c:704
(gdb) p debug_generic_expr (condition)
(if (graphite_IV.511_52 != 0)
  {
iftmp.512 = _42 + -2;
  }
else
  {
iftmp.512 = 0;
  }) < (graphite_IV.511_52 != 0 ? graphite_IV.511_52 /[ex] 4 + -2 : 0) + 1

the issue is the COND_EXPRs here.  That's fixable with
rewrite_to_non_trapping_overflow "easily".

[Bug tree-optimization/88019] [9 Regression] ICE in gimplify_modify_expr, at gimplify.c:5779

[marxin at gcc dot gnu.org]

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

Martin Liška  changed:

   What|Removed |Added

   Keywords||needs-bisection
   Last reconfirmed||2018-11-14
 CC||rguenth at gcc dot gnu.org
   Target Milestone|--- |9.0

--- Comment #1 from Martin Liška  ---
Most likely 9 regression.