blob: 4dd12216d06278f65fdc21e4c2082369d0127bf7 (
plain)
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
|
// P1774R8 - Portable assumptions
// { dg-do compile { target c++11 } }
[[assume (true)]] void f1 (); // { dg-error "'assume' attribute ignored" }
typedef int intx [[assume (true)]]; // { dg-error "'assume' attribute ignored" }
[[assume (true)]]; // { dg-warning "attribute ignored" }
void
foo ()
{
int i;
[[assume]]; // { dg-error "wrong number of arguments specified for 'assume' attribute" }
// { dg-message "expected 1, found 0" "" { target *-*-* } .-1 }
[[assume ()]]; // { dg-error "parentheses must be omitted if 'assume' attribute argument list is empty" }
// { dg-error "wrong number of arguments specified for 'assume' attribute" "" { target *-*-* } .-1 }
// { dg-message "expected 1, found 0" "" { target *-*-* } .-2 }
[[assume (true, true)]]; // { dg-error "wrong number of arguments specified for 'assume' attribute" }
// { dg-message "expected 1, found 2" "" { target *-*-* } .-1 }
[[assume (true)]] i = 1; // { dg-warning "'assume' attribute not followed by ';'" }
[[assume (throw 1)]]; // { dg-error "expected primary-expression before 'throw'" }
[[assume (i = 1)]]; // { dg-error "expected '\\\)' before '=' token" }
}
constexpr int
f2 (int x)
{
#if __cpp_constexpr >= 201304L
[[assume (x == 42)]]; // { dg-error "failed 'assume' attribute assumption" "" { target c++14 } }
#endif // { dg-message "the comparison reduces to '\\\(44 == 42\\\)'" "" { target c++14 } .-1 }
return x;
}
constexpr int a = f2 (44);
int
f3 (int x)
{
__asm ("" : "+r" (x));
return x;
}
constexpr int
f4 (int x)
{
#if __cpp_constexpr >= 201304L
[[assume (f3 (42) == 42)]];
#endif
return x;
}
static_assert (f4 (42) == 42, "");
struct S {};
int
f5 ()
{
S s;
[[assume (s)]]; // { dg-error "could not convert 's' from 'S' to 'bool'" }
return 0;
}
template <typename T>
int
f6 ()
{
T t;
[[assume (t)]]; // { dg-error "could not convert 't' from 'S' to 'bool'" }
return 0;
}
int z = f6 <S> ();
constexpr int
f7 (int x, int y, int z, int w)
{
#if __cpp_constexpr >= 201304L
[[assume (x == 42 && y == 43 && z == 44 && w == 45)]]; // { dg-error "failed 'assume' attribute assumption" "" { target c++14 } }
#endif // { dg-message "the comparison reduces to '\\\(45 == 44\\\)'" "" { target c++14 } .-1 }
return x;
}
constexpr int w = f7 (42, 43, 45, 44);
|
