re PR tree-optimization/69308 (ifcombine joins together floating point expression...

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 093c9dfe7e9835c264ba02c244d44e7d1f9362f6..d011a4ffa9b98f797732178386d884d174ab7e30 100644 (file)
--- 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 ff3c68a47febb652a8f1985a88d36b2c04fde9cf..0f4ed88deb354740efd39447aba8842f6c2d381d 100644 (file)
--- 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;
     }