Google Git
Sign in
gnu / gcc / refs/tags/basepoints/gcc-13 / . / gcc / testsuite / gnat.dg / pure_function1.ads
blob: 90b28fb1af9e1121798c781a29a02074a863fde6 [file] [log] [blame]
package Pure_Function1 is
function F return Integer;
pragma Pure_Function (F);
pragma Pure_Function (F);
pragma Pure_Function (F);
end;