clang/test/CXX/over/over.match/over.match.funcs/over.match.oper/p3.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
   2
   3 namespace bullet2 {
   4
   5 // For non-member candidates, if no operand has a class type, only those
   6 // non-member functions that have a matching enumeration parameter are
   7 // candidates.
   8
   9 struct B { template<typename T> B(T); };
  10 int operator~(B);
  11 template<typename T> int operator%(B, T);
  12 enum class E { e };
  13
  14 template<typename T> int f(T t) { return ~t; } // expected-error {{invalid argument type}}
  15 template<typename T, typename U> int f(T t, U u) { return t % u; } // expected-error {{invalid operands to}}
  16
  17 int b1 = ~E::e; // expected-error {{invalid argument type}}
  18 int b2 = f(E::e); // expected-note {{in instantiation of}}
  19 int b3 = f(0, E::e);
  20 int b4 = f(E::e, 0); // expected-note {{in instantiation of}}
  21
  22 }
  23
  24 namespace bullet3 {
  25
  26 // This is specifically testing the bullet:
  27 // "do not have the same parameter-type-list as any non-template
  28 // non-member candidate."
  29 // The rest is sort of hard to test separately.
  30
  31 enum E1 { one };
  32 enum E2 { two };
  33
  34 struct A;
  35
  36 A operator >= (E1, E1);
  37 A operator >= (E1, const E2);
  38
  39 E1 a;
  40 E2 b;
  41
  42 extern A test1;
  43 extern decltype(a >= a) test1;
  44 extern decltype(a >= b) test1;
  45
  46 template <typename T> A operator <= (E1, T);
  47 extern bool test2;
  48 extern decltype(a <= a) test2;
  49
  50 extern A test3;
  51 extern decltype(a <= b) test3;
  52
  53 }