|
145
|
1 -- { dg-do compile }
|
|
|
2 -- { dg-options "-gnatwa" }
|
|
|
3
|
|
|
4 package body Warn28 is
|
|
|
5
|
|
|
6 function Id (X : Integer) return Integer is (2 * X);
|
|
|
7
|
|
|
8 procedure TheProcedure1 (TheParameter : in Integer)
|
|
|
9 is
|
|
|
10 X : Integer;
|
|
|
11 begin
|
|
|
12
|
|
|
13 X := Id (TheParameter);
|
|
|
14 if X < 3 then
|
|
|
15 X := X ** 3;
|
|
|
16 end if;
|
|
|
17 end TheProcedure1;
|
|
|
18
|
|
|
19 procedure Junk (It : Integer) is -- { dg-warning "formal parameter \"It\" is not referenced" }
|
|
|
20 X : Integer := Id (34);
|
|
|
21 begin
|
|
|
22 if X < 3 then
|
|
|
23 X := X ** 3;
|
|
|
24 end if;
|
|
|
25 end;
|
|
|
26
|
|
|
27 procedure TheProcedure (TheParameter : in Integer) -- { dg-warning "formal parameter \"TheParameter\" is not referenced" }
|
|
|
28 is
|
|
|
29
|
|
|
30 begin
|
|
|
31
|
|
|
32 null;
|
|
|
33
|
|
|
34 end TheProcedure;
|
|
|
35
|
|
|
36 end Warn28;
|
