blob: 7c33e6329fddff8e07fd98ef03a99b7d9dca70dc [file] [log] [blame]
// RUN: %clang_cc1 -triple x86_64-apple-darwin -emit-llvm < %s | FileCheck %s
// CHECK: define void @foo(i32* nonnull %x)
void foo(int * __attribute__((nonnull)) x) {
*x = 0;
}
// CHECK: define void @bar(i32* nonnull %x)
void bar(int * x) __attribute__((nonnull(1))) {
*x = 0;
}
// CHECK: define void @bar2(i32* %x, i32* nonnull %y)
void bar2(int * x, int * y) __attribute__((nonnull(2))) {
*x = 0;
}
static int a;
// CHECK: define nonnull i32* @bar3()
int * bar3() __attribute__((returns_nonnull)) {
return &a;
}
// CHECK: define i32 @bar4(i32 %n, i32* nonnull %p)
int bar4(int n, int *p) __attribute__((nonnull)) {
return n + *p;
}
// CHECK: define i32 @bar5(i32 %n, i32* nonnull %p)
int bar5(int n, int *p) __attribute__((nonnull(1, 2))) {
return n + *p;
}
typedef union {
unsigned long long n;
int *p;
double d;
} TransparentUnion __attribute__((transparent_union));
// CHECK: define i32 @bar6(i64 %
int bar6(TransparentUnion tu) __attribute__((nonnull(1))) {
return *tu.p;
}
// CHECK: define void @bar7(i32* nonnull %a, i32* nonnull %b)
void bar7(int *a, int *b) __attribute__((nonnull(1)))
__attribute__((nonnull(2))) {}
// CHECK: define void @bar8(i32* nonnull %a, i32* nonnull %b)
void bar8(int *a, int *b) __attribute__((nonnull))
__attribute__((nonnull(1))) {}