[compiler-rt] r207622 - [msan] Prettify __msan_print_shadow.
Evgeniy Stepanov
eugeni.stepanov at gmail.com
Tue May 6 01:23:38 PDT 2014
I don't see the issue locally, but r208069 should take care of it.
On Fri, May 2, 2014 at 10:34 PM, Evgeniy Stepanov
<eugeni.stepanov at gmail.com> wrote:
> I think the last print call has to be 4-byte aligned. Could you try
> replacing the string with an int or something like that? I don't have a dev
> machine nearby.
>
> On May 2, 2014 10:29 PM, "David Blaikie" <dblaikie at gmail.com> wrote:
>>
>> On Wed, Apr 30, 2014 at 2:29 PM, Alexey Samsonov <samsonov at google.com>
>> wrote:
>> > I see the following test failure locally:
>> >
>> > llvm/projects/compiler-rt/test/msan/msan_print_shadow2.cc:48:22: error:
>> > expected string not found in input
>> > // CHECK-NO-ORIGINS: 0x{{.*}}: 000000.. ........ ........ ........
>> > ^
>> > <stdin>:16:1: note: scanning from here
>> > 0x3f8e8a279e44: ....0000 00...... ........ ........
>> > ^
>> > <stdin>:16:14: note: possible intended match here
>> > 0x3f8e8a279e44: ....0000 00...... ........ ........
>> > ^
>>
>> Bump. I see this failure locally too.
>>
>> projects/compiler-rt/test/msan/msan_print_shadow2.cc:48:22: error:
>> expected string not found in input
>> // CHECK-NO-ORIGINS: 0x{{.*}}: 000000.. ........ ........ ........
>> ^
>> <stdin>:16:1: note: scanning from here
>> 0x3fafc42415d4: ....0000 00...... ........ ........
>> ^
>> <stdin>:16:14: note: possible intended match here
>> 0x3fafc42415d4: ....0000 00...... ........ ........
>>
>> >
>> >
>> >
>> > On Wed, Apr 30, 2014 at 2:50 AM, Evgeniy Stepanov
>> > <eugeni.stepanov at gmail.com> wrote:
>> >>
>> >> Author: eugenis
>> >> Date: Wed Apr 30 04:50:30 2014
>> >> New Revision: 207622
>> >>
>> >> URL: http://llvm.org/viewvc/llvm-project?rev=207622&view=rev
>> >> Log:
>> >> [msan] Prettify __msan_print_shadow.
>> >>
>> >> Makes __msan_print_shadow output much more readable, adds origin info.
>> >>
>> >> Added:
>> >> compiler-rt/trunk/test/msan/msan_dump_shadow.cc (with props)
>> >> compiler-rt/trunk/test/msan/msan_print_shadow.cc (with props)
>> >> compiler-rt/trunk/test/msan/msan_print_shadow2.cc (with props)
>> >> Modified:
>> >> compiler-rt/trunk/include/sanitizer/msan_interface.h
>> >> compiler-rt/trunk/lib/msan/msan.cc
>> >> compiler-rt/trunk/lib/msan/msan.h
>> >> compiler-rt/trunk/lib/msan/msan_interface_internal.h
>> >> compiler-rt/trunk/lib/msan/msan_report.cc
>> >>
>> >> Modified: compiler-rt/trunk/include/sanitizer/msan_interface.h
>> >> URL:
>> >>
>> >> http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/include/sanitizer/msan_interface.h?rev=207622&r1=207621&r2=207622&view=diff
>> >>
>> >>
>> >> ==============================================================================
>> >> --- compiler-rt/trunk/include/sanitizer/msan_interface.h (original)
>> >> +++ compiler-rt/trunk/include/sanitizer/msan_interface.h Wed Apr 30
>> >> 04:50:30 2014
>> >> @@ -78,6 +78,10 @@ extern "C" {
>> >> format. */
>> >> void __msan_print_shadow(const volatile void *x, size_t size);
>> >>
>> >> + /* Print shadow for the memory range to stderr in a minimalistic
>> >> + human-readable format. */
>> >> + void __msan_dump_shadow(const volatile void *x, size_t size);
>> >> +
>> >> /* Returns true if running under a dynamic tool (DynamoRio-based).
>> >> */
>> >> int __msan_has_dynamic_component();
>> >>
>> >>
>> >> Modified: compiler-rt/trunk/lib/msan/msan.cc
>> >> URL:
>> >>
>> >> http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/lib/msan/msan.cc?rev=207622&r1=207621&r2=207622&view=diff
>> >>
>> >>
>> >> ==============================================================================
>> >> --- compiler-rt/trunk/lib/msan/msan.cc (original)
>> >> +++ compiler-rt/trunk/lib/msan/msan.cc Wed Apr 30 04:50:30 2014
>> >> @@ -383,18 +383,21 @@ void __msan_print_shadow(const void *x,
>> >> Printf("Not a valid application address: %p\n", x);
>> >> return;
>> >> }
>> >> +
>> >> + DescribeMemoryRange(x, size);
>> >> +}
>> >> +
>> >> +void __msan_dump_shadow(const void *x, uptr size) {
>> >> + if (!MEM_IS_APP(x)) {
>> >> + Printf("Not a valid application address: %p\n", x);
>> >> + return;
>> >> + }
>> >> +
>> >> unsigned char *s = (unsigned char*)MEM_TO_SHADOW(x);
>> >> - u32 *o = (u32*)MEM_TO_ORIGIN(x);
>> >> for (uptr i = 0; i < size; i++) {
>> >> Printf("%x%x ", s[i] >> 4, s[i] & 0xf);
>> >> }
>> >> Printf("\n");
>> >> - if (__msan_get_track_origins()) {
>> >> - for (uptr i = 0; i < size / 4; i++) {
>> >> - Printf(" o: %x ", o[i]);
>> >> - }
>> >> - Printf("\n");
>> >> - }
>> >> }
>> >>
>> >> sptr __msan_test_shadow(const void *x, uptr size) {
>> >>
>> >> Modified: compiler-rt/trunk/lib/msan/msan.h
>> >> URL:
>> >>
>> >> http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/lib/msan/msan.h?rev=207622&r1=207621&r2=207622&view=diff
>> >>
>> >>
>> >> ==============================================================================
>> >> --- compiler-rt/trunk/lib/msan/msan.h (original)
>> >> +++ compiler-rt/trunk/lib/msan/msan.h Wed Apr 30 04:50:30 2014
>> >> @@ -83,6 +83,7 @@ void GetStackTrace(StackTrace *stack, up
>> >> void ReportUMR(StackTrace *stack, u32 origin);
>> >> void ReportExpectedUMRNotFound(StackTrace *stack);
>> >> void ReportAtExitStatistics();
>> >> +void DescribeMemoryRange(const void *x, uptr size);
>> >>
>> >> // Unpoison first n function arguments.
>> >> void UnpoisonParam(uptr n);
>> >>
>> >> Modified: compiler-rt/trunk/lib/msan/msan_interface_internal.h
>> >> URL:
>> >>
>> >> http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/lib/msan/msan_interface_internal.h?rev=207622&r1=207621&r2=207622&view=diff
>> >>
>> >>
>> >> ==============================================================================
>> >> --- compiler-rt/trunk/lib/msan/msan_interface_internal.h (original)
>> >> +++ compiler-rt/trunk/lib/msan/msan_interface_internal.h Wed Apr 30
>> >> 04:50:30 2014
>> >> @@ -118,6 +118,8 @@ void __msan_set_expect_umr(int expect_um
>> >> SANITIZER_INTERFACE_ATTRIBUTE
>> >> void __msan_print_shadow(const void *x, uptr size);
>> >> SANITIZER_INTERFACE_ATTRIBUTE
>> >> +void __msan_dump_shadow(const void *x, uptr size);
>> >> +SANITIZER_INTERFACE_ATTRIBUTE
>> >> int __msan_has_dynamic_component();
>> >>
>> >> // Returns x such that %fs:x is the first byte of __msan_retval_tls.
>> >>
>> >> Modified: compiler-rt/trunk/lib/msan/msan_report.cc
>> >> URL:
>> >>
>> >> http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/lib/msan/msan_report.cc?rev=207622&r1=207621&r2=207622&view=diff
>> >>
>> >>
>> >> ==============================================================================
>> >> --- compiler-rt/trunk/lib/msan/msan_report.cc (original)
>> >> +++ compiler-rt/trunk/lib/msan/msan_report.cc Wed Apr 30 04:50:30 2014
>> >> @@ -124,4 +124,115 @@ void ReportAtExitStatistics() {
>> >> Printf("Stack depot mapped bytes: %zu\n",
>> >> stack_depot_stats->mapped);
>> >> }
>> >>
>> >> +class OriginSet {
>> >> + public:
>> >> + OriginSet() : next_id_(0) {}
>> >> + int insert(u32 o) {
>> >> + // Scan from the end for better locality.
>> >> + for (int i = next_id_ - 1; i >= 0; --i)
>> >> + if (origins_[i] == o) return i;
>> >> + if (next_id_ == kMaxSize_) return OVERFLOW;
>> >> + int id = next_id_++;
>> >> + origins_[id] = o;
>> >> + return id;
>> >> + }
>> >> + int size() { return next_id_; }
>> >> + u32 get(int id) { return origins_[id]; }
>> >> + static char asChar(int id) {
>> >> + switch (id) {
>> >> + case MISSING:
>> >> + return '.';
>> >> + case OVERFLOW:
>> >> + return '*';
>> >> + default:
>> >> + return 'A' + id;
>> >> + }
>> >> + }
>> >> + static const int OVERFLOW = -1;
>> >> + static const int MISSING = -2;
>> >> +
>> >> + private:
>> >> + static const int kMaxSize_ = 'Z' - 'A' + 1;
>> >> + u32 origins_[kMaxSize_];
>> >> + int next_id_;
>> >> +};
>> >> +
>> >> +void DescribeMemoryRange(const void *x, uptr size) {
>> >> + // Real limits.
>> >> + uptr start = MEM_TO_SHADOW(x);
>> >> + uptr end = start + size;
>> >> + // Scan limits: align start down to 4; align size up to 16.
>> >> + uptr s = start & ~3UL;
>> >> + size = end - s;
>> >> + size = (size + 15) & ~15UL;
>> >> + uptr e = s + size;
>> >> +
>> >> + // Single letter names to origin id mapping.
>> >> + OriginSet origin_set;
>> >> +
>> >> + uptr pos = 0; // Offset from aligned start.
>> >> + bool with_origins = __msan_get_track_origins();
>> >> + // True if there is at least 1 poisoned bit in the last 4-byte
>> >> group.
>> >> + bool last_quad_poisoned;
>> >> + int origin_ids[4]; // Single letter origin ids for the current
>> >> line.
>> >> +
>> >> + Decorator d;
>> >> + Printf("%s", d.Warning());
>> >> + Printf("Shadow map of [%p, %p), %zu bytes:\n", start, end, end -
>> >> start);
>> >> + Printf("%s", d.End());
>> >> + while (s < e) {
>> >> + // Line start.
>> >> + if (pos % 16 == 0) {
>> >> + for (int i = 0; i < 4; ++i) origin_ids[i] = -1;
>> >> + Printf("%p:", s);
>> >> + }
>> >> + // Group start.
>> >> + if (pos % 4 == 0) {
>> >> + Printf(" ");
>> >> + last_quad_poisoned = false;
>> >> + }
>> >> + // Print shadow byte.
>> >> + if (s < start || s >= end) {
>> >> + Printf("..");
>> >> + } else {
>> >> + unsigned char v = *(unsigned char *)s;
>> >> + if (v) last_quad_poisoned = true;
>> >> + Printf("%02x", v);
>> >> + }
>> >> + // Group end.
>> >> + if (pos % 4 == 3 && with_origins) {
>> >> + int id = OriginSet::MISSING;
>> >> + if (last_quad_poisoned) {
>> >> + u32 o = *(u32 *)SHADOW_TO_ORIGIN(s - 3);
>> >> + id = origin_set.insert(o);
>> >> + }
>> >> + origin_ids[(pos % 16) / 4] = id;
>> >> + }
>> >> + // Line end.
>> >> + if (pos % 16 == 15) {
>> >> + if (with_origins) {
>> >> + Printf(" |");
>> >> + for (int i = 0; i < 4; ++i) {
>> >> + char c = OriginSet::asChar(origin_ids[i]);
>> >> + Printf("%c", c);
>> >> + if (i != 3) Printf(" ");
>> >> + }
>> >> + Printf("|");
>> >> + }
>> >> + Printf("\n");
>> >> + }
>> >> + size--;
>> >> + s++;
>> >> + pos++;
>> >> + }
>> >> +
>> >> + Printf("\n");
>> >> +
>> >> + for (int i = 0; i < origin_set.size(); ++i) {
>> >> + u32 o = origin_set.get(i);
>> >> + Printf("Origin %c (origin_id %x):\n", OriginSet::asChar(i), o);
>> >> + DescribeOrigin(o);
>> >> + }
>> >> +}
>> >> +
>> >> } // namespace __msan
>> >>
>> >> Added: compiler-rt/trunk/test/msan/msan_dump_shadow.cc
>> >> URL:
>> >>
>> >> http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/test/msan/msan_dump_shadow.cc?rev=207622&view=auto
>> >>
>> >>
>> >> ==============================================================================
>> >> --- compiler-rt/trunk/test/msan/msan_dump_shadow.cc (added)
>> >> +++ compiler-rt/trunk/test/msan/msan_dump_shadow.cc Wed Apr 30 04:50:30
>> >> 2014
>> >> @@ -0,0 +1,22 @@
>> >> +// RUN: %clangxx_msan -m64 -O0 -g %s -o %t && %t >%t.out 2>&1
>> >> +// RUN: FileCheck %s < %t.out
>> >> +
>> >> +// RUN: %clangxx_msan -fsanitize-memory-track-origins -m64 -O0 -g %s
>> >> -o
>> >> %t && %t >%t.out 2>&1
>> >> +// RUN: FileCheck %s < %t.out
>> >> +
>> >> +// RUN: %clangxx_msan -fsanitize-memory-track-origins=2 -m64 -O0 -g %s
>> >> -o
>> >> %t && %t >%t.out 2>&1
>> >> +// RUN: FileCheck %s < %t.out
>> >> +
>> >> +#include <sanitizer/msan_interface.h>
>> >> +
>> >> +int main(void) {
>> >> + char *p = new char[16];
>> >> + __msan_dump_shadow(p, 5);
>> >> + delete[] p;
>> >> + const char *q = "abc";
>> >> + __msan_dump_shadow(q, 3);
>> >> + return 0;
>> >> +}
>> >> +
>> >> +// CHECK: ff ff ff ff ff
>> >> +// CHECK: 00 00 00
>> >>
>> >> Propchange: compiler-rt/trunk/test/msan/msan_dump_shadow.cc
>> >>
>> >>
>> >> ------------------------------------------------------------------------------
>> >> svn:eol-style = LF
>> >>
>> >> Added: compiler-rt/trunk/test/msan/msan_print_shadow.cc
>> >> URL:
>> >>
>> >> http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/test/msan/msan_print_shadow.cc?rev=207622&view=auto
>> >>
>> >>
>> >> ==============================================================================
>> >> --- compiler-rt/trunk/test/msan/msan_print_shadow.cc (added)
>> >> +++ compiler-rt/trunk/test/msan/msan_print_shadow.cc Wed Apr 30
>> >> 04:50:30
>> >> 2014
>> >> @@ -0,0 +1,122 @@
>> >> +// RUN: %clangxx_msan -m64 -O0 -g %s -o %t && %t >%t.out 2>&1
>> >> +// RUN: FileCheck %s --check-prefix=CHECK
>> >> --check-prefix=CHECK-NO-ORIGINS
>> >> < %t.out
>> >> +
>> >> +// RUN: %clangxx_msan -fsanitize-memory-track-origins -m64 -O0 -g %s
>> >> -o
>> >> %t && %t >%t.out 2>&1
>> >> +// RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-ORIGINS
>> >> <
>> >> %t.out
>> >> +
>> >> +// RUN: %clangxx_msan -fsanitize-memory-track-origins=2 -m64 -O0 -g %s
>> >> -o
>> >> %t && %t >%t.out 2>&1
>> >> +// RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-ORIGINS
>> >> --check-prefix=CHECK-ORIGINS-2 < %t.out
>> >> +
>> >> +#include <sanitizer/msan_interface.h>
>> >> +
>> >> +int main(void) {
>> >> + char volatile x;
>> >> + char *p = new char[320];
>> >> + p[2] = p[5] = 1;
>> >> + p[8] = p[9] = p[10] = p[11] = p[12] = 2;
>> >> +
>> >> + __msan_allocated_memory(p + 4*3, 4);
>> >> + __msan_allocated_memory(p + 4*4, 4);
>> >> + __msan_allocated_memory(p + 4*5, 4);
>> >> + __msan_allocated_memory(p + 4*6, 4);
>> >> + __msan_allocated_memory(p + 4*7, 4);
>> >> + __msan_allocated_memory(p + 4*8, 4);
>> >> + __msan_allocated_memory(p + 4*9, 4);
>> >> + __msan_allocated_memory(p + 4*10, 4);
>> >> + __msan_allocated_memory(p + 4*11, 4);
>> >> + __msan_allocated_memory(p + 4*12, 4);
>> >> + __msan_allocated_memory(p + 4*13, 4);
>> >> + __msan_allocated_memory(p + 4*14, 4);
>> >> + __msan_allocated_memory(p + 4*15, 4);
>> >> + __msan_allocated_memory(p + 4*16, 4);
>> >> + __msan_allocated_memory(p + 4*17, 4);
>> >> + __msan_allocated_memory(p + 4*18, 4);
>> >> + __msan_allocated_memory(p + 4*19, 4);
>> >> + __msan_allocated_memory(p + 4*20, 4);
>> >> + __msan_allocated_memory(p + 4*21, 4);
>> >> + __msan_allocated_memory(p + 4*22, 4);
>> >> + __msan_allocated_memory(p + 4*23, 4);
>> >> + __msan_allocated_memory(p + 4*24, 4);
>> >> + __msan_allocated_memory(p + 4*25, 4);
>> >> + __msan_allocated_memory(p + 4*26, 4);
>> >> + __msan_allocated_memory(p + 4*27, 4);
>> >> + __msan_allocated_memory(p + 4*28, 4);
>> >> + __msan_allocated_memory(p + 4*29, 4);
>> >> + __msan_allocated_memory(p + 4*30, 4);
>> >> + __msan_allocated_memory(p + 4*31, 4);
>> >> +
>> >> + p[19] = x;
>> >> +
>> >> + __msan_print_shadow(p+5, 297);
>> >> + delete[] p;
>> >> + return 0;
>> >> +}
>> >> +
>> >> +// CHECK: Shadow map of [{{.*}}), 297 bytes:
>> >> +
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ..00ffff 00000000 ffffffff ffffffff
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffff.... ........
>> >> +
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ..00ffff 00000000 ffffffff ffffffff |A .
>> >> B
>> >> C|
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |D E
>> >> F
>> >> G|
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |H I
>> >> J
>> >> K|
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |L M
>> >> N
>> >> O|
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |P Q
>> >> R
>> >> S|
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |T U
>> >> V
>> >> W|
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |X Y
>> >> Z
>> >> *|
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |* *
>> >> *
>> >> A|
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A
>> >> A
>> >> A|
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A
>> >> A
>> >> A|
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A
>> >> A
>> >> A|
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A
>> >> A
>> >> A|
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A
>> >> A
>> >> A|
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A
>> >> A
>> >> A|
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A
>> >> A
>> >> A|
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A
>> >> A
>> >> A|
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A
>> >> A
>> >> A|
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffffffff ffffffff |A A
>> >> A
>> >> A|
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ffffffff ffffffff ffff.... ........ |A A
>> >> A
>> >> .|
>> >> +
>> >> +// CHECK-ORIGINS: Origin A (origin_id {{.*}}):
>> >> +// CHECK-ORIGINS: Uninitialized value was created by a heap
>> >> allocation
>> >> +// CHECK-ORIGINS: #1 {{.*}} in main{{.*}}msan_print_shadow.cc:14
>> >> +
>> >> +// CHECK-ORIGINS: Origin B (origin_id {{.*}}):
>> >> +// CHECK-ORIGINS: Uninitialized value was created by a heap
>> >> allocation
>> >> +// CHECK-ORIGINS: #0 {{.*}} in __msan_allocated_memory
>> >> +// CHECK-ORIGINS: #1 {{.*}} in main{{.*}}msan_print_shadow.cc:18
>> >> +
>> >> +// CHECK-ORIGINS: Origin C (origin_id {{.*}}):
>> >> +// CHECK-ORIGINS-2: Uninitialized value was stored to memory at
>> >> +// CHECK-ORIGINS-2: #0 {{.*}} in main{{.*}}msan_print_shadow.cc:48
>> >> +// CHECK-ORIGINS: Uninitialized value was created by an allocation
>> >> of
>> >> 'x' in the stack frame of function 'main'
>> >> +// CHECK-ORIGINS: #0 {{.*}} in main{{.*}}msan_print_shadow.cc:12
>> >> +
>> >> +// CHECK-ORIGINS: Origin D (origin_id {{.*}}):
>> >> +// CHECK-ORIGINS: Uninitialized value was created by a heap
>> >> allocation
>> >> +// CHECK-ORIGINS: #0 {{.*}} in __msan_allocated_memory
>> >> +// CHECK-ORIGINS: #1 {{.*}} in main{{.*}}msan_print_shadow.cc:20
>> >> +
>> >> +// ...
>> >> +
>> >> +// CHECK-ORIGINS: Origin Z (origin_id {{.*}}):
>> >> +// CHECK-ORIGINS: Uninitialized value was created by a heap
>> >> allocation
>> >> +// CHECK-ORIGINS: #0 {{.*}} in __msan_allocated_memory
>> >> +// CHECK-ORIGINS: #1 {{.*}} in main{{.*}}msan_print_shadow.cc:42
>> >>
>> >> Propchange: compiler-rt/trunk/test/msan/msan_print_shadow.cc
>> >>
>> >>
>> >> ------------------------------------------------------------------------------
>> >> svn:eol-style = LF
>> >>
>> >> Added: compiler-rt/trunk/test/msan/msan_print_shadow2.cc
>> >> URL:
>> >>
>> >> http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/test/msan/msan_print_shadow2.cc?rev=207622&view=auto
>> >>
>> >>
>> >> ==============================================================================
>> >> --- compiler-rt/trunk/test/msan/msan_print_shadow2.cc (added)
>> >> +++ compiler-rt/trunk/test/msan/msan_print_shadow2.cc Wed Apr 30
>> >> 04:50:30
>> >> 2014
>> >> @@ -0,0 +1,49 @@
>> >> +// RUN: %clangxx_msan -m64 -O0 -g %s -o %t && %t >%t.out 2>&1
>> >> +// RUN: FileCheck %s --check-prefix=CHECK
>> >> --check-prefix=CHECK-NO-ORIGINS
>> >> < %t.out
>> >> +
>> >> +// RUN: %clangxx_msan -fsanitize-memory-track-origins -m64 -O0 -g %s
>> >> -o
>> >> %t && %t >%t.out 2>&1
>> >> +// RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-ORIGINS
>> >> <
>> >> %t.out
>> >> +
>> >> +// RUN: %clangxx_msan -fsanitize-memory-track-origins=2 -m64 -O0 -g %s
>> >> -o
>> >> %t && %t >%t.out 2>&1
>> >> +// RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-ORIGINS
>> >> <
>> >> %t.out
>> >> +
>> >> +#include <sanitizer/msan_interface.h>
>> >> +
>> >> +int main(void) {
>> >> + char *p = new char[16];
>> >> + __msan_print_shadow(p, 1);
>> >> + __msan_print_shadow(p+1, 1);
>> >> + __msan_print_shadow(p+3, 1);
>> >> + __msan_print_shadow(p+15, 1);
>> >> + __msan_print_shadow(p, 0);
>> >> + delete[] p;
>> >> + const char *q = "abc";
>> >> + __msan_print_shadow(q, 3);
>> >> + return 0;
>> >> +}
>> >> +
>> >> +// CHECK: Shadow map of [0x{{.*}}, 0x{{.*}}), 1 bytes:
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ff...... ........ ........ ........
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ff...... ........ ........ ........ |A
>> >> . .
>> >> .|
>> >> +// CHECK-ORIGINS: Origin A (origin_id {{.*}}):
>> >> +
>> >> +// CHECK: Shadow map of [0x{{.*}}, 0x{{.*}}), 1 bytes:
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ..ff.... ........ ........ ........
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ..ff.... ........ ........ ........ |A
>> >> . .
>> >> .|
>> >> +// CHECK-ORIGINS: Origin A (origin_id {{.*}}):
>> >> +
>> >> +// CHECK: Shadow map of [0x{{.*}}, 0x{{.*}}), 1 bytes:
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ......ff ........ ........ ........
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ......ff ........ ........ ........ |A
>> >> . .
>> >> .|
>> >> +// CHECK-ORIGINS: Origin A (origin_id {{.*}}):
>> >> +
>> >> +// CHECK: Shadow map of [0x{{.*}}, 0x{{.*}}), 1 bytes:
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: ......ff ........ ........ ........
>> >> +// CHECK-ORIGINS: 0x{{.*}}: ......ff ........ ........ ........ |A
>> >> . .
>> >> .|
>> >> +// CHECK-ORIGINS: Origin A (origin_id {{.*}}):
>> >> +
>> >> +// CHECK: Shadow map of [0x{{.*}}, 0x{{.*}}), 0 bytes:
>> >> +
>> >> +// CHECK: Shadow map of [0x{{.*}}, 0x{{.*}}), 3 bytes:
>> >> +// CHECK-NO-ORIGINS: 0x{{.*}}: 000000.. ........ ........ ........
>> >> +// CHECK-ORIGINS: 0x{{.*}}: 000000.. ........ ........ ........ |.
>> >> . .
>> >> .|
>> >>
>> >> Propchange: compiler-rt/trunk/test/msan/msan_print_shadow2.cc
>> >>
>> >>
>> >> ------------------------------------------------------------------------------
>> >> svn:eol-style = LF
>> >>
>> >>
>> >> _______________________________________________
>> >> llvm-commits mailing list
>> >> llvm-commits at cs.uiuc.edu
>> >> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
>> >
>> >
>> >
>> >
>> > --
>> > Alexey Samsonov, Mountain View, CA
>> >
>> > _______________________________________________
>> > llvm-commits mailing list
>> > llvm-commits at cs.uiuc.edu
>> > http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
>> >
More information about the llvm-commits
mailing list