[compiler-rt] r254226 - [tsan] Add a testcase for a race on a Obj-C instance variable

[Kuba Brecka via llvm-commits]

Author: kuba.brecka
Date: Sat Nov 28 04:32:05 2015
New Revision: 254226

URL: http://llvm.org/viewvc/llvm-project?rev=254226&view=rev
Log:
[tsan] Add a testcase for a race on a Obj-C instance variable

Let's add a testcase for a race on a Obj-C instance variable.

Differential Revision: http://reviews.llvm.org/D14988


Added:
    compiler-rt/trunk/test/tsan/Darwin/objc-race.mm

Added: compiler-rt/trunk/test/tsan/Darwin/objc-race.mm
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/test/tsan/Darwin/objc-race.mm?rev=254226&view=auto
==============================================================================
--- compiler-rt/trunk/test/tsan/Darwin/objc-race.mm (added)
+++ compiler-rt/trunk/test/tsan/Darwin/objc-race.mm Sat Nov 28 04:32:05 2015
@@ -0,0 +1,55 @@
+// RUN: %clang_tsan %s -o %t -framework Foundation
+// RUN: %deflake %run %t 2>&1
+
+#import <Foundation/Foundation.h>
+
+#import "../test.h"
+
+ at interface MyClass : NSObject {
+  long instance_variable;
+}
+- (void)method:(long)value;
+ at end
+
+ at implementation MyClass
+
+- (void)method:(long)value {
+  self->instance_variable = value;
+}
+
+ at end
+
+int main() {
+  NSLog(@"Hello world.");
+  barrier_init(&barrier, 2);
+  
+  MyClass *my_object = [MyClass new];
+  [my_object method:42];
+  
+  dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
+    [my_object method:43];
+    barrier_wait(&barrier);
+  });
+  
+  dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
+    barrier_wait(&barrier);
+    [my_object method:44];
+
+    dispatch_sync(dispatch_get_main_queue(), ^{
+      CFRunLoopStop(CFRunLoopGetCurrent());
+    });
+  });
+  
+  CFRunLoopRun();
+  NSLog(@"Done.");
+  return 0;
+}
+
+// CHECK: Hello world.
+// CHECK: WARNING: ThreadSanitizer: data race
+// CHECK:   Write of size 8
+// CHECK:     #0 -[MyClass method:]
+// CHECK:   Write of size 8
+// CHECK:     #0 -[MyClass method:]
+// CHECK:   Location is heap block
+// CHECK: Done.