Commit dc0e0d60 by Arnaud Charlet

Remove test, premature.

From-SVN: r138724
parent 434d3cf1
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
......
-- { 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;
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment