On Wed, Sep 3, 2014 at 3:25 PM, Olivier Hainque <hain...@adacore.com> wrote: > > On Sep 3, 2014, at 15:05 , Richard Biener <richard.guent...@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 >
