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