re PR middle-end/67285 (ICE with (rdiv (POW:s @0 REAL_CST@1) @0))

2015-08-21  Richard Biener  <rguenther@suse.de>

	PR middle-end/67285
	* gimple-fold.c (replace_stmt_with_simplification): Assert
	seq is empty when replacing a call with itself but different
	arguments.
	* gimple-match-head.c (maybe_push_res_to_seq): When pushing
	a call require that it is const.

From-SVN: r227053

gcc/ChangeLog

+2015-08-21  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/67285
+	* gimple-fold.c (replace_stmt_with_simplification): Assert
+	seq is empty when replacing a call with itself but different
+	arguments.
+	* gimple-match-head.c (maybe_push_res_to_seq): When pushing
+	a call require that it is const.
+
 2015-08-20  Trevor Saunders  <tbsaunde+gcc@tbsaunde.org>
 
 	* defaults.h (CONSTANT_ALIGNMENT): New macro definition.

gcc/gimple-fold.c

@@ -3308,6 +3308,7 @@ replace_stmt_with_simplification (gimple_stmt_iterator *gsi,
 	}
       if (i < 3)
 	gcc_assert (ops[i] == NULL_TREE);
+      gcc_assert (gimple_seq_empty_p (*seq));
       return true;
     }
   else if (!inplace)

gcc/gimple-match-head.c

@@ -338,6 +338,9 @@ maybe_push_res_to_seq (code_helper rcode, tree type, tree *ops,
       tree decl = builtin_decl_implicit (rcode);
       if (!decl)
 	return NULL_TREE;
+      /* We can't and should not emit calls to non-const functions.  */
+      if (!(flags_from_decl_or_type (decl) & ECF_CONST))
+	return NULL_TREE;
       /* Play safe and do not allow abnormals to be mentioned in
          newly created statements.  */
       unsigned nargs;