[msan] Fix truncated stack trace in chained origin reports.
authorEvgeniy Stepanov <eugeni.stepanov@gmail.com>
Fri, 27 Jun 2014 07:32:08 +0000 (07:32 +0000)
committerEvgeniy Stepanov <eugeni.stepanov@gmail.com>
Fri, 27 Jun 2014 07:32:08 +0000 (07:32 +0000)
This is a leftover from the times when the next (chained) origin id
was stored as the last frame of a stack trace.

llvm-svn: 211878

compiler-rt/lib/msan/msan_report.cc
compiler-rt/test/msan/chained_origin_empty_stack.cc [new file with mode: 0644]

index 566034c..85e61e2 100644 (file)
@@ -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/compiler-rt/test/msan/chained_origin_empty_stack.cc b/compiler-rt/test/msan/chained_origin_empty_stack.cc
new file mode 100644 (file)
index 0000000..d4c1bc5
--- /dev/null
@@ -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;
+}