diff options
Diffstat (limited to 'test/msan/chained_origin_empty_stack.cc')
-rw-r--r-- | test/msan/chained_origin_empty_stack.cc | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/test/msan/chained_origin_empty_stack.cc b/test/msan/chained_origin_empty_stack.cc new file mode 100644 index 000000000000..36727e3d7aa7 --- /dev/null +++ b/test/msan/chained_origin_empty_stack.cc @@ -0,0 +1,34 @@ +// RUN: %clangxx_msan -fsanitize-memory-track-origins=2 -m64 -O3 %s -o %t && \ +// RUN: MSAN_OPTIONS=store_context_size=1 not %run %t 2>&1 | FileCheck %s + +// Test that stack trace for the intermediate store is not empty. + +// CHECK: MemorySanitizer: use-of-uninitialized-value +// CHECK: #0 {{.*}} in main + +// CHECK: Uninitialized value was stored to memory at +// CHECK: #0 {{.*}} in fn_g +// CHECK-NOT: #1 + +// CHECK: Uninitialized value was created by an allocation of 'z' in the stack frame of function 'main' +// CHECK: #0 {{.*}} in main + +#include <stdio.h> + +volatile int x; + +__attribute__((noinline)) +void fn_g(int a) { + x = a; +} + +__attribute__((noinline)) +void fn_f(int a) { + fn_g(a); +} + +int main(int argc, char *argv[]) { + int volatile z; + fn_f(z); + return x; +} |