gcc/testsuite/gnat.dg/pure_function1.adb

   1 --  { dg-do compile }
   2
   3 package body Pure_Function1 is
   4    function F return Integer is (0);
   5    pragma Pure_Function (F);  --  { dg-error "pragma \"Pure_Function\" argument must be in same declarative part" }
   6    pragma Pure_Function (F);  --  { dg-error "pragma \"Pure_Function\" argument must be in same declarative part" }
   7    pragma Pure_Function (F);  --  { dg-error "pragma \"Pure_Function\" argument must be in same declarative part" }
   8 end;