OSDN Git Service

ada/
authorhainque <hainque@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 1 Aug 2008 10:36:01 +0000 (10:36 +0000)
committerhainque <hainque@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 1 Aug 2008 10:36:01 +0000 (10:36 +0000)
commit915e412789c55d34e1809deae9a39c6a9fc5543e
tree16ff9fffba11e30b8c249b036fc1ce14f772ee2e
parent3421dfb1426cfdfafbb541849d9a14047623f2cd
    ada/
        * decl.c (gnat_to_gnu_entity) <case E_Function>: Do not turn Ada
        Pure into GCC const, now implicitely implying nothrow as well.

        testsuite/
        * gnat.dg/raise_from_pure.ad[bs],
        * gnat.dg/wrap_raise_from_pure.ad[bs]: Support for ...
        * gnat.dg/test_raise_from_pure.adb: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138509 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/gcc-interface/decl.c
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/raise_from_pure.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/raise_from_pure.ads [new file with mode: 0644]
gcc/testsuite/gnat.dg/test_raise_from_pure.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/wrap_raise_from_pure.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/wrap_raise_from_pure.ads [new file with mode: 0644]