gcc/testsuite/gnat.dg/validity_check3.adb

   1 --  { dg-do compile }
   2 --  { dg-options "-gnata -gnateV" }
   3
   4 package 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;
  96 end Validity_Check3;