Run DCE after a LoopFlatten test to reduce spurious output [nfc]
[llvm-project.git] / clang / test / SemaObjC / warn-thread-safety-analysis.m
blob0e29ff2535278e0695648a411d8718c077138516
1 // RUN: %clang_cc1 -fsyntax-only -verify -Wthread-safety -Wthread-safety-beta -Wno-objc-root-class %s
3 struct __attribute__ ((lockable)) Mutex {};
5 struct Mutex mu1;
7 int Foo_fun1(int i) __attribute__ ((exclusive_locks_required((mu1)))) {
8   return i;
11 @interface test
12 @end
14 @implementation test
15 - (void) PR19541 {
16   Foo_fun1(1); // expected-warning{{calling function 'Foo_fun1' requires holding mutex 'mu1' exclusively}}
19 @end