Require target lra in gcc.dg/pr108095.c
[official-gcc.git] / gcc / testsuite / gnat.dg / global.ads
blob0ff9b96b0915daa959df1885bd05b910d27a9e8d
1 package Global
2 with Abstract_State => (State with External)
3 is
4 protected type Prot_Typ is
5 procedure Force_Body;
6 end Prot_Typ;
8 protected Prot_Obj is
9 procedure Force_Body;
10 end Prot_Obj;
12 task type Task_Typ is
13 entry Force_Body;
14 end Task_Typ;
16 task Task_Obj is
17 entry Force_Body;
18 end Task_Obj;
19 end Global;