[PATCH] D34315: [asan] Regression test for PR33372

Vitaly Buka via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Jun 23 18:41:30 PDT 2017


This revision was automatically updated to reflect the committed changes.
Closed by commit rL306195: [asan] Regression test for PR33372 (authored by vitalybuka).

Changed prior to commit:
  https://reviews.llvm.org/D34315?vs=103821&id=103822#toc

Repository:
  rL LLVM

https://reviews.llvm.org/D34315

Files:
  compiler-rt/trunk/test/asan/TestCases/pr33372.cc


Index: compiler-rt/trunk/test/asan/TestCases/pr33372.cc
===================================================================
--- compiler-rt/trunk/test/asan/TestCases/pr33372.cc
+++ compiler-rt/trunk/test/asan/TestCases/pr33372.cc
@@ -0,0 +1,39 @@
+// RUN: %clangxx_asan -O0 -std=c++11 %s -o %t && %run %t 2>&1 | FileCheck %s
+// RUN: %clangxx_asan -O1 -std=c++11 %s -o %t && %run %t 2>&1 | FileCheck %s
+// RUN: %clangxx_asan -O2 -std=c++11 %s -o %t && %run %t 2>&1 | FileCheck %s
+
+// Test that we do not detect false buffer overflows cased by optimization when
+// when local variable replaced by a smaller global constant.
+// https://bugs.llvm.org/show_bug.cgi?id=33372
+
+#include <stdio.h>
+#include <string.h>
+
+struct A { int x, y, z; };
+struct B { A a; /*gap*/ long b; };
+B *bb;
+
+void test1() {
+  A a1 = {1, 1, 2};
+  B b1 = {a1, 6};
+  bb = new B(b1);
+}
+
+const char KKK[] = {1, 1, 2};
+char bbb[100000];
+
+void test2() {
+  char cc[sizeof(bbb)];
+  memcpy(cc, KKK , sizeof(KKK));
+  memcpy(bbb, cc, sizeof(bbb));
+}
+
+int main(int argc, char *argv[]) {
+  test1();
+  test2();
+  printf("PASSED");
+  return 0;
+}
+
+// CHECK-NOT: ERROR: AddressSanitizer
+// CHECK: PASSED


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D34315.103822.patch
Type: text/x-patch
Size: 1195 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170624/0abe715c/attachment.bin>


More information about the llvm-commits mailing list