[patch] prevent tree sinking of trapping stmts

[Richard Biener]

On Wed, Sep 3, 2014 at 3:25 PM, Olivier Hainque <hainque@adacore.com> wrote:
>
> On Sep 3, 2014, at 15:05 , Richard Biener <richard.guenther@gmail.com> wrote:
>> Well, but that's a bug in the Ada frontend if it does exceptions behind
>> GCCs back.
>
>  I agree that this is a problem and that could_throw_p is a better
>  predicate. I wasn't convinced by my own answer but hadn't really
>  pinpointed why before hitting send.
>
>>  ISTR that the middle-end also supports a SJLJ EH scheme?
>
>  Yes, it does.
>
>  There's a long history behind the front-end sjlj scheme and it has
>  remained in place for a number of reasons (compatibility with other
>  libgcc's when mixing with c++ on some platforms, certification
>  concerns, ...)
>
>  Needs extra thought.
>
>  Thanks for the exchange,

Eventually the FE can still simply set flag_exeptions /
flag_non_call_exceptions?  It will still not be correct for all cases
but at least external throw predicates would work ...

Richard.

>  Cheers,
>
>  Olivier
>