http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55321
--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-11-29 22:58:37 UTC --- Author: ebotcazou Date: Thu Nov 29 22:58:23 2012 New Revision: 193973 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193973 Log: PR middle-end/55321 * calls.c (emit_library_call_value_1): Mark as no-nonlocal if no-throw. Added: trunk/gcc/testsuite/gnat.dg/loop_optimization14.adb trunk/gcc/testsuite/gnat.dg/loop_optimization14.ads trunk/gcc/testsuite/gnat.dg/loop_optimization14_pkg.ads Modified: trunk/gcc/ChangeLog trunk/gcc/calls.c trunk/gcc/testsuite/ChangeLog
