This is the mail archive of the
mailing list for the GCC project.
Re: [patch] PR21847 (wrong-code with -fnon-call-exceptions)
- From: Richard Henderson <rth at redhat dot com>
- To: Steven Bosscher <stevenb at suse dot de>
- Cc: gcc-patches at gcc dot gnu dot org, Tom Tromey <tromey at redhat dot com>, Mark Mitchell <mark at codesourcery dot com>
- Date: Tue, 7 Jun 2005 10:12:39 -0700
- Subject: Re: [patch] PR21847 (wrong-code with -fnon-call-exceptions)
- References: <email@example.com>
On Mon, Jun 06, 2005 at 01:59:17AM +0200, Steven Bosscher wrote:
> * tree-ssa-dce.c (mark_stmt_if_obviously_necessary): With
> -fnon-call-exceptions, also mark statements inherently
> necessary if they may throw.
I don't really like this. I'd prefer the default to be that, while
exceptions are propagated when they occur, they're not a hard side
effect of the operation. I'd very much prefer that the front end
arrange for things that shouldn't die be marked volatile or something.
But this could be ok for 4.0 branch...