| 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 | |||||