gcc/testsuite/gnat.dg/recursive_call.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-gnat2012" }
   3
   4 function Recursive_Call (File : String; Status : out Boolean) return Boolean is
   5 begin
   6   if File /= "/dev/null" then
   7     return Recursive_Call ("/dev/null", Status);
   8   end if;
   9   return False;
  10 end;