projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b74730) | patch
decl.c (gnat_to_gnu_entity): Do not turn Ada Pure into GCC const, now implicitely...
authorOlivier Hainque <hainque@adacore.com>
Fri, 1 Aug 2008 10:36:01 +0000 (10:36 +0000)
committerOlivier Hainque <hainque@gcc.gnu.org>
Fri, 1 Aug 2008 10:36:01 +0000 (10:36 +0000)
commit2eee5152fa5975e91ff916630c43e850b4550155
tree16ff9fffba11e30b8c249b036fc1ce14f772ee2etree | snapshot
parent2b7473059a6a2b42731f78480d1b8ecf2215e70fcommit | diff
decl.c (gnat_to_gnu_entity): Do not turn Ada Pure into GCC const, now implicitely implying nothrow as well.

        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.

From-SVN: r138509
gcc/ada/ChangeLog diff | blob | history
gcc/ada/gcc-interface/decl.c diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gnat.dg/raise_from_pure.adb [new file with mode: 0644] blob
gcc/testsuite/gnat.dg/raise_from_pure.ads [new file with mode: 0644] blob
gcc/testsuite/gnat.dg/test_raise_from_pure.adb [new file with mode: 0644] blob
gcc/testsuite/gnat.dg/wrap_raise_from_pure.adb [new file with mode: 0644] blob
gcc/testsuite/gnat.dg/wrap_raise_from_pure.ads [new file with mode: 0644] blob
Domain: System / Toolchain;