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 ab9e0010a9cca33b226d0f147cc73be27ece3cab..a3b86595f2047bd9ea5d35cf6de3db66e7922b13 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 0d8960c6bb2341f1e9b7040f931087c7b21280ce..e2dbf6fbf9d53b6a657214d395ba0b02c3e860c2 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