From: Arnaud Charlet <charlet@gcc.gnu.org>
Date: Tue, 5 Aug 2008 14:49:51 +0000 (+0200)
Subject: Remove test, premature.
X-Git-Tag: releases/gcc-4.4.0~3337
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dc0e0d6001b1c13122c11a5404e36161a9b9bda5;p=thirdparty%2Fgcc.git

Remove test, premature.

From-SVN: r138724
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 1239425dd04f..dda2c2a34f88 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,7 +1,3 @@
-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
deleted file mode 100644
index ac3ee6e4d55b..000000000000
--- a/gcc/testsuite/gnat.dg/post_block.adb
+++ /dev/null
@@ -1,27 +0,0 @@
---  { 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;