diff options
| author | Fangrui Song <maskray@google.com> | 2019-08-02 06:07:05 +0000 |
|---|---|---|
| committer | Fangrui Song <maskray@google.com> | 2019-08-02 06:07:05 +0000 |
| commit | d21b3d346af2f6189638d853182e389555e7ccb9 (patch) | |
| tree | ef89086fd1492736105e73e06b3623df3b01df45 /compiler-rt/test/msan/use-after-free.cpp | |
| parent | 6db8c59f210af60d882f7aedc7c9dc95d41d9696 (diff) | |
| download | bcm5719-llvm-d21b3d346af2f6189638d853182e389555e7ccb9.tar.gz bcm5719-llvm-d21b3d346af2f6189638d853182e389555e7ccb9.zip | |
compiler-rt: Rename .cc file in test/msan to .cpp
Like r367463, but for test/msan.
llvm-svn: 367653
Diffstat (limited to 'compiler-rt/test/msan/use-after-free.cpp')
| -rw-r--r-- | compiler-rt/test/msan/use-after-free.cpp | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/compiler-rt/test/msan/use-after-free.cpp b/compiler-rt/test/msan/use-after-free.cpp new file mode 100644 index 00000000000..4884befed7b --- /dev/null +++ b/compiler-rt/test/msan/use-after-free.cpp @@ -0,0 +1,34 @@ +// RUN: %clangxx_msan -O0 %s -o %t && not %run %t >%t.out 2>&1 +// RUN: FileCheck %s < %t.out +// RUN: %clangxx_msan -O1 %s -o %t && not %run %t >%t.out 2>&1 +// RUN: FileCheck %s < %t.out +// RUN: %clangxx_msan -O2 %s -o %t && not %run %t >%t.out 2>&1 +// RUN: FileCheck %s < %t.out +// RUN: %clangxx_msan -O3 %s -o %t && not %run %t >%t.out 2>&1 +// RUN: FileCheck %s < %t.out + +// RUN: %clangxx_msan -fsanitize-memory-track-origins -O0 %s -o %t && not %run %t >%t.out 2>&1 +// RUN: FileCheck %s < %t.out && FileCheck %s --check-prefix=CHECK-ORIGINS < %t.out +// RUN: %clangxx_msan -fsanitize-memory-track-origins -O1 %s -o %t && not %run %t >%t.out 2>&1 +// RUN: FileCheck %s < %t.out && FileCheck %s --check-prefix=CHECK-ORIGINS < %t.out +// RUN: %clangxx_msan -fsanitize-memory-track-origins -O2 %s -o %t && not %run %t >%t.out 2>&1 +// RUN: FileCheck %s < %t.out && FileCheck %s --check-prefix=CHECK-ORIGINS < %t.out +// RUN: %clangxx_msan -fsanitize-memory-track-origins -O3 %s -o %t && not %run %t >%t.out 2>&1 +// RUN: FileCheck %s < %t.out && FileCheck %s --check-prefix=CHECK-ORIGINS < %t.out + +#include <stdlib.h> +int main(int argc, char **argv) { + int *volatile p = (int *)malloc(sizeof(int)); + *p = 42; + free(p); + + if (*p) + exit(0); + // CHECK: WARNING: MemorySanitizer: use-of-uninitialized-value + // CHECK: {{#0 0x.* in main .*use-after-free.cpp:}}[[@LINE-3]] + + // CHECK-ORIGINS: Uninitialized value was created by a heap deallocation + // CHECK-ORIGINS: {{#0 0x.* in .*free}} + // CHECK-ORIGINS: {{#1 0x.* in main .*use-after-free.cpp:}}[[@LINE-9]] + return 0; +} |
