12d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: %clangxx_msan -fsanitize-memory-track-origins=2 -m64 -DOFFSET=0 -O3 %s -o %t && \ 22d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: not %run %t >%t.out 2>&1 32d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-Z1 < %t.out 42d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 52d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: %clangxx_msan -fsanitize-memory-track-origins=2 -DOFFSET=10 -m64 -O3 %s -o %t && \ 62d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: not %run %t >%t.out 2>&1 72d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-Z2 < %t.out 82d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 95d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines 105d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// RUN: %clangxx_msan -mllvm -msan-instrumentation-with-call-threshold=0 -fsanitize-memory-track-origins=2 -m64 -DOFFSET=0 -O3 %s -o %t && \ 115d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// RUN: not %run %t >%t.out 2>&1 125d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-Z1 < %t.out 135d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines 145d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// RUN: %clangxx_msan -mllvm -msan-instrumentation-with-call-threshold=0 -fsanitize-memory-track-origins=2 -DOFFSET=10 -m64 -O3 %s -o %t && \ 155d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// RUN: not %run %t >%t.out 2>&1 165d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// RUN: FileCheck %s --check-prefix=CHECK --check-prefix=CHECK-Z2 < %t.out 175d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines 185d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines 192d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#include <stdio.h> 202d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines#include <string.h> 212d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 222d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hinesint xx[10000]; 232d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hinesint yy[10000]; 242d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hinesvolatile int idx = 30; 252d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 262d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines__attribute__((noinline)) 272d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hinesvoid fn_g(int a, int b) { 282d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines xx[idx] = a; xx[idx + 10] = b; 292d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines} 302d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 312d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines__attribute__((noinline)) 322d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hinesvoid fn_f(int a, int b) { 332d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines fn_g(a, b); 342d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines} 352d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 362d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines__attribute__((noinline)) 372d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hinesvoid fn_h() { 382d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines memcpy(&yy, &xx, sizeof(xx)); 392d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines} 402d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 412d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hinesint main(int argc, char *argv[]) { 422d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines int volatile z1; 432d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines int volatile z2; 442d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines fn_f(z1, z2); 452d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines fn_h(); 462d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines return yy[idx + OFFSET]; 472d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines} 482d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 492d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK: WARNING: MemorySanitizer: use-of-uninitialized-value 505d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// CHECK: {{#0 .* in main .*chained_origin_memcpy.cc:46}} 512d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 522d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK: Uninitialized value was stored to memory at 535d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// CHECK: {{#1 .* in fn_h.*chained_origin_memcpy.cc:38}} 542d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 552d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK: Uninitialized value was stored to memory at 565d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// CHECK: {{#0 .* in fn_g.*chained_origin_memcpy.cc:28}} 575d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// CHECK: {{#1 .* in fn_f.*chained_origin_memcpy.cc:33}} 582d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines 592d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-Z1: Uninitialized value was created by an allocation of 'z1' in the stack frame of function 'main' 602d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// CHECK-Z2: Uninitialized value was created by an allocation of 'z2' in the stack frame of function 'main' 615d71de26cedae3dafc17449fe0182045c0bd20e8Stephen Hines// CHECK: {{#0 .* in main.*chained_origin_memcpy.cc:41}} 62