[compiler-rt] r207622 - [msan] Prettify __msan_print_shadow.
David Blaikie
dblaikie at gmail.com
Fri May 2 11:29:10 PDT 2014
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