diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2008-08-04 12:13:10 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-04 14:13:10 +0200 |
| commit | 10fb8ecd51bf6ac25ee3dc9d726be52f723ecf4f (patch) | |
| tree | 27d11cf024d70a7879e2d2b7db8271d73e1814ad | |
| parent | d27653b8a3ac605f2b034e0ddda40e5a1eaceb0c (diff) | |
| download | gcc-10fb8ecd51bf6ac25ee3dc9d726be52f723ecf4f.zip gcc-10fb8ecd51bf6ac25ee3dc9d726be52f723ecf4f.tar.gz gcc-10fb8ecd51bf6ac25ee3dc9d726be52f723ecf4f.tar.bz2 | |
* gnat.dg/test_ai254.adb: New test.
From-SVN: r138609
| -rw-r--r-- | gcc/testsuite/ChangeLog | 1 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/test_ai254.adb | 12 |
2 files changed, 13 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 9c40d95..8c0f18e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,6 +1,7 @@ 2008-08-04 Arnaud Charlet <charlet@adacore.com> * gnat.dg/bip_aggregate_bug.adb: New test. + * gnat.dg/test_ai254.adb: New test. 2008-08-03 Jerry DeLisle <jvdelisle@gcc.gnu.org> diff --git a/gcc/testsuite/gnat.dg/test_ai254.adb b/gcc/testsuite/gnat.dg/test_ai254.adb new file mode 100644 index 0000000..18f6583 --- /dev/null +++ b/gcc/testsuite/gnat.dg/test_ai254.adb @@ -0,0 +1,12 @@ +-- { dg-do compile } + +procedure test_ai254 is + function Func + (Obj : not null access protected function (X : Float) return Float) + return not null access protected function (X : Float) return Float is + begin + return null; + end; +begin + null; +end; |