re PR tree-optimization/64199 (ICE: tree check: expected class 'constant', have…

re PR tree-optimization/64199 (ICE: tree check: expected class 'constant', have 'binary' (plus_expr) in fold_binary_loc, at fold-const.c:10404 with -ffast-math -frounding-math)

2014-12-09  Richard Biener  <rguenther@suse.de>

	PR middle-end/64199
	* fold-const.c (fold_binary_loc): Use TREE_OVERFLOW_P.

	* gcc.dg/torture/pr64199.c: New testcase.

From-SVN: r218513

gcc/ChangeLog

 2014-12-09  Richard Biener  <rguenther@suse.de>
 
+	PR middle-end/64199
+	* fold-const.c (fold_binary_loc): Use TREE_OVERFLOW_P.
+
+2014-12-09  Richard Biener  <rguenther@suse.de>
+
 	PR tree-optimization/64191
 	* tree-vect-stmts.c (vect_stmt_relevant_p): Clobbers are
 	not relevant (nor are their uses).

gcc/fold-const.c

@@ -10398,8 +10398,8 @@ fold_binary_loc (location_t loc,
 
 	      /* Don't introduce overflows through reassociation.  */
 	      if (!any_overflows
-		  && ((lit0 && TREE_OVERFLOW (lit0))
-		      || (minus_lit0 && TREE_OVERFLOW (minus_lit0))))
+		  && ((lit0 && TREE_OVERFLOW_P (lit0))
+		      || (minus_lit0 && TREE_OVERFLOW_P (minus_lit0))))
 		return NULL_TREE;
 
 	      if (minus_lit0)

gcc/testsuite/ChangeLog

+2014-12-09  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/64199
+	* gcc.dg/torture/pr64199.c: New testcase.
+
 2014-12-09  Ilya Enkovich  <ilya.enkovich@intel.com>
 
 	* gcc.dg/lto/lto.exp: Load mpx-dg.exp.

gcc/testsuite/gcc.dg/torture/pr64199.c

+/* { dg-do compile } */
+/* { dg-additional-options "-ffast-math -frounding-math" } */
+
+float
+foo (void)
+{
+  return 1.1f + 2.2f + 2.2f;
+}