tree-ssa-structalias.c (find_func_aliases): Properly handle asm inputs.

2017-04-10  Richard Biener  <rguenther@suse.de>

	* tree-ssa-structalias.c (find_func_aliases): Properly handle
	asm inputs.

From-SVN: r246809

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 00b994b5245d13756111b58f891ec18cd70f193a..b6d385b357979b24bd6f341c4765361e5b9b2574 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2017-04-10  Richard Biener  <rguenther@suse.de>
+
+       * tree-ssa-structalias.c (find_func_aliases): Properly handle
+       asm inputs.
+
 2017-04-10  Vladimir Makarov  <vmakarov@redhat.com>
 
        PR rtl-optimization/70478

diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c
index aab6821e792c8940bf3b39d47eb97a5072642139..77736f51153320f7dccc7a65097bd26918cd8317 100644 (file)
--- a/gcc/tree-ssa-structalias.c
+++ b/gcc/tree-ssa-structalias.c
@@ -4944,14 +4944,14 @@ find_func_aliases (struct function *fn, gimple *origt)
            make_escape_constraint (build_fold_addr_expr (op));
 
          /* The asm may read global memory, so outputs may point to
-            any global memory.  */
+            any global or escaped memory.  */
          if (op)
            {
              auto_vec<ce_s, 2> lhsc;
              struct constraint_expr rhsc, *lhsp;
              unsigned j;
              get_constraint_for (op, &lhsc);
-             rhsc.var = nonlocal_id;
+             rhsc.var = escaped_id;
              rhsc.offset = 0;
              rhsc.type = SCALAR;
              FOR_EACH_VEC_ELT (lhsc, j, lhsp)