tree-ssa-tail-merge.c (stmt_local_def): Return false if the statement could throw.

	* tree-ssa-tail-merge.c (stmt_local_def): Return false if the statement
	could throw.

From-SVN: r205196

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9dab8afc7954e24efe604c9d733c59025b661ebd..03e590b8322a67082e1968186537e3b30f604121 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2013-11-21  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * tree-ssa-tail-merge.c (stmt_local_def): Return false if the statement
+       could throw.
+
 2013-11-21  Oleg Endo  <olegendo@gcc.gnu.org>
 
        PR target/53976

diff --git a/gcc/tree-ssa-tail-merge.c b/gcc/tree-ssa-tail-merge.c
index 35b8bbe049786666359f2744d251652724124d1f..2e1df69b7bdb9c2ae4ca2a4585cd24852f611101 100644 (file)
--- a/gcc/tree-ssa-tail-merge.c
+++ b/gcc/tree-ssa-tail-merge.c
@@ -309,6 +309,7 @@ stmt_local_def (gimple stmt)
   def_operand_p def_p;
 
   if (gimple_has_side_effects (stmt)
+      || stmt_could_throw_p (stmt)
       || gimple_vdef (stmt) != NULL_TREE)
     return false;