New tests.

From-SVN: r128432
This commit is contained in:
Arnaud Charlet 2007-09-12 14:15:07 +02:00
parent 82da9a9061
commit 58dc03b4c5
3 changed files with 44 additions and 0 deletions

View File

@ -0,0 +1,18 @@
-- { dg-do compile }
procedure Discr_Test2 is
type Ptr is access all integer;
type Ar is array (Integer range <>) of Ptr;
type Inner (Discr : Integer) is record
Comp : Ar (1..Discr);
end record;
type Wrapper (Discr : Integer) is record
Comp : Inner (Discr);
end record;
Val : constant Wrapper := (0, Comp => <>);
begin
null;
end;

View File

@ -0,0 +1,13 @@
-- { dg-do run }
with GNAT.Regpat; use GNAT.Regpat;
procedure regpat1 is
begin
declare
Re : Pattern_Matcher := Compile ("a[]b");
begin
raise Program_Error;
end;
exception
when Expression_Error => null;
end regpat1;

View File

@ -0,0 +1,13 @@
-- { dg-do compile }
package box1 is
type Root is tagged null record;
type Der1 is new Root with record
B : Boolean;
end record;
type Der2 is new Der1 with null record;
type Der3 is new Der2 with null record;
Obj : Der3 := (Der2 with others => <>);
end;