?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
PR testsuite/86649
[official-gcc.git] / gcc / testsuite / gnat.dg / pure_function1.ads
blob90b28fb1af9e1121798c781a29a02074a863fde6
1 package Pure_Function1 is
2 function F return Integer;
3 pragma Pure_Function (F);
4 pragma Pure_Function (F);
5 pragma Pure_Function (F);
6 end;
Mirror of the offical gcc git repository hosted at gcc.gnu.org