This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [patch] prevent tree sinking of trapping stmts
- From: Jakub Jelinek <jakub at redhat dot com>
- To: Richard Biener <richard dot guenther at gmail dot com>
- Cc: Eric Botcazou <ebotcazou at adacore dot com>, GCC Patches <gcc-patches at gcc dot gnu dot org>, Olivier Hainque <hainque at adacore dot com>
- Date: Thu, 4 Sep 2014 12:28:27 +0200
- Subject: Re: [patch] prevent tree sinking of trapping stmts
- Authentication-results: sourceware.org; auth=none
- References: <9D2C7E78-5C78-4A02-BD48-01E9A9F76157 at adacore dot com> <A532C7F6-B815-4495-AE31-9E07F6C15A32 at adacore dot com> <CAFiYyc1LOLo649k-j1L5-VMyGadmLuC54mnZAptVab6Cs3N=NA at mail dot gmail dot com> <201409041104 dot 03661 dot ebotcazou at adacore dot com> <CAFiYyc0FxiqBfKNTkBZWja+YQuisfL1cmF3qbT_QGwa95RS_fA at mail dot gmail dot com>
- Reply-to: Jakub Jelinek <jakub at redhat dot com>
On Thu, Sep 04, 2014 at 12:22:33PM +0200, Richard Biener wrote:
> But then the proposed patch pessimizes code too much IMHO.
Yeah. IMHO if Ada wants to __builtin_longjmp from synchronous signal handlers
(SIGFPE, SIGSEGV, ...) then the middle-end needs to be aware of that and
have it represented in the IL by edges from those possibly signalling
instructions to a setjmp dispatch pad or similar.
Jakub