test/tsan/Darwin/objc-synchronize-cycle.mm

   1 // RUN: %clangxx_tsan %s -o %t -framework Foundation -fobjc-arc %darwin_min_target_with_full_runtime_arc_support
   2 // RUN:                                   not %run %t 2>&1 | FileCheck %s
   3 // RUN: %env_tsan_opts=detect_deadlocks=1 not %run %t 2>&1 | FileCheck %s
   4 // RUN: %env_tsan_opts=detect_deadlocks=0     %run %t 2>&1 | FileCheck %s --check-prefix=DISABLED
   5
   6 #import <Foundation/Foundation.h>
   7
   8 int main() {
   9   @autoreleasepool {
  10     NSObject* obj1 = [NSObject new];
  11     NSObject* obj2 = [NSObject new];
  12
  13     // obj1 -> obj2
  14     @synchronized(obj1) {
  15       @synchronized(obj2) {
  16       }
  17     }
  18
  19     // obj1 -> obj1
  20     @synchronized(obj2) {
  21       @synchronized(obj1) {
  22 // CHECK: ThreadSanitizer: lock-order-inversion (potential deadlock)
  23       }
  24     }
  25   }
  26
  27   NSLog(@"PASS");
  28 // DISABLED-NOT: ThreadSanitizer
  29 // DISABLED: PASS
  30   return 0;
  31 }