]>
Commit | Line | Data |
---|---|---|
1a4d82fc | 1 | // RUN: %clang_tsan -O2 %s -o %t |
3157f602 XL |
2 | // RUN: %env_tsan_opts=check_printf=1 %run %t 2>&1 | FileCheck %s |
3 | // RUN: %env_tsan_opts=check_printf=0 %run %t 2>&1 | FileCheck %s | |
1a4d82fc JJ |
4 | // RUN: %run %t 2>&1 | FileCheck %s |
5 | ||
6 | #include <stdio.h> | |
7 | int main() { | |
8 | volatile char c = '0'; | |
9 | volatile int x = 12; | |
10 | volatile float f = 1.239; | |
11 | volatile char s[] = "34"; | |
12 | printf("%c %d %.3f %s\n", c, x, f, s); | |
13 | return 0; | |
14 | // Check that printf works fine under Tsan. | |
15 | // CHECK: 0 12 1.239 34 | |
16 | } |