| Aaron Ballman | bf5cf8c | 2013-07-22 17:55:04 +0000 | [diff] [blame^] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
| Fariborz Jahanian | f4aa279 | 2011-06-27 21:12:03 +0000 | [diff] [blame] | 2 | // rdar://9584012 |
| 3 | |
| 4 | typedef struct { |
| 5 | char *str; |
| 6 | } Class; |
| 7 | |
| 8 | typedef union { |
| 9 | Class *object; |
| 10 | } Instance __attribute__((transparent_union)); |
| 11 | |
| 12 | __attribute__((nonnull(1))) void Class_init(Instance this, char *str) { |
| 13 | this.object->str = str; |
| 14 | } |
| 15 | |
| 16 | int main(void) { |
| 17 | Class *obj; |
| 18 | Class_init(0, "Hello World"); // expected-warning {{null passed to a callee which requires a non-null argument}} |
| 19 | Class_init(obj, "Hello World"); |
| 20 | } |
| 21 | |