mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-26 17:26:06 +00:00
1f476a1783
propagating error conditions out of the various annotate-me-a-snowflake routines. Generally (but not universally) removes redundant diagnostics as well as, you know, not crashing on bad code. On the other hand, I have just signed myself up to fix fiddly parser errors for the next week. Again. llvm-svn: 97221
37 lines
1.0 KiB
C++
37 lines
1.0 KiB
C++
// RUN: %clang_cc1 -fsyntax-only -verify %s
|
|
|
|
// PR5811
|
|
template <class F> void Call(F f) { f(1); }
|
|
template <typename T> void f(T);
|
|
void a() { Call(f<int>); }
|
|
|
|
// Check the conversion of a template-id to a pointer
|
|
template<typename T, T* Address> struct Constant { };
|
|
Constant<void(int), &f<int> > constant0;
|
|
|
|
template<typename T, T* Address> void constant_func();
|
|
void test_constant_func() {
|
|
constant_func<void(int), &f<int> >();
|
|
}
|
|
|
|
|
|
// Check typeof() on a template-id referring to a single function
|
|
template<typename T, typename U>
|
|
struct is_same {
|
|
static const bool value = false;
|
|
};
|
|
|
|
template<typename T>
|
|
struct is_same<T, T> {
|
|
static const bool value = true;
|
|
};
|
|
|
|
int typeof0[is_same<__typeof__(f<int>), void (int)>::value? 1 : -1];
|
|
int typeof1[is_same<__typeof__(&f<int>), void (*)(int)>::value? 1 : -1];
|
|
|
|
template <typename T> void g(T);
|
|
template <typename T> void g(T, T);
|
|
|
|
int typeof2[is_same<__typeof__(g<float>), void (int)>::value? 1 : -1]; // \
|
|
// expected-error{{cannot determine the type of an overloaded function}}
|