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

   1 // Test for other range-based for loops with
   2 // begin/end member functions
   3
   4 // { dg-do compile { target c++11 } }
   5
   6 //These should not be used
   7 template<typename T> int *begin(T &t)
   8 {
   9     T::fail;
  10 }
  11 template<typename T> int *end(T &t)
  12 {
  13     T::fail;
  14 }
  15
  16 //Test for defaults
  17
  18 struct default1
  19 {
  20     int *begin(int x); // { dg-message "note" }
  21     int *end();
  22 };
  23
  24 struct default2
  25 {
  26     int *begin(int x=0);
  27     int *end();
  28 };
  29
  30 struct default3
  31 {
  32     template <typename T> T *begin(); // { dg-message "note" }
  33     int *end();
  34 };
  35
  36 struct default4
  37 {
  38     template <typename T=int> T *begin();
  39     int *end();
  40 };
  41
  42 struct default5
  43 {
  44     template <typename T=int> T *begin(int x=0);
  45     int *end();
  46 };
  47
  48 void test1()
  49 {
  50   for (int x : default1()); // { dg-error "no matching function|note" }
  51   for (int x : default2());
  52   for (int x : default3()); // { dg-error "no matching function|note" }
  53   for (int x : default4());
  54   for (int x : default5());
  55 }
  56
  57 //Inheritance tests
  58
  59 struct base_begin
  60 {
  61     int *begin(); // { dg-message "" }
  62 };
  63
  64 struct base_end
  65 {
  66     int *end();
  67 };
  68
  69 struct derived1 : base_begin, base_end
  70 {
  71 };
  72
  73 struct base_begin2 : base_begin
  74 {
  75 };
  76
  77 struct derived2 : base_begin, base_end, base_begin2 // { dg-warning "" }
  78 {
  79 };
  80
  81 struct base_begin3 : virtual base_begin
  82 {
  83 };
  84
  85 struct derived3 : virtual base_begin, base_end, base_begin3
  86 {
  87 };
  88
  89 void test2()
  90 {
  91   for (int x : derived1());
  92   for (int x : derived2()); // { dg-error "is ambiguous" }
  93   for (int x : derived3());
  94 }