1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
|
// Tests to ensure that deduced return types work with postconditions using
// the return value on defining declarations.
// { dg-do compile }
// { dg-options "-std=c++2a -fcontracts --param ggc-min-heapsize=0 --param ggc-min-expand=0" }
auto undeduced(int z)
{
if (!(sizeof(decltype(undeduced(5))) > 4)) // { dg-error "before deduction" }
return 5;
return 4;
}
// defining declaration, fine
auto g0(int a) [[ pre: a < 0 ]] [[ post r: r > 0 ]]
{
return -a * 1.2;
}
// non defining post using nondeduced identifier, fine
int g1(int m) [[ post r: r == m ]];
int g1(int n) [[ post s: s == n ]]
{
return -n;
}
int g2(int z)
[[ pre: sizeof(decltype(g2(5))) > 4 ]]; // { dg-error "not declared" }
int g3(int z)
[[ pre: sizeof(decltype(g2(5))) > 4 ]]
{
return -z;
}
// deduced that doesn't use return, good
auto g4(int m) [[ post: m ]];
auto g4(int m) [[ post: m ]]
{
return -m;
}
auto g5(int m) [[ pre: m ]];
auto g5(int m) [[ pre: m ]]
{
return -m;
}
template<typename T>
auto g6(T t) [[ post r: r == t ]];
template<typename S>
auto g6(S s) [[ post q: q == s ]]
{
return s;
}
template<typename T>
T g7(T t) [[ post r: r == t ]];
template<typename S>
S g7(S s) [[ post q: q == s ]]
{
return s;
}
template<typename T>
auto g8(T t) [[ post r: r == t && sizeof(decltype(::g8(t))) > 2 ]]; // { dg-error "not been declared" }
// This failure is related to the fact that we've invalidated the previous
// contract.
template<typename S>
auto g8(S s) [[ post q: q == s && sizeof(decltype(::g8(s))) > 2 ]] // { dg-error "mismatched" }
{
return s;
}
// non defining pre, bad
auto f0(int z)
[[ pre: sizeof(decltype(f0(5))) > 4 ]]; // { dg-error "not declared" }
// defining pre, still ill formed
auto f1(int z)
[[ pre: sizeof(decltype(f1(5))) > 4 ]] // { dg-error "not declared" }
{
return '5';
}
// undeduced using postcon, OK
auto f2(int m) [[ post r: r == m ]];
auto f2(int n) [[ post s: s == n ]]
{
return n;
}
template<typename T>
void f3(T t) [[ post r: false ]] // { dg-error "function does not return a value" }
{
}
int main(int, char**)
{
return 0;
}
|
