blob: 9aab468dba8f421d3a0ae2109da04fd8ed3128b0 [file] [log] [blame]
-- { dg-do compile }
package body Pure_Function1 is
function F return Integer is (0);
pragma Pure_Function (F); -- { dg-error "pragma \"Pure_Function\" argument must be in same declarative part" }
pragma Pure_Function (F); -- { dg-error "pragma \"Pure_Function\" argument must be in same declarative part" }
pragma Pure_Function (F); -- { dg-error "pragma \"Pure_Function\" argument must be in same declarative part" }
end;