PR middle-end/55321
authorebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 29 Nov 2012 22:58:23 +0000 (22:58 +0000)
committerebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 29 Nov 2012 22:58:23 +0000 (22:58 +0000)
commit43926c6a3ad12927b879bd6591f3e1012d743146
tree65663b47ff72f52cbcb2aeb91f37bdce44a408c9
parentbf330a11be325d339866f3c2f26c2482859117c4
PR middle-end/55321
* calls.c (emit_library_call_value_1): Mark as no-nonlocal if no-throw.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193973 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/calls.c
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/loop_optimization14.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/loop_optimization14.ads [new file with mode: 0644]
gcc/testsuite/gnat.dg/loop_optimization14_pkg.ads [new file with mode: 0644]