2014-05-01 05:34:17 +08:00
|
|
|
// RUN: %clangxx_msan -O0 %s -o %t && not %run %t >%t.out 2>&1
|
2013-10-29 02:53:37 +08:00
|
|
|
// FileCheck %s <%t.out
|
2014-05-01 05:34:17 +08:00
|
|
|
// RUN: %clangxx_msan -O0 %s -o %t && MSAN_OPTIONS=poison_in_free=0 %run %t >%t.out 2>&1
|
2013-10-29 02:53:37 +08:00
|
|
|
|
|
|
|
#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]]
|
|
|
|
}
|