diff options
author | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2014-06-27 07:32:08 +0000 |
---|---|---|
committer | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2014-06-27 07:32:08 +0000 |
commit | 0323e5710b754836c63c1bd04761a8919a02bba0 (patch) | |
tree | 41bb502fdd489477348ec8ea78f8cb3cd934a7b9 | |
parent | 406832e9fbfb91a9a5cd99afabdef1e7b4167307 (diff) | |
download | compiler-rt-0323e5710b754836c63c1bd04761a8919a02bba0.tar.gz |
[msan] Fix truncated stack trace in chained origin reports.
This is a leftover from the times when the next (chained) origin id
was stored as the last frame of a stack trace.
git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@211878 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | lib/msan/msan_report.cc | 2 | ||||
-rw-r--r-- | test/msan/chained_origin_empty_stack.cc | 33 |
2 files changed, 34 insertions, 1 deletions
diff --git a/lib/msan/msan_report.cc b/lib/msan/msan_report.cc index 566034c66..85e61e214 100644 --- a/lib/msan/msan_report.cc +++ b/lib/msan/msan_report.cc @@ -90,7 +90,7 @@ static void DescribeOrigin(u32 id) { // FIXME: copied? modified? passed through? observed? Printf(" %sUninitialized value was stored to memory at%s\n", d.Origin(), d.End()); - StackTrace::PrintStack(trace, size - 1); + StackTrace::PrintStack(trace, size); id = prev_id; } } diff --git a/test/msan/chained_origin_empty_stack.cc b/test/msan/chained_origin_empty_stack.cc new file mode 100644 index 000000000..d4c1bc57f --- /dev/null +++ b/test/msan/chained_origin_empty_stack.cc @@ -0,0 +1,33 @@ +// RUN: %clangxx_msan -fsanitize-memory-track-origins=2 -m64 -O3 %s -o %t && \ +// RUN: MSAN_OPTIONS=malloc_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: 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; +} |