1*d21b3d34SFangrui Song // RUN: %clangxx_msan -fsanitize-memory-track-origins=2 -g %s -o %t
2*d21b3d34SFangrui Song // RUN: %run %t 2>&1 | \
3*d21b3d34SFangrui Song // RUN: FileCheck --check-prefixes=CHECK,CHECK-NOSTATS %s
4*d21b3d34SFangrui Song // RUN: MSAN_OPTIONS=print_stats=1 %run %t 2>&1 | \
5*d21b3d34SFangrui Song // RUN: FileCheck --check-prefixes=CHECK,CHECK-NOSTATS %s
6*d21b3d34SFangrui Song // RUN: MSAN_OPTIONS=print_stats=1,atexit=1 %run %t 2>&1 | \
7*d21b3d34SFangrui Song // RUN: FileCheck --check-prefixes=CHECK,CHECK-STATS %s
8*d21b3d34SFangrui Song
9*d21b3d34SFangrui Song // RUN: %clangxx_msan -fsanitize-memory-track-origins=2 -g -DPOSITIVE=1 %s -o %t
10*d21b3d34SFangrui Song // RUN: not %run %t 2>&1 | \
11*d21b3d34SFangrui Song // RUN: FileCheck --check-prefixes=CHECK,CHECK-NOSTATS %s
12*d21b3d34SFangrui Song // RUN: MSAN_OPTIONS=print_stats=1 not %run %t 2>&1 | \
13*d21b3d34SFangrui Song // RUN: FileCheck --check-prefixes=CHECK,CHECK-STATS %s
14*d21b3d34SFangrui Song
15*d21b3d34SFangrui Song // RUN: %clangxx_msan -fsanitize-memory-track-origins=2 -fsanitize-recover=memory -g -DPOSITIVE=1 %s -o %t
16*d21b3d34SFangrui Song // RUN: not %run %t 2>&1 | \
17*d21b3d34SFangrui Song // RUN: FileCheck --check-prefixes=CHECK,CHECK-NOSTATS,CHECK-RECOVER %s
18*d21b3d34SFangrui Song // RUN: MSAN_OPTIONS=print_stats=1 not %run %t 2>&1 | \
19*d21b3d34SFangrui Song // RUN: FileCheck --check-prefixes=CHECK,CHECK-STATS,CHECK-RECOVER %s
20*d21b3d34SFangrui Song
21*d21b3d34SFangrui Song #include <stdio.h>
main(int argc,char ** argv)22*d21b3d34SFangrui Song int main(int argc, char **argv) {
23*d21b3d34SFangrui Song int x;
24*d21b3d34SFangrui Song int *volatile p = &x;
25*d21b3d34SFangrui Song fprintf(stderr, "TEST\n");
26*d21b3d34SFangrui Song #ifdef POSITIVE
27*d21b3d34SFangrui Song return *p;
28*d21b3d34SFangrui Song #else
29*d21b3d34SFangrui Song return 0;
30*d21b3d34SFangrui Song #endif
31*d21b3d34SFangrui Song }
32*d21b3d34SFangrui Song
33*d21b3d34SFangrui Song // CHECK: TEST
34*d21b3d34SFangrui Song
35*d21b3d34SFangrui Song // CHECK-STATS: Unique heap origins:
36*d21b3d34SFangrui Song // CHECK-STATS: Stack depot allocated bytes:
37*d21b3d34SFangrui Song // CHECK-STATS: Unique origin histories:
38*d21b3d34SFangrui Song // CHECK-STATS: History depot allocated bytes:
39*d21b3d34SFangrui Song
40*d21b3d34SFangrui Song // CHECK-NOSTATS-NOT: Unique heap origins:
41*d21b3d34SFangrui Song // CHECK-NOSTATS-NOT: Stack depot allocated bytes:
42*d21b3d34SFangrui Song // CHECK-NOSTATS-NOT: Unique origin histories:
43*d21b3d34SFangrui Song // CHECK-NOSTATS-NOT: History depot allocated bytes:
44*d21b3d34SFangrui Song
45*d21b3d34SFangrui Song // CHECK-RECOVER: MemorySanitizer: 1 warnings reported.
46