1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 3 template<int I> 4 struct TS { 5 __attribute__((returns_nonnull)) value_dependentTS6 void *value_dependent(void) { 7 return I; // no-warning 8 } 9 10 __attribute__((returns_nonnull)) value_independentTS11 void *value_independent(void) { 12 return 0; // expected-warning {{null returned from function that requires a non-null return value}} 13 } 14 }; 15 16 namespace Template { 17 template<typename T> __attribute__((nonnull)) void f(T t); g()18 void g() { f((void*)0); } // expected-warning {{null passed to a callee that requires a non-null argument}} h()19 void h() { f(0); } 20 } 21