1 // RUN: %clang_cc1 -fsyntax-only -verify %s 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 22 void foo(const char *str) __attribute__((nonnull("foo"))); // expected-error{{'nonnull' attribute requires parameter 1 to be an integer constant}} 23