1 // RUN: %clang_cc1 -fsyntax-only -verify %s 2 3 template<int I> 4 struct TS { 5 __attribute__((returns_nonnull)) 6 void *value_dependent(void) { 7 return I; // no-warning 8 } 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 16