gcc/testsuite/gnat.dg/pure_function2.ads

function Pure_Function2 (X : Integer) return Integer with Pure_Function;

pragma Pure_Function (Pure_Function2);
pragma Pure_Function (Pure_Function2);
pragma Pure_Function (Pure_Function2);