14b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregor// RUN: %clang_cc1 -fsyntax-only -verify %s
24b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregor
34b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregor// PR5811
44b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregortemplate <class F> void Call(F f) { f(1); }
54b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregortemplate <typename T> void f(T);
64b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregorvoid a() { Call(f<int>); }
74b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregor
84b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregor// Check the conversion of a template-id to a pointer
94b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregortemplate<typename T, T* Address> struct Constant { };
104b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas GregorConstant<void(int), &f<int> > constant0;
114b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregor
124b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregortemplate<typename T, T* Address> void constant_func();
134b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregorvoid test_constant_func() {
144b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregor  constant_func<void(int), &f<int> >();
154b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregor}
164b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregor
174b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregor
184b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregor// Check typeof() on a template-id referring to a single function
194b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregortemplate<typename T, typename U>
204b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregorstruct is_same {
214b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregor  static const bool value = false;
224b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregor};
234b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregor
244b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregortemplate<typename T>
254b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregorstruct is_same<T, T> {
264b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregor  static const bool value = true;
274b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregor};
284b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregor
294b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregorint typeof0[is_same<__typeof__(f<int>), void (int)>::value? 1 : -1];
304b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregorint typeof1[is_same<__typeof__(&f<int>), void (*)(int)>::value? 1 : -1];
314b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregor
326dbba4fc128e2e2f5b26be996392bd32c0707f13John McCalltemplate <typename T> void g(T); // expected-note{{possible target for call}}
336dbba4fc128e2e2f5b26be996392bd32c0707f13John McCalltemplate <typename T> void g(T, T); // expected-note{{possible target for call}}
344b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregor
354b52e25f3b05ab0f9d2492276a52323a50a84fb7Douglas Gregorint typeof2[is_same<__typeof__(g<float>), void (int)>::value? 1 : -1]; // \
366dbba4fc128e2e2f5b26be996392bd32c0707f13John McCall     // expected-error{{reference to overloaded function could not be resolved; did you mean to call it?}}
37