blob: 31bf1061d08f8e481729ace3f6c144f47a5b4bc4 [file] [log] [blame]
-- { dg-do compile }
with Pure_Subp_Body_Pkg;
procedure Pure_Subp_Body with Pure is
begin
null;
end Pure_Subp_Body;
-- cannot depend on "Pure_Subp_Body_Pkg" (wrong categorization)
-- { dg-error "cannot depend on \"Pure_Subp_Body_Pkg\" \\(wrong categorization\\)" "" { target *-*-* } 3 }
-- { dg-error "pure unit cannot depend on non-pure unit" "non-pure unit" { target *-*-* } 3 }