Sign in
gnu
/
gcc
/
refs/heads/devel/c++-contracts
/
.
/
gcc
/
testsuite
/
g++.dg
/
contracts
/
contracts-post5.C
blob: c9127fb2cc95e43caf6a76cb6927a7ba93fe7275 [
file
] [
log
] [
blame
]
// { dg-do compile }
// { dg-options "-std=c++2a -fcontracts" }
// Tests for function templates
template
<
typename
T
>
T f1
(
T n
)
[[
pre
:
n
>=
0
]]
[[
post r
:
r
>=
0
]]
[[
post r
:
!(
r
<
0
)]]
{
return
n
;
}
void
driver
()
{
f1
(
0
);
}