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