On Sep 3, 2014, at 15:27 , Richard Biener <richard.guent...@gmail.com> wrote: > 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 ... Yes, these would work. I have always been worried about the potential unwanted effects and refrained from getting there so far. Now, it could well be that there are more or worse unwanted effects with not setting them today. The compiler has evolved quite a lot since the last time I looked into these. I'll re-examine ... Thanks again for your constructive feedback, Olivier
