1-- { dg-do run } 2 3procedure 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; 10begin 11 R := Sqrt (F); 12end; 13