gcc/testsuite/g++.dg/cpp0x/ref-bind3.C


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// PR c++/91844 - Implement CWG 2352, Similar types and reference binding.
// { dg-do compile { target c++11 } }

template<typename T> int f (const T *const &); // 1
template<typename T> int f (T *const &); // 2
template<typename T> int f (T *); // 3

/* There's an ambiguity: (2) is a better match than (1) because
   (1) requires a qualification conversion whereas (2) doesn't, but
   (2) and (3) are indistinguishable conversion sequences.  */
   
void
g (int *p, const int *q, const int *const r)
{
  f (p); // { dg-error "call of overloaded" }
  f (q);
  f (r);
}