From: Richard Biener <rguenther@suse.de>
Date: Mon, 18 Jan 2016 13:03:54 +0000 (+0000)
Subject: re PR tree-optimization/69308 (ifcombine joins together floating point expression... 
X-Git-Tag: basepoints/gcc-7~1530
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=46ec7a061e006c4dcc717a895da0d2693432f49b;p=thirdparty%2Fgcc.git

re PR tree-optimization/69308 (ifcombine joins together floating point expression with side effects)

2016-01-18  Richard Biener  <rguenther@suse.de>

	PR middle-end/69308
	* gimple.c (gimple_could_trap_p_1): Handle GIMPLE_COND.

From-SVN: r232516
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 093c9dfe7e98..d011a4ffa9b9 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2016-01-18  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/69308
+	* gimple.c (gimple_could_trap_p_1): Handle GIMPLE_COND.
+
 2016-01-18  Tom de Vries  <tom@codesourcery.com>
 
 	* passes.def: Add pass_parallelize_loops to pass_oacc_kernels.
diff --git a/gcc/gimple.c b/gcc/gimple.c
index ff3c68a47feb..0f4ed88deb35 100644
--- a/gcc/gimple.c
+++ b/gcc/gimple.c
@@ -1931,6 +1931,11 @@ gimple_could_trap_p_1 (gimple *s, bool include_mem, bool include_stores)
 				       && TYPE_OVERFLOW_TRAPS (t)),
 				      div));
 
+    case GIMPLE_COND:
+      t = TREE_TYPE (gimple_cond_lhs (s));
+      return operation_could_trap_p (gimple_cond_code (s),
+				     FLOAT_TYPE_P (t), false, NULL_TREE);
+
     default:
       break;
     }