gcc/testsuite/gnat.dg/pure_subp_body.adb

   1 --  { dg-do compile }
   2
   3 with Pure_Subp_Body_Pkg;
   4
   5 procedure Pure_Subp_Body with Pure is
   6 begin
   7     null;
   8 end 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 }