[PATCH] D14764: Disable gvn non-local speculative loads under asan.

Mike Aizatsky via llvm-commits llvm-commits at lists.llvm.org
Wed Nov 18 12:45:58 PST 2015


This revision was automatically updated to reflect the committed changes.
Closed by commit rL253499: Disable gvn non-local speculative loads under asan. (authored by aizatsky).

Changed prior to commit:
  http://reviews.llvm.org/D14764?vs=40455&id=40542#toc

Repository:
  rL LLVM

http://reviews.llvm.org/D14764

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

Index: compiler-rt/trunk/test/asan/TestCases/speculative_load2.cc
===================================================================
--- compiler-rt/trunk/test/asan/TestCases/speculative_load2.cc
+++ compiler-rt/trunk/test/asan/TestCases/speculative_load2.cc
@@ -0,0 +1,21 @@
+// Verifies that speculative loads from unions do not happen under asan.
+// RUN: %clangxx_asan -O0 %s -o %t && ASAN_OPTIONS=detect_leaks=0 %run %t 2>&1
+// RUN: %clangxx_asan -O1 %s -o %t && ASAN_OPTIONS=detect_leaks=0 %run %t 2>&1
+// RUN: %clangxx_asan -O2 %s -o %t && ASAN_OPTIONS=detect_leaks=0 %run %t 2>&1
+// RUN: %clangxx_asan -O3 %s -o %t && ASAN_OPTIONS=detect_leaks=0 %run %t 2>&1
+
+typedef union {
+  short q;
+  struct {
+    short x;
+    short y;
+    int for_alignment;
+  } w;
+} U;
+int main() {
+  char *buf = new char[2];
+  buf[0] = buf[1] = 0x0;
+  U *u = (U *)buf;
+  return  u->q == 0 ? 0 : u->w.y;
+}
+


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D14764.40542.patch
Type: text/x-patch
Size: 908 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151118/b942d2df/attachment.bin>


More information about the llvm-commits mailing list