URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc2/] [gcc/] [testsuite/] [gnat.dg/] [tfren.adb] - Diff between revs 304 and 384

Rev 304	Rev 384
`-- { dg-do run }`	`-- { dg-do run }`
`-- { dg-options "-gnatws" }`	`-- { dg-options "-gnatws" }`

`procedure Tfren is`	`procedure Tfren is`
`type R;`	`type R;`
`type Ar is access all R;`	`type Ar is access all R;`
`type R is record F1: Integer; F2: Ar; end record;`	`type R is record F1: Integer; F2: Ar; end record;`

`for R use record`	`for R use record`
`F1 at 1 range 0..31;`	`F1 at 1 range 0..31;`
`F2 at 5 range 0..63;`	`F2 at 5 range 0..63;`
`end record;`	`end record;`

`procedure Foo (RR1, RR2: Ar);`	`procedure Foo (RR1, RR2: Ar);`

`procedure Foo (RR1, RR2 : Ar) is`	`procedure Foo (RR1, RR2 : Ar) is`
`begin`	`begin`
`if RR2.all.F1 /= 55 then raise program_error; end if;`	`if RR2.all.F1 /= 55 then raise program_error; end if;`
`end;`	`end;`

`R3: aliased R := (55, Null);`	`R3: aliased R := (55, Null);`
`R2: aliased R := (44, R3'Access);`	`R2: aliased R := (44, R3'Access);`
`R1: aliased R := (22, R2'Access);`	`R1: aliased R := (22, R2'Access);`
`P: Ar := R1'Access;`	`P: Ar := R1'Access;`

`X: Ar renames P.all.F2;`	`X: Ar renames P.all.F2;`
`Y: Ar renames X.all.F2;`	`Y: Ar renames X.all.F2;`

`begin`	`begin`
`P := R2'Access;`	`P := R2'Access;`
`R1.F2 := R1'Access;`	`R1.F2 := R1'Access;`
`Foo (X, Y);`	`Foo (X, Y);`
`Y.F1 := -111;`	`Y.F1 := -111;`
`if Y.F1 /= -111 then raise Constraint_Error; end if;`	`if Y.F1 /= -111 then raise Constraint_Error; end if;`
`end Tfren;`	`end Tfren;`