re PR tree-optimization/88019 (ICE in gimplify_modify_expr, at gimplify.c:5779)

2018-11-14  Richard Biener  <rguenther@suse.de>

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

From-SVN: r266105

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ab9e001..a3b8659 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2018-11-14  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/88019
+       * graphite-isl-ast-to-gimple.c (ternary_op_to_tree): Rewrite
+       COND_EXPR arguments to non-trapping overflow.
+
 2018-11-14  Claudiu Zissulescu  <claziss@synopsys.com>
 
        * config/arc/arc.h (reg_class): Reorder registers classes, remove

diff --git a/gcc/graphite-isl-ast-to-gimple.c b/gcc/graphite-isl-ast-to-gimple.c
index 0d8960c..e2dbf6f 100644 (file)
--- a/gcc/graphite-isl-ast-to-gimple.c
+++ b/gcc/graphite-isl-ast-to-gimple.c
@@ -411,7 +411,9 @@ ternary_op_to_tree (tree type, __isl_take isl_ast_expr *expr, ivs_params &ip)
   if (codegen_error_p ())
     return NULL_TREE;
 
-  return fold_build3 (COND_EXPR, type, a, b, c);
+  return fold_build3 (COND_EXPR, type, a,
+                     rewrite_to_non_trapping_overflow (b),
+                     rewrite_to_non_trapping_overflow (c));
 }
 
 /* Converts a unary isl_ast_expr_op expression E to a GCC expression tree of