gcc-4.9/gcc/testsuite/g++.dg/cpp0x/range-for14.C


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());
}