[compiler-rt] r296051 - [msan] Test for alloca handling.

[Evgeniy Stepanov via llvm-commits]

Author: eugenis
Date: Thu Feb 23 18:13:28 2017
New Revision: 296051

URL: http://llvm.org/viewvc/llvm-project?rev=296051&view=rev
Log:
[msan] Test for alloca handling.

Added:
    compiler-rt/trunk/test/msan/alloca.cc

Added: compiler-rt/trunk/test/msan/alloca.cc
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/test/msan/alloca.cc?rev=296051&view=auto
==============================================================================
--- compiler-rt/trunk/test/msan/alloca.cc (added)
+++ compiler-rt/trunk/test/msan/alloca.cc Thu Feb 23 18:13:28 2017
@@ -0,0 +1,25 @@
+// RUN: %clangxx_msan -O0 -g %s -o %t && %run %t
+// RUN: %clangxx_msan -O3 -g %s -o %t && %run %t
+
+#include <assert.h>
+#include <stdlib.h>
+#include <string.h>
+#include <stdio.h>
+#include <sanitizer/msan_interface.h>
+
+int main(void) {
+  char *p = (char *)alloca(16);
+  assert(0 == __msan_test_shadow(p, 16));
+  assert(0 == __msan_test_shadow(p + 15, 1));
+
+  memset(p, 0, 16);
+  assert(-1 == __msan_test_shadow(p, 16));
+
+  volatile int x = 0;
+  char * volatile q = (char *)alloca(42 * x);
+  assert(-1 == __msan_test_shadow(p, 16));
+
+  int r[x];
+  int *volatile r2 = r;
+  assert(-1 == __msan_test_shadow(p, 16));
+}