Index: lib/tsan/rtl/tsan_interceptors_mac.cc =================================================================== --- lib/tsan/rtl/tsan_interceptors_mac.cc +++ lib/tsan/rtl/tsan_interceptors_mac.cc @@ -294,16 +294,30 @@ #endif // #if defined(__has_include) && __has_include() +bool IsTaggedPointer(void *obj) { + const uptr kPossibleTaggedBits = 0x8000000000000001ull; + if (((uptr)obj & kPossibleTaggedBits) != 0) return true; + return false; +} + +uptr SyncAddrForTaggedPointer(void *obj) { + (void)obj; + static u64 addr; + return (uptr)&addr; +} + TSAN_INTERCEPTOR(int, objc_sync_enter, void *obj) { SCOPED_TSAN_INTERCEPTOR(objc_sync_enter, obj); int result = REAL(objc_sync_enter)(obj); - if (obj) Acquire(thr, pc, (uptr)obj); + uptr sync = IsTaggedPointer(obj) ? SyncAddrForTaggedPointer(obj) : (uptr)obj; + if (obj) Acquire(thr, pc, sync); return result; } TSAN_INTERCEPTOR(int, objc_sync_exit, void *obj) { SCOPED_TSAN_INTERCEPTOR(objc_sync_enter, obj); - if (obj) Release(thr, pc, (uptr)obj); + uptr sync = IsTaggedPointer(obj) ? SyncAddrForTaggedPointer(obj) : (uptr)obj; + if (obj) Release(thr, pc, sync); return REAL(objc_sync_exit)(obj); } Index: test/tsan/Darwin/objc-synchronize-tagged.mm =================================================================== --- test/tsan/Darwin/objc-synchronize-tagged.mm +++ test/tsan/Darwin/objc-synchronize-tagged.mm @@ -0,0 +1,63 @@ +// 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 + +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); + NSLog(@"%p", @"abc"); + 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