nonnull attribute generates a warning for transparent unions

[llvmbot]

Bugzilla Link	10111
Resolution	FIXED
Resolved on	Jun 27, 2011 16:14
Version	trunk
OS	Linux
Reporter	LLVM Bugzilla Contributor
CC	@tkremenek

Extended Description

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");
}

Clang reports: "nonnull attribute only applies to pointer arguments". However, as transparent unions are guaranteed to contain only pointers, using nonnull is safe.

[tkremenek]

cloned to rdar://problem/9584012

[llvmbot]

Fixed in TOT: http://llvm.org/viewvc/llvm-project?view=rev&revision=133941