This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] CFG EH improvements/cleanups #1
- From: Michael Matz <matz at suse dot de>
- To: law at redhat dot com
- Cc: Jason Merrill <jason at redhat dot com>, <gcc-patches at gcc dot gnu dot org>
- Date: Mon, 16 Jun 2003 12:02:52 +0200 (CEST)
- Subject: Re: [tree-ssa] CFG EH improvements/cleanups #1
Hi,
On Sat, 14 Jun 2003 law@redhat.com wrote:
> >If the try block has no executable code, there cannot be multiple
> >predecessors for the finally block.
> Can't a finally block have a loop?
I guess so.
> Can't a finally block start with a label that is reachable from multiple
> locations, possibly outside the finally block?
I won't think so. At least if TRY_FINALLY_EXPR should correspond with
try/finally in languages I would forbid to enter the finally block in
_any_ way except through fallthrough from the try block.
Ciao,
Michael.