gcc/testsuite/gnat.dg/warn30.adb

   1 --  { dg-do compile }
   2 --  { dg-options "-gnatwa" }
   3 with Interfaces; use Interfaces;
   4
   5 package body Warn30 is
   6    procedure Incr (X : in out Interfaces.Integer_64) is
   7    begin
   8       X := X + 1;
   9    end Incr;
  10 end Warn30;