Skip to content
Permalink
Branch: master
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
14 lines (11 sloc) 175 Bytes
int foo(int n)
[[expects: n < 10]]
{
return n*n;
}
int main()
{
int (*pfoo)(int n) = &foo;
pfoo(100); // <-- contract violation
return 0;
}
You can’t perform that action at this time.