gcc/testsuite/gnat.dg/bltins.adb

   1 -- { dg-do run }
   2
   3 procedure Bltins is
   4
   5    function Sqrt (F : Float) return Float;
   6    pragma Import (Intrinsic, Sqrt, "__builtin_sqrtf");
   7
   8    F : Float := 4.0;
   9    R : Float;
  10 begin
  11    R := Sqrt (F);
  12 end;