From 9c2785c174d07a35414709ebde53b1c30e1d139a Mon Sep 17 00:00:00 2001 From: rth Date: Mon, 28 Nov 2016 13:47:47 +0300 Subject: [PATCH] PR sanitize/65000 * tree-eh.c (mark_reachable_handlers): Mark source and destination regions of __builtin_eh_copy_values. Imported from upstream: git: 9eb0aee3084022e939d2f32f8c2c26609b139704 git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@220626 138bc75d-0d04-0410-961f-82ee72b054a4 Signed-off-by: Slava Barinov Change-Id: I41209d06c5a245f42ff82c016dce37d2ffcc6f2a --- gcc/tree-eh.c | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/gcc/tree-eh.c b/gcc/tree-eh.c index 28d6e49..3e4a278 100644 --- a/gcc/tree-eh.c +++ b/gcc/tree-eh.c @@ -3874,6 +3874,17 @@ mark_reachable_handlers (sbitmap *r_reachablep, sbitmap *lp_reachablep) case GIMPLE_EH_DISPATCH: bitmap_set_bit (r_reachable, gimple_eh_dispatch_region (stmt)); break; + case GIMPLE_CALL: + if (gimple_call_builtin_p (stmt, BUILT_IN_EH_COPY_VALUES)) + for (int i = 0; i < 2; ++i) + { + tree rt = gimple_call_arg (stmt, i); + HOST_WIDE_INT ri = tree_to_shwi (rt); + + gcc_assert (ri = (int)ri); + bitmap_set_bit (r_reachable, ri); + } + break; default: break; } -- 2.7.4