Add __builtion_unreachable to vector::size(), vector::capacity()
[official-gcc.git] / gcc / testsuite / gnat.dg / limited2_pack_2.adb
blob2a4ddd1d25d9c49c22c12bdc5000a1a1445b60ae
1 with Limited2_Pack_1;
3 package body Limited2_Pack_2 is
4 Obj_1 : Limited2_Pack_1.A;
5 Obj_2 : Limited2_Pack_1.A;
6 Obj_3 : Limited2_Pack_1.A;
8 procedure M (R : Limited2_Pack_1.A) is
9 begin
10 null;
11 end M;
13 procedure Create (P : in C) is
14 begin
15 M (R => Obj_1);
16 M (R => (case P is
17 when C1 => Obj_1,
18 when C2 => Obj_2,
19 when C3 => Obj_3));
20 end Create;
21 end Limited2_Pack_2;