gcc/testsuite/gnat.dg/pure_function2.adb

   1 --  { dg-do compile }
   2
   3 function Pure_Function2 (X : Integer) return Integer is
   4 begin
   5    return X;
   6 end Pure_Function2;
   7
   8 pragma Pure_Function (Pure_Function2);  --  { dg-error "pragma \"Pure_Function\" argument must be in same declarative part" }
   9 pragma Pure_Function (Pure_Function2);  --  { dg-error "pragma \"Pure_Function\" argument must be in same declarative part" }
  10 pragma Pure_Function (Pure_Function2);  --  { dg-error "pragma \"Pure_Function\" argument must be in same declarative part" }