xref
: /
dports
/
lang
/
gcc12-devel
/
gcc-12-20211205
/
gcc
/
testsuite
/
gnat.dg
/
predicate6.adb
Home
History
Annotate
Line#
Scopes#
Navigate#
Raw
Download
current directory
1
-- { dg-do compile }
2
3
package
body
Predicate6
is
4
procedure
Foo
is
null
;
5
end
Predicate6
;
6