Set DECL_VALUE_EXPR after a debug stmt is generated (PR sanitizer/81340).

[thirdparty/gcc.git] / gcc / sanopt.c

diff --git a/gcc/sanopt.c b/gcc/sanopt.c
index b845f2fab31a8e6465a66201faf6714448d92271..f6dd14da00d451c49a6571729a902b69e1e60d19 100644 (file)
--- a/gcc/sanopt.c
+++ b/gcc/sanopt.c
@@ -916,8 +916,6 @@ sanitize_rewrite_addressable_params (function *fun)
                     IDENTIFIER_POINTER (DECL_NAME (arg)));
 
          gcc_assert (!DECL_HAS_VALUE_EXPR_P (arg));
-         DECL_HAS_VALUE_EXPR_P (arg) = 1;
-         SET_DECL_VALUE_EXPR (arg, var);
 
          SET_DECL_PT_UID (var, DECL_PT_UID (arg));
 
@@ -946,6 +944,9 @@ sanitize_rewrite_addressable_params (function *fun)
              gimple_seq_add_stmt (&stmts, g);
              clear_value_expr_list.safe_push (arg);
            }
+
+         DECL_HAS_VALUE_EXPR_P (arg) = 1;
+         SET_DECL_VALUE_EXPR (arg, var);
        }
     }