Sanopt: ignore params with DECL_HAS_VALUE_EXPR_P (PR sanitizer/86962).

2018-08-27  Martin Liska  <mliska@suse.cz>

        PR sanitizer/86962
	* sanopt.c (sanitize_rewrite_addressable_params): Ignore
        params with DECL_HAS_VALUE_EXPR_P.
2018-08-27  Martin Liska  <mliska@suse.cz>

        PR sanitizer/86962
	* gcc.dg/asan/pr86962.c: New test.

From-SVN: r263882

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6c79e41..6a04712 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,11 @@
 2018-08-27  Martin Liska  <mliska@suse.cz>
 
+       PR sanitizer/86962
+       * sanopt.c (sanitize_rewrite_addressable_params): Ignore
+       params with DECL_HAS_VALUE_EXPR_P.
+
+2018-08-27  Martin Liska  <mliska@suse.cz>
+
        * config/i386/i386.c (ix86_expand_set_or_movmem): Dump
         selected expansion strategy.
 

diff --git a/gcc/sanopt.c b/gcc/sanopt.c
index 223c06a..082f936 100644 (file)
--- a/gcc/sanopt.c
+++ b/gcc/sanopt.c
@@ -1165,13 +1165,15 @@ sanitize_rewrite_addressable_params (function *fun)
 
          gimple_add_tmp_var (var);
 
+         /* We skip parameters that have a DECL_VALUE_EXPR.  */
+         if (DECL_HAS_VALUE_EXPR_P (arg))
+           continue;
+
          if (dump_file)
            fprintf (dump_file,
                     "Rewriting parameter whose address is taken: %s\n",
                     IDENTIFIER_POINTER (DECL_NAME (arg)));
 
-         gcc_assert (!DECL_HAS_VALUE_EXPR_P (arg));
-
          SET_DECL_PT_UID (var, DECL_PT_UID (arg));
 
          /* Assign value of parameter to newly created variable.  */

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 6e6ffd8..4f49ffd 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,10 @@
 2018-08-27  Martin Liska  <mliska@suse.cz>
 
+       PR sanitizer/86962
+       * gcc.dg/asan/pr86962.c: New test.
+
+2018-08-27  Martin Liska  <mliska@suse.cz>
+
        * gcc.dg/tree-prof/val-prof-10.c: New test.
 
 2018-08-27  Martin Liska  <mliska@suse.cz>

diff --git a/gcc/testsuite/gcc.dg/asan/pr86962.c b/gcc/testsuite/gcc.dg/asan/pr86962.c
new file mode 100644 (file)
index 0000000..7a8cfa9
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/asan/pr86962.c
@@ -0,0 +1,13 @@
+/* PR sanitizer/86962 */
+/* { dg-do compile } */
+
+extern int dummy (int *);
+
+void foo(int i)
+{
+  int j=i;
+
+  void bar() { int x=j, y=i; }
+
+  dummy(&i);
+}