[gcc r11-11350] tree-optimization/111736 - avoid address sanitizing of __seg_gs

[gcc r11-11350] tree-optimization/111736 - avoid address sanitizing of __seg_gs

[Uros Bizjak]

https://gcc.gnu.org/g:b4e1aee01a2fa617cf74ab04cf0ab574761aaaea

commit r11-11350-gb4e1aee01a2fa617cf74ab04cf0ab574761aaaea
Author: Richard Biener <rguenther@suse.de>
Date:   Thu Mar 21 08:30:39 2024 +0100

    tree-optimization/111736 - avoid address sanitizing of __seg_gs
    
    The following more thoroughly avoids address sanitizing accesses
    to non-generic address-spaces.
    
    gcc/ChangeLog:
    
            PR tree-optimization/111736
            * asan.c (instrument_derefs): Do not instrument accesses
            to non-generic address-spaces.
    
    gcc/testsuite/ChangeLog:
    
            * gcc.target/i386/pr111736.c: New testcase.
    
    (cherry picked from commit 134ef2a8cac1a5cc718739bd7d3b3472947c80d6)

Diff:
---
 gcc/asan.c                               |  4 ++++
 gcc/testsuite/gcc.target/i386/pr111736.c | 23 +++++++++++++++++++++++
 2 files changed, 27 insertions(+)

diff --git a/gcc/asan.c b/gcc/asan.c
index b92c6007c97..fe24f531a04 100644
--- a/gcc/asan.c
+++ b/gcc/asan.c
@@ -2699,6 +2699,10 @@ instrument_derefs (gimple_stmt_iterator *iter, tree t,
   if (VAR_P (inner) && DECL_HARD_REGISTER (inner))
     return;
 
+  /* Accesses to non-generic address-spaces should not be instrumented.  */
+  if (!ADDR_SPACE_GENERIC_P (TYPE_ADDR_SPACE (TREE_TYPE (inner))))
+    return;
+
   poly_int64 decl_size;
   if ((VAR_P (inner) || TREE_CODE (inner) == RESULT_DECL)
       && offset == NULL_TREE
diff --git a/gcc/testsuite/gcc.target/i386/pr111736.c b/gcc/testsuite/gcc.target/i386/pr111736.c
new file mode 100644
index 00000000000..231fdd07e80
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr111736.c
@@ -0,0 +1,23 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -fsanitize=address" } */
+
+int __seg_gs m;
+
+int foo (void)
+{
+  return m;
+}
+
+extern int  __seg_gs n;
+
+int bar (void)
+{
+  return n;
+}
+
+int baz (int __seg_gs *o)
+{
+  return *o;
+}
+
+/* { dg-final { scan-assembler-not "asan_report_load" } } */