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, Cheers, Olivier
