diff mbox series

middle-end/106909 - CTRL altering flag after folding

Message ID 20220913085203.CD1E9139B3@imap2.suse-dmz.suse.de
State New, archived
Headers
Series middle-end/106909 - CTRL altering flag after folding |

Commit Message

Richard Biener Sept. 13, 2022, 8:52 a.m. UTC 
  The following makes sure to clear the CTRL altering flag when
folding emits a __builitin_unreachable in place of a virtual call
which now might become a trap.

Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed.

	PR middle-end/106909
	* gimple-fold.cc (gimple_fold_call): Clear the ctrl-altering
	flag of a unreachable call.
---
 gcc/gimple-fold.cc | 1 +
 1 file changed, 1 insertion(+)
diff mbox series

Patch

diff --git a/gcc/gimple-fold.cc b/gcc/gimple-fold.cc
index a1704784bc9..9055cd8982d 100644
--- a/gcc/gimple-fold.cc
+++ b/gcc/gimple-fold.cc
@@ -5512,6 +5512,7 @@  gimple_fold_call (gimple_stmt_iterator *gsi, bool inplace)
 		{
 		  location_t loc = gimple_location (stmt);
 		  gimple *new_stmt = gimple_build_builtin_unreachable (loc);
+		  gimple_call_set_ctrl_altering (new_stmt, false);
 		  /* If the call had a SSA name as lhs morph that into
 		     an uninitialized value.  */
 		  if (lhs && TREE_CODE (lhs) == SSA_NAME)