gcc-4.9/gcc/testsuite/gnat.dg/warn10.adb


1
2
3
4
5
6
7
8
9
10
11
12

-- { dg-do compile }
-- { dg-options "-O3 -gnatn -Winline" }

package body Warn10 is

   procedure Do_Something(Driver : My_Driver) is
      X : Float;
   begin
       X := Get_Input_Value( Driver, 1, 1);
   end;

end Warn10;