(root)/
gcc-13.2.0/
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);