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

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@138719 138bc75d-0d04-0410-961f-82ee72b054a4

2 files changed, 31 insertions, 0 deletions

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index dda2c2a34f8..1239425dd04 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2008-08-04  Arnaud Charlet  <charlet@adacore.com>
+
+	* gnat.dg/post_block.adb: New test.
+
 2008-08-05  Richard Guenther  <rguenther@suse.de>
 
 	PR middle-end/37026
diff --git a/gcc/testsuite/gnat.dg/post_block.adb b/gcc/testsuite/gnat.dg/post_block.adb
new file mode 100644
index 00000000000..ac3ee6e4d55
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/post_block.adb
@@ -0,0 +1,27 @@
+--  { dg-do compile }
+--  { dg-options "-gnata" }
+
+procedure Post_Block is
+   package Pack is
+      function Size (X : Integer) return Integer;
+      pragma Postcondition (Size'Result = Value (X)'Length);   --  OK
+      pragma Postcondition (Value (X)'Length = Size'Result);
+
+      --  Calling the following requires a transient block.
+      function Value (X : Integer) return String;
+   end Pack;
+   
+   package body Pack is
+      function Size (X : Integer) return Integer is
+      begin
+         return 0;
+      end;
+      
+      function Value (X : Integer) return String is
+      begin
+         return Integer'image (X);
+      end;
+   end Pack;
+begin
+   null;
+end;