From dd9a8255aefdc139f688110c8dc021e198b33ddb Mon Sep 17 00:00:00 2001
From: marxin <marxin@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Wed, 28 Jun 2017 07:59:23 +0000
Subject: [PATCH 1/3] Backport r249728
gcc/ChangeLog:
2017-06-28 Martin Liska <mliska@suse.cz>
PR sanitizer/81224
* asan.c (instrument_derefs): Bail out inner references
that are hard register variables.
gcc/testsuite/ChangeLog:
2017-06-28 Martin Liska <mliska@suse.cz>
PR sanitizer/81224
* gcc.dg/asan/pr81224.c: New test.
---
gcc/asan.c | 3 +++
gcc/testsuite/gcc.dg/asan/pr81224.c | 11 +++++++++++
2 files changed, 14 insertions(+)
create mode 100644 gcc/testsuite/gcc.dg/asan/pr81224.c
@@ -1877,6 +1877,9 @@ instrument_derefs (gimple_stmt_iterator *iter, tree t,
|| bitsize != size_in_bytes * BITS_PER_UNIT)
return;
+ if (VAR_P (inner) && DECL_HARD_REGISTER (inner))
+ return;
+
if (VAR_P (inner)
&& offset == NULL_TREE
&& bitpos >= 0
new file mode 100644
@@ -0,0 +1,11 @@
+/* PR sanitizer/80659 */
+/* { dg-do compile { target { i?86-*-* x86_64-*-* } } } */
+/* { dg-additional-options "-msse2" } */
+
+int a;
+int
+b ()
+{
+ register __attribute__ ((__vector_size__ (4 * sizeof (int)))) int c asm("xmm0");
+ return c[a];
+}
--
2.13.3