| 1 | // Build a library with origin tracking and an executable w/o origin tracking. |
|---|
| 2 | // Test that origin tracking is enabled at runtime. |
|---|
| 3 | // RUN: %clangxx_msan -fsanitize-memory-track-origins -O0 %s -DBUILD_SO -fPIC -shared -o %t-so.so |
|---|
| 4 | // RUN: %clangxx_msan -O0 %s %t-so.so -o %t && not %run %t 2>&1 | FileCheck %s |
|---|
| 5 | |
|---|
| 6 | #ifdef BUILD_SO |
|---|
| 7 | |
|---|
| 8 | #include <stdlib.h> |
|---|
| 9 | |
|---|
| 10 | extern "C" { |
|---|
| 11 | void my_access(int *p) { |
|---|
| 12 | volatile int tmp; |
|---|
| 13 | // Force initialize-ness check. |
|---|
| 14 | if (*p) |
|---|
| 15 | tmp = 1; |
|---|
| 16 | } |
|---|
| 17 | |
|---|
| 18 | void *my_alloc(unsigned sz) { |
|---|
| 19 | return malloc(sz); |
|---|
| 20 | } |
|---|
| 21 | } // extern "C" |
|---|
| 22 | |
|---|
| 23 | #else // BUILD_SO |
|---|
| 24 | |
|---|
| 25 | #include <stdlib.h> |
|---|
| 26 | |
|---|
| 27 | extern "C" { |
|---|
| 28 | void my_access(int *p); |
|---|
| 29 | void *my_alloc(unsigned sz); |
|---|
| 30 | } |
|---|
| 31 | |
|---|
| 32 | int main(int argc, char **argv) { |
|---|
| 33 | int *x = (int *)my_alloc(sz: sizeof(int)); |
|---|
| 34 | my_access(p: x); |
|---|
| 35 | delete x; |
|---|
| 36 | |
|---|
| 37 | // CHECK: WARNING: MemorySanitizer: use-of-uninitialized-value |
|---|
| 38 | // CHECK: {{#0 0x.* in my_access .*dso-origin.cpp:}} |
|---|
| 39 | // CHECK: {{#1 0x.* in main .*dso-origin.cpp:}}[[@LINE-5]] |
|---|
| 40 | // CHECK: Uninitialized value was created by a heap allocation |
|---|
| 41 | // CHECK: {{#0 0x.* in .*malloc}} |
|---|
| 42 | // CHECK: {{#1 0x.* in my_alloc .*dso-origin.cpp:}} |
|---|
| 43 | // CHECK: {{#2 0x.* in main .*dso-origin.cpp:}}[[@LINE-10]] |
|---|
| 44 | // CHECK: SUMMARY: MemorySanitizer: use-of-uninitialized-value {{.*dso-origin.cpp:.* my_access}} |
|---|
| 45 | return 0; |
|---|
| 46 | } |
|---|
| 47 | |
|---|
| 48 | #endif // BUILD_SO |
|---|
| 49 | |
|---|
