------- Comment #33 from rguenth at gcc dot gnu dot org 2009-04-16 08:58 ------- Ok, so we _do_ run lower_eh_constructs, but
formal = p__proc_next (formal); returns false for stmt_could_throw_p (stmt). Why? (Not that I can follow the Ada testcase ... but I suppose the above function call returns abnormally) Hm, I guess because flag_exceptions is false. Is this Ada playing games behind the middle-end and implementing exceptions on its own pretending that there are none? In which case the LHS of the above stmt should be marked volatile at least - after all non-EH SJLJ stuff would need to follow C / POSIX requirements, no? I'm of course sort of confused here. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39625
