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