| Artyom Skrobov | 9f21344 | 2014-01-24 11:10:39 +0000 | [diff] [blame] | 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 | |
| Richard Smith | 588bd9b | 2014-08-27 04:59:42 +0000 | [diff] [blame] | 16 | namespace 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 | } |