From dc0e0d6001b1c13122c11a5404e36161a9b9bda5 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 5 Aug 2008 16:49:51 +0200 Subject: [PATCH] Remove test, premature. From-SVN: r138724 --- gcc/testsuite/ChangeLog | 4 ---- gcc/testsuite/gnat.dg/post_block.adb | 27 --------------------------- 2 files changed, 31 deletions(-) delete mode 100644 gcc/testsuite/gnat.dg/post_block.adb diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1239425..dda2c2a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,7 +1,3 @@ -2008-08-04 Arnaud Charlet - - * gnat.dg/post_block.adb: New test. - 2008-08-05 Richard Guenther 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 ac3ee6e..0000000 --- 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; -- 2.7.4