annotate gcc/testsuite/gnat.dg/return4.adb @ 152:2b5abeee2509

update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 -- { dg-do run }
kono
parents:
diff changeset
2 -- { dg-options "-O" }
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 with Return4_Pkg; use Return4_Pkg;
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 procedure Return4 is
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 type Local_Rec is record
kono
parents:
diff changeset
9 C : Character;
kono
parents:
diff changeset
10 R : Rec;
kono
parents:
diff changeset
11 end record;
kono
parents:
diff changeset
12 pragma Pack (Local_Rec);
kono
parents:
diff changeset
13
kono
parents:
diff changeset
14 L : Local_Rec;
kono
parents:
diff changeset
15 for L'Alignment use 2;
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 begin
kono
parents:
diff changeset
18 L.R := Get_Value (0);
kono
parents:
diff changeset
19 if L.R.I1 /= 0 then
kono
parents:
diff changeset
20 raise Program_Error;
kono
parents:
diff changeset
21 end if;
kono
parents:
diff changeset
22 end;