// test that assumed contracts that reference undefined entities do not cause | |
// a link failure | |
// { dg-do run } | |
// { dg-options "-std=c++2a -fcontracts" } | |
int f(int t); | |
int dummy() | |
{ | |
[[ assert assume: f(1) > 0 ]]; | |
return -1; | |
} | |
int main() | |
{ | |
dummy(); | |
return 0; | |
} | |