2 -- { dg-options "-gnatwa" }
10 EE
: Boolean := True; -- { dg-warning "variable \"EE\" is not referenced" }
12 function F1
(I
: Natural) return Natural is -- { dg-warning "function \"F1\" is not referenced" }
17 function F2
(I
: Natural) return Natural is (I
); -- { dg-warning "function \"F2\" is not referenced" }
19 function F3
(I
: Natural) return Natural is (1); -- { dg-warning "function \"F3\" is not referenced|formal parameter \"I\" is not referenced" }
21 function F7
(EE
: E
) return Boolean is (EE
.P
); -- { dg-warning "function \"F7\" is not referenced" }
24 type XX
is tagged null record;
26 function F4
(Y
: XX
; U
: Boolean) return Natural is (1);
30 B
: Natural := XXX
.F4
(True); -- { dg-warning "variable \"B\" is not referenced" }