Julian Lettner 13dace5d5d [TSan][libdispatch] Stricter checks via --implicit-check-not
`--implicit-check-not='ThreadSanitizer'` checks in the entire output
while `// CHECK-NOT: ThreadSanitizer` only checks after (before) the
previous (next) match.

llvm-svn: 357727
2019-04-04 21:25:56 +00:00

47 lines
1.0 KiB
C

// RUN: %clang_tsan %s -o %t
// RUN: %run %t 2>&1 | FileCheck %s --implicit-check-not='ThreadSanitizer'
#include <dispatch/dispatch.h>
#include <stdio.h>
long my_global = 0;
int main(int argc, const char *argv[]) {
fprintf(stderr, "Hello world.\n");
dispatch_queue_t q1 = dispatch_queue_create("queue1", NULL);
dispatch_queue_t q2 = dispatch_queue_create("queue2", NULL);
dispatch_group_t g = dispatch_group_create();
dispatch_sync(q1, ^{
dispatch_suspend(q1);
dispatch_async(q2, ^{
my_global++;
dispatch_resume(q1);
});
});
dispatch_sync(q1, ^{
my_global++;
});
dispatch_sync(q1, ^{
dispatch_suspend(q1);
dispatch_group_enter(g);
dispatch_async(q1,^{ my_global++; });
dispatch_async(q1,^{ my_global++; });
dispatch_async(q1,^{ my_global++; dispatch_group_leave(g); });
my_global++;
dispatch_resume(q1);
});
dispatch_group_wait(g, DISPATCH_TIME_FOREVER);
fprintf(stderr, "Done.\n");
return 0;
}
// CHECK: Hello world.
// CHECK: Done.