diff options
Diffstat (limited to 'test/CodeGenObjC/ubsan-nonnull.m')
-rw-r--r-- | test/CodeGenObjC/ubsan-nonnull.m | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/test/CodeGenObjC/ubsan-nonnull.m b/test/CodeGenObjC/ubsan-nonnull.m new file mode 100644 index 000000000000..cc0850caf97f --- /dev/null +++ b/test/CodeGenObjC/ubsan-nonnull.m @@ -0,0 +1,48 @@ +// RUN: %clang_cc1 -x objective-c -emit-llvm -triple x86_64-apple-macosx10.10.0 -fsanitize=nonnull-attribute %s -o - -w | FileCheck %s + +@interface A + +-(void) one_arg: (__attribute__((nonnull)) int *) arg1; + +-(void) varargs: (__attribute__((nonnull)) int *) arg1, ...; + ++(void) clsmethod: (__attribute__((nonnull)) int *) arg1; + +@end + +@implementation A + +// CHECK-LABEL: define internal void @"\01-[A one_arg:]" +// CHECK-SAME: i32* nonnull +-(void) one_arg: (__attribute__((nonnull)) int *) arg1 {} + +// CHECK-LABEL: define internal void @"\01-[A varargs:]" +// CHECK-SAME: i32* nonnull +-(void) varargs: (__attribute__((nonnull)) int *) arg1, ... {} + +// CHECK-LABEL: define internal void @"\01+[A clsmethod:]" +// CHECK-SAME: i32* nonnull ++(void) clsmethod: (__attribute__((nonnull)) int *) arg1 {} + +@end + +// CHECK-LABEL: define void @call_A +void call_A(A *a, int *p) { + // CHECK: [[ICMP:%.*]] = icmp ne i32* [[P1:%.*]], null, !nosanitize + // CHECK: br i1 [[ICMP]], {{.*}}, !nosanitize + // CHECK: call void @__ubsan_handle_nonnull_arg{{.*}} !nosanitize + // CHECK: call void {{.*}} @objc_msgSend {{.*}} ({{.*}}, i32* [[P1]]) + [a one_arg: p]; + + // CHECK: [[ICMP:%.*]] = icmp ne i32* [[P2:%.*]], null, !nosanitize + // CHECK: br i1 [[ICMP]], {{.*}}, !nosanitize + // CHECK: call void @__ubsan_handle_nonnull_arg{{.*}} !nosanitize + // CHECK: call void {{.*}} @objc_msgSend {{.*}} ({{.*}}, i32* [[P2]], {{.*}}) + [a varargs: p, p]; + + // CHECK: [[ICMP:%.*]] = icmp ne i32* [[P3:%.*]], null, !nosanitize + // CHECK: br i1 [[ICMP]], {{.*}}, !nosanitize + // CHECK: call void @__ubsan_handle_nonnull_arg{{.*}} !nosanitize + // CHECK: call void {{.*}} @objc_msgSend {{.*}} ({{.*}}, i32* [[P3]]) + [A clsmethod: p]; +} |