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