1--  { dg-do compile }
2--  { dg-options "-gnata -gnateV" }
3
4package body Validity_Check3 is
5   procedure Proc_Priv_CW_1 (Param : Tag_1'Class) is begin null; end;
6   procedure Proc_Priv_CW_2 (Param : Tag_2'Class) is begin null; end;
7   procedure Proc_Priv_CW_3 (Param : Tag_3'Class) is begin null; end;
8   procedure Proc_Priv_CW_4 (Param : Tag_4'Class) is begin null; end;
9   procedure Proc_Priv_CW_5 (Param : Tag_5'Class) is begin null; end;
10   procedure Proc_Priv_CW_6 (Param : Tag_6'Class) is begin null; end;
11
12   procedure Proc_Priv_Rec_1 (Param : Rec_1) is begin null; end;
13   procedure Proc_Priv_Rec_2 (Param : Rec_2) is begin null; end;
14   procedure Proc_Priv_Rec_3 (Param : Rec_3) is begin null; end;
15   procedure Proc_Priv_Rec_4 (Param : Rec_4) is begin null; end;
16
17   procedure Proc_Priv_Tag_1 (Param : Tag_1) is begin null; end;
18   procedure Proc_Priv_Tag_2 (Param : Tag_2) is begin null; end;
19   procedure Proc_Priv_Tag_3 (Param : Tag_3) is begin null; end;
20   procedure Proc_Priv_Tag_4 (Param : Tag_4) is begin null; end;
21   procedure Proc_Priv_Tag_5 (Param : Tag_5) is begin null; end;
22   procedure Proc_Priv_Tag_6 (Param : Tag_6) is begin null; end;
23
24   procedure Proc_Vis_CW_1 (Param : Tag_1'Class) is begin null; end;
25   procedure Proc_Vis_CW_2 (Param : Tag_2'Class) is begin null; end;
26   procedure Proc_Vis_CW_3 (Param : Tag_3'Class) is begin null; end;
27   procedure Proc_Vis_CW_4 (Param : Tag_4'Class) is begin null; end;
28   procedure Proc_Vis_CW_5 (Param : Tag_5'Class) is begin null; end;
29   procedure Proc_Vis_CW_6 (Param : Tag_6'Class) is begin null; end;
30
31   procedure Proc_Vis_Rec_1 (Param : Rec_1) is begin null; end;
32   procedure Proc_Vis_Rec_2 (Param : Rec_2) is begin null; end;
33   procedure Proc_Vis_Rec_3 (Param : Rec_3) is begin null; end;
34   procedure Proc_Vis_Rec_4 (Param : Rec_4) is begin null; end;
35
36   procedure Proc_Vis_Tag_1 (Param : Tag_1) is begin null; end;
37   procedure Proc_Vis_Tag_2 (Param : Tag_2) is begin null; end;
38   procedure Proc_Vis_Tag_3 (Param : Tag_3) is begin null; end;
39   procedure Proc_Vis_Tag_4 (Param : Tag_4) is begin null; end;
40   procedure Proc_Vis_Tag_5 (Param : Tag_5) is begin null; end;
41   procedure Proc_Vis_Tag_6 (Param : Tag_6) is begin null; end;
42
43   procedure Call_All is
44      pragma Warnings (Off);
45      Obj_Rec_1 : Rec_1;
46      Obj_Rec_2 : Rec_2;
47      Obj_Rec_3 : Rec_3 (3);
48      Obj_Rec_4 : Rec_4 (4);
49      Obj_Tag_1 : Tag_1;
50      Obj_Tag_2 : Tag_2;
51      Obj_Tag_3 : Tag_3 (3);
52      Obj_Tag_4 : Tag_4 (4);
53      Obj_Tag_5 : Tag_5;
54      Obj_Tag_6 : Tag_6 (6);
55      pragma Warnings (On);
56
57   begin
58      Proc_Priv_CW_1 (Obj_Tag_1);
59      Proc_Priv_CW_2 (Obj_Tag_2);
60      Proc_Priv_CW_3 (Obj_Tag_3);
61      Proc_Priv_CW_4 (Obj_Tag_4);
62      Proc_Priv_CW_5 (Obj_Tag_5);
63      Proc_Priv_CW_6 (Obj_Tag_6);
64
65      Proc_Priv_Rec_1 (Obj_Rec_1);
66      Proc_Priv_Rec_2 (Obj_Rec_2);
67      Proc_Priv_Rec_3 (Obj_Rec_3);
68      Proc_Priv_Rec_4 (Obj_Rec_4);
69
70      Proc_Priv_Tag_1 (Obj_Tag_1);
71      Proc_Priv_Tag_2 (Obj_Tag_2);
72      Proc_Priv_Tag_3 (Obj_Tag_3);
73      Proc_Priv_Tag_4 (Obj_Tag_4);
74      Proc_Priv_Tag_5 (Obj_Tag_5);
75      Proc_Priv_Tag_6 (Obj_Tag_6);
76
77      Proc_Vis_CW_1 (Obj_Tag_1);
78      Proc_Vis_CW_2 (Obj_Tag_2);
79      Proc_Vis_CW_3 (Obj_Tag_3);
80      Proc_Vis_CW_4 (Obj_Tag_4);
81      Proc_Vis_CW_5 (Obj_Tag_5);
82      Proc_Vis_CW_6 (Obj_Tag_6);
83
84      Proc_Vis_Rec_1 (Obj_Rec_1);
85      Proc_Vis_Rec_2 (Obj_Rec_2);
86      Proc_Vis_Rec_3 (Obj_Rec_3);
87      Proc_Vis_Rec_4 (Obj_Rec_4);
88
89      Proc_Vis_Tag_1 (Obj_Tag_1);
90      Proc_Vis_Tag_2 (Obj_Tag_2);
91      Proc_Vis_Tag_3 (Obj_Tag_3);
92      Proc_Vis_Tag_4 (Obj_Tag_4);
93      Proc_Vis_Tag_5 (Obj_Tag_5);
94      Proc_Vis_Tag_6 (Obj_Tag_6);
95   end Call_All;
96end Validity_Check3;
97