Sign in
gnu
/
gcc
/
refs/heads/devel/c++-contracts
/
.
/
gcc
/
testsuite
/
g++.dg
/
contracts
/
contracts-post2.C
blob: 7665f82910709f74661944464360c6df505deac3 [
file
] [
log
] [
blame
]
// { dg-do run }
// { dg-options "-std=c++2a -fcontracts" }
int
f1
(
int
n
)
[[
post r
:
r
==
n
]]
{
return
n
;
}
int
main
()
{
f1
(
0
);
}