// RUN: %clang_cc1 -verify %s
#define NODEREF __attribute__((noderef))
template <typename T>
int func(T NODEREF *a) { // expected-note 3 {{a declared here}}
return *a + 1; // expected-warning 3 {{dereferencing a; was declared with a 'noderef' type}}
}
void func() {
float NODEREF *f;
int NODEREF *i;
func(f); // expected-note{{in instantiation of function template specialization 'func<float>' requested here}}
func(i); // expected-note{{in instantiation of function template specialization 'func<int>' requested here}}
}