OpenCores
URL https://opencores.org/ocsvn/openrisc_me/openrisc_me/trunk

Subversion Repositories openrisc_me

[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [gnat.dg/] [no_final.adb] - Blame information for rev 328

Go to most recent revision | Details | Compare with Previous | View Log

Line No. Rev Author Line
1 304 jeremybenn
-- { dg-do run }
2
 
3
pragma Restrictions (No_Finalization);
4
procedure no_final is
5
   package P is
6
      type T is tagged null record;
7
      type T1 is new T with record
8
         A : String (1..80);
9
      end record;
10
      function F return T'Class;
11
   end P;
12
 
13
   Str : String (1..80) := (1..80=>'x');
14
 
15
   package body P is
16
      function F return T'Class is
17
         X : T1 := T1'(A => Str);
18
      begin
19
         return X;
20
      end F;
21
   end P;
22
 
23
   Obj : P.T'class := P.F;
24
begin
25
   if P.T1 (Obj).A /= Str then
26
      raise Constraint_Error;
27
   end if;
28
end;
29
 

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.