| // RUN: %clang_cc1 -fsyntax-only -verify %s |
| // rdar://9584012 |
| |
| typedef struct { |
| char *str; |
| } Class; |
| |
| typedef union { |
| Class *object; |
| } Instance __attribute__((transparent_union)); |
| |
| __attribute__((nonnull(1))) void Class_init(Instance this, char *str) { |
| this.object->str = str; |
| } |
| |
| int main(void) { |
| Class *obj; |
| Class_init(0, "Hello World"); // expected-warning {{null passed to a callee which requires a non-null argument}} |
| Class_init(obj, "Hello World"); |
| } |
| |
| void foo(const char *str) __attribute__((nonnull("foo"))); // expected-error{{'nonnull' attribute requires parameter 1 to be an integer constant}} |