blob: f43e1abcde7324ab40c4b9a4ffb84865ed02914a (
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
84
85
86
87
88
89
90
91
92
93
94
|
// Test for other range-based for loops with
// begin/end member functions
// { dg-do compile { target c++11 } }
//These should not be used
template<typename T> int *begin(T &t)
{
T::fail;
}
template<typename T> int *end(T &t)
{
T::fail;
}
//Test for defaults
struct default1
{
int *begin(int x); // { dg-message "note" }
int *end();
};
struct default2
{
int *begin(int x=0);
int *end();
};
struct default3
{
template <typename T> T *begin(); // { dg-message "note" }
int *end();
};
struct default4
{
template <typename T=int> T *begin();
int *end();
};
struct default5
{
template <typename T=int> T *begin(int x=0);
int *end();
};
void test1()
{
for (int x : default1()); // { dg-error "no matching function|note" }
for (int x : default2());
for (int x : default3()); // { dg-error "no matching function|note" }
for (int x : default4());
for (int x : default5());
}
//Inheritance tests
struct base_begin
{
int *begin(); // { dg-message "" }
};
struct base_end
{
int *end();
};
struct derived1 : base_begin, base_end
{
};
struct base_begin2 : base_begin
{
};
struct derived2 : base_begin, base_end, base_begin2 // { dg-warning "" }
{
};
struct base_begin3 : virtual base_begin
{
};
struct derived3 : virtual base_begin, base_end, base_begin3
{
};
void test2()
{
for (int x : derived1());
for (int x : derived2()); // { dg-error "is ambiguous" }
for (int x : derived3());
}
|