blob: d85c8e83e11a221a585dfdfcd2bd1f5573abbb5f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
// RUN: %clang_cc1 -emit-llvm -fblocks -debug-info-kind=limited \
// RUN: -fsanitize=nullability-return %s -o - | FileCheck %s
// Check that santizer check calls have a !dbg location.
// CHECK: call void {{.*}}@__ubsan_handle_nullability_return_v1_abort
// CHECK-SAME: !dbg
@protocol NSObject
@end
@interface NSObject<NSObject> {}
@end
#pragma clang assume_nonnull begin
@interface NSString : NSObject
+ (instancetype)stringWithFormat:(NSString *)format, ...;
@end
@interface NSIndexPath : NSObject {}
@end
#pragma clang assume_nonnull end
@interface B : NSObject
@end
id foo(NSIndexPath *indexPath) {
return [B withBlock:^{
return [NSString stringWithFormat:@"%ld",
(long)[indexPath indexAtPosition:1]];
}];
}
|
