* gnat.dg/test_ai254.adb: New test.

From-SVN: r138609

* gnat.dg/test_ai254.adb: New test.
From-SVN: r138609
10fb8ecd · Arnaud Charlet · Arnaud Charlet · d27653b8 · 10fb8ecd · 10fb8ecd
Commit 10fb8ecd authored Aug 04, 2008 by Arnaud Charlet Committed by Arnaud Charlet Aug 04, 2008
Hide whitespace changes
Inline Side-by-side

Showing with 13 additions and 0 deletions

gcc/testsuite/ChangeLog
+1 -0

gcc/testsuite/gnat.dg/test_ai254.adb
+12 -0

No files found.
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
 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>


--- a/gcc/testsuite/gnat.dg/test_ai254.adb
+++ b/gcc/testsuite/gnat.dg/test_ai254.adb
+--  { 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;