https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70017
--- Comment #12 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Author: ebotcazou Date: Sat Mar 12 11:32:54 2016 New Revision: 234160 URL: https://gcc.gnu.org/viewcvs?rev=234160&root=gcc&view=rev Log: PR ada/70017 * calls.c (emit_library_call_value_1): Clear the ECF_NOTHROW flag if the libcall is LCT_THROW. * explow.c (probe_stack_range): Pass LCT_THROW to emit_library_call for the checking routine. Modified: trunk/gcc/ChangeLog trunk/gcc/calls.c trunk/gcc/explow.c