summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEvgeniy Stepanov <eugeni.stepanov@gmail.com>2014-06-27 07:32:08 +0000
committerEvgeniy Stepanov <eugeni.stepanov@gmail.com>2014-06-27 07:32:08 +0000
commit0323e5710b754836c63c1bd04761a8919a02bba0 (patch)
tree41bb502fdd489477348ec8ea78f8cb3cd934a7b9
parent406832e9fbfb91a9a5cd99afabdef1e7b4167307 (diff)
downloadcompiler-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.cc2
-rw-r--r--test/msan/chained_origin_empty_stack.cc33
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;
+}