| Evgeniy Stepanov | 96284be | 2013-05-31 12:04:08 +0000 | [diff] [blame] | 1 | // Build a library with origin tracking and an executable w/o origin tracking. |
| 2 | // Test that origin tracking is enabled at runtime. |
| Alexey Samsonov | d06aa3d | 2015-03-02 19:34:27 +0000 | [diff] [blame] | 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 |
| Evgeniy Stepanov | 96284be | 2013-05-31 12:04:08 +0000 | [diff] [blame] | 5 | |
| Alexey Samsonov | efe7828 | 2014-07-07 20:37:12 +0000 | [diff] [blame] | 6 | #ifdef BUILD_SO |
| 7 | |
| Evgeniy Stepanov | 96284be | 2013-05-31 12:04:08 +0000 | [diff] [blame] | 8 | #include <stdlib.h> |
| 9 | |
| Alexey Samsonov | efe7828 | 2014-07-07 20:37:12 +0000 | [diff] [blame] | 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 | } |
| Evgeniy Stepanov | 96284be | 2013-05-31 12:04:08 +0000 | [diff] [blame] | 31 | |
| 32 | int main(int argc, char **argv) { |
| 33 | int *x = (int *)my_alloc(sizeof(int)); |
| 34 | my_access(x); |
| 35 | delete x; |
| 36 | |
| 37 | // CHECK: WARNING: MemorySanitizer: use-of-uninitialized-value |
| Alexey Samsonov | efe7828 | 2014-07-07 20:37:12 +0000 | [diff] [blame] | 38 | // CHECK: {{#0 0x.* in my_access .*dso-origin.cc:}} |
| Evgeniy Stepanov | 96284be | 2013-05-31 12:04:08 +0000 | [diff] [blame] | 39 | // CHECK: {{#1 0x.* in main .*dso-origin.cc:}}[[@LINE-5]] |
| 40 | // CHECK: Uninitialized value was created by a heap allocation |
| 41 | // CHECK: {{#0 0x.* in .*malloc}} |
| Alexey Samsonov | efe7828 | 2014-07-07 20:37:12 +0000 | [diff] [blame] | 42 | // CHECK: {{#1 0x.* in my_alloc .*dso-origin.cc:}} |
| Evgeniy Stepanov | 96284be | 2013-05-31 12:04:08 +0000 | [diff] [blame] | 43 | // CHECK: {{#2 0x.* in main .*dso-origin.cc:}}[[@LINE-10]] |
| Alexey Samsonov | efe7828 | 2014-07-07 20:37:12 +0000 | [diff] [blame] | 44 | // CHECK: SUMMARY: MemorySanitizer: use-of-uninitialized-value {{.*dso-origin.cc:.* my_access}} |
| Evgeniy Stepanov | 96284be | 2013-05-31 12:04:08 +0000 | [diff] [blame] | 45 | return 0; |
| 46 | } |
| Alexey Samsonov | efe7828 | 2014-07-07 20:37:12 +0000 | [diff] [blame] | 47 | |
| 48 | #endif // BUILD_SO |