gcc/testsuite/gnat.dg/warn10.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O3 -gnatn -Winline" }
   3
   4 package body Warn10 is
   5
   6    procedure Do_Something(Driver : My_Driver) is
   7       X : Float;
   8    begin
   9        X := Get_Input_Value( Driver, 1, 1);
  10    end;
  11
  12 end Warn10;