1--  { dg-do compile }
2
3with Pure_Subp_Body_Pkg;
4
5procedure Pure_Subp_Body with Pure is
6begin
7    null;
8end Pure_Subp_Body;
9
10--  cannot depend on "Pure_Subp_Body_Pkg" (wrong categorization)
11--  { dg-error "cannot depend on \"Pure_Subp_Body_Pkg\" \\(wrong categorization\\)" "" { target *-*-* } 3 }
12--  { dg-error "pure unit cannot depend on non-pure unit" "non-pure unit" { target *-*-* } 3 }
13