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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
| // RUN: %clangxx_tsan %s -o %t -framework Foundation -fobjc-arc %darwin_min_target_with_full_runtime_arc_support
// RUN: %run %t 2>&1 | FileCheck %s
#import <Foundation/Foundation.h>
NSString *tagged_string = nil;
@interface MyClass : NSObject {
long field;
}
@property(nonatomic, readonly) long value;
@end
dispatch_group_t group;
@implementation MyClass
- (void)start {
dispatch_queue_t q = dispatch_queue_create(NULL, NULL);
dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
for (int i = 0; i < 10; i++) {
dispatch_async(q, ^{
@synchronized(tagged_string) {
self->field = i;
}
});
}
});
}
- (long)value {
@synchronized(tagged_string) {
return self->field;
}
}
- (void)dealloc {
dispatch_group_leave(group);
}
@end
int main() {
tagged_string = [NSString stringWithFormat:@"%s", "abc"];
uintptr_t tagged_string_bits = (uintptr_t)tagged_string;
assert((tagged_string_bits & 0x8000000000000001ull) != 0);
group = dispatch_group_create();
@autoreleasepool {
for (int j = 0; j < 100; ++j) {
dispatch_group_enter(group);
MyClass *obj = [[MyClass alloc] init];
[obj start];
long x = obj.value;
(void)x;
}
}
dispatch_group_wait(group, DISPATCH_TIME_FOREVER);
NSLog(@"Hello world");
}
// CHECK: Hello world
// CHECK-NOT: WARNING: ThreadSanitizer
|