1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
| // RUN: %clangxx_msan -O0 %s -o %t && not %run %t >%t.out 2>&1
| // FileCheck %s <%t.out
| // RUN: %clangxx_msan -O0 %s -o %t && MSAN_OPTIONS=poison_in_free=0 %run %t >%t.out 2>&1
|
| #include <stdio.h>
| #include <stdlib.h>
| #include <string.h>
|
| int main(int argc, char **argv) {
| char *volatile x = (char*)malloc(50 * sizeof(char));
| memset(x, 0, 50);
| free(x);
| return x[25];
| // CHECK: MemorySanitizer: use-of-uninitialized-value
| // CHECK: #0 {{.*}} in main{{.*}}poison_in_free.cc:[[@LINE-2]]
| }
|
|
