From 586a5f993abceb8ea62bdd39f2e0875ee11baace Mon Sep 17 00:00:00 2001 From: Jeffrey A Law Date: Fri, 28 Nov 1997 03:10:10 +0000 Subject: [PATCH] flow.c (find_basic_blocks): Handle cfg issues for rethrows and nested exceptions correctly. * flow.c (find_basic_blocks): Handle cfg issues for rethrows and nested exceptions correctly. From-SVN: r16812 --- gcc/ChangeLog | 3 +++ gcc/flow.c | 5 +++++ 2 files changed, 8 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index da980375695..3587eb5eb98 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,8 @@ Thu Nov 27 12:20:19 1997 Jeffrey A Law (law@cygnus.com) + * flow.c (find_basic_blocks): Handle cfg issues for rethrows and + nested exceptions correctly. + * unroll.c (find_splittable_givs): Don't split givs with a dest_reg that was created by loop. diff --git a/gcc/flow.c b/gcc/flow.c index ed66ce7c4ef..27409de005b 100644 --- a/gcc/flow.c +++ b/gcc/flow.c @@ -472,10 +472,15 @@ find_basic_blocks (f, nonlocal_label_list) /* If we encounter a CALL_INSN, note which exception handler it might pass control to. + Because we do rethrows by loading the address of a label into + __eh_pc and throwing, we need to treat labels as potentially + jumping to exception handlers. + If doing asynchronous exceptions, record the active EH handler for every insn, since most insns can throw. */ else if (eh_note && (asynchronous_exceptions + || code == CODE_LABEL || (GET_CODE (insn) == CALL_INSN && ! find_reg_note (insn, REG_RETVAL, NULL_RTX)))) active_eh_handler[INSN_UID (insn)] = XEXP (eh_note, 0); -- 2.30.2