Mercurial > hg > CbC > CbC_gcc

view gcc/testsuite/gnat.dg/pure_subp_body.adb @ 140:4e440907fcbf

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
copy CbC goto flang in cfgexpand remove some CbC unnecessary code
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Wed, 14 Nov 2018 00:24:45 +0900
parents 84e7813d76e9
children
line wrap: on
line source

--  { 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 }