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