Skip EAF_UNUSED parameters in handle_pure_call

	* tree-ssa-structalias.c (handle_pure_call): Skip EAF_UNUSED
	 parameters.

diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c
index 9f4de96d5442593ec291a62ff00008307a6afff9..cf653be8b6df68d3f42956408586ee5f88ab0519 100644 (file)
--- a/gcc/tree-ssa-structalias.c
+++ b/gcc/tree-ssa-structalias.c
@@ -4274,6 +4274,11 @@ handle_pure_call (gcall *stmt, vec<ce_s> *results)
   for (i = 0; i < gimple_call_num_args (stmt); ++i)
     {
       tree arg = gimple_call_arg (stmt, i);
+      int flags = gimple_call_arg_flags (stmt, i);
+
+      /* If the argument is not used we can ignore it.  */
+      if (flags & EAF_UNUSED)
+       continue;
       if (!uses)
        {
          uses = get_call_use_vi (stmt);