53 lines · cpp
1// RUN: %clangxx_msan -fno-sanitize-memory-param-retval -fsanitize-memory-track-origins=0 -O3 %s -o %t2 3// RUN: not %run %t va_arg_tls 2>&1 | FileCheck %s --check-prefix=CHECK4// RUN: not %run %t overflow 2>&1 | FileCheck %s --check-prefix=CHECK5 6// RUN: %clangxx_msan -fno-sanitize-memory-param-retval -fsanitize-memory-track-origins=2 -O3 %s -o %t7 8// RUN: not %run %t va_arg_tls 2>&1 | FileCheck %s --check-prefixes=CHECK,CHECK-ORIGIN9// RUN: not %run %t overflow 2>&1 | FileCheck %s --check-prefixes=CHECK,CHECK-ORIGIN10 11// Check that shadow and origin are passed through va_args.12 13// Copying origins on AArch64, LoongArch64, MIPS and PowerPC isn't supported yet.14// XFAIL: target={{(aarch64|loongarch64|mips|powerpc64).*}}15 16#include <stdarg.h>17#include <string.h>18 19__attribute__((noinline))20int sum(int n, ...) {21 va_list args;22 int i, sum = 0, arg;23 volatile int temp;24 va_start(args, n);25 for (i = 0; i < n; i++) {26 arg = va_arg(args, int);27 sum += arg;28 }29 va_end(args);30 return sum;31}32 33int main(int argc, char *argv[]) {34 volatile int uninit;35 volatile int a = 1, b = 2;36 if (argc == 2) {37 // Shadow/origin will be passed via va_arg_tls/va_arg_origin_tls.38 if (strcmp(argv[1], "va_arg_tls") == 0) {39 return sum(3, uninit, a, b);40 }41 // Shadow/origin of |uninit| will be passed via overflow area.42 if (strcmp(argv[1], "overflow") == 0) {43 return sum(7,44 a, a, a, a, a, a, uninit45 );46 }47 }48 return 0;49}50 51// CHECK: WARNING: MemorySanitizer: use-of-uninitialized-value52// CHECK-ORIGIN: Uninitialized value was created by an allocation of 'uninit' in the stack frame53