Sign in
gnu
/
gcc
/
refs/heads/devel/c++-contracts
/
.
/
gcc
/
testsuite
/
g++.dg
/
contracts
/
contracts-large-return.C
blob: ea8e73a387f1351239de34b2d779405231b507cb [
file
] [
log
] [
blame
]
// { dg-do compile }
// { dg-options "-std=c++2a -fcontracts" }
struct
Foo
{
int
x
;
bool
y
;
long
z
[
4
];
};
Foo
foo
()
[[
pre
:
true
]]
{
return
{};
}