Don't expect existing varinfo for arguments in intra_create_variable_infos

2015-10-31  Tom de Vries  <tom@codesourcery.com>

	* tree-ssa-structalias.c (intra_create_variable_infos): Don't expect
	existing varinfo for arguments.

From-SVN: r229620

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c4d833bbb5126b902541a0f3b040a8c0c2496a5f..7e4fa20a4cdd43917bb0f2e029bea745bf9ca7c5 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2015-10-31  Tom de Vries  <tom@codesourcery.com>
+
+       * tree-ssa-structalias.c (intra_create_variable_infos): Don't expect
+       existing varinfo for arguments.
+
 2015-10-31  Tom de Vries  <tom@codesourcery.com>
 
        * tree-ssa-structalias.c (ipa_pta_execute): Add extra arg to call to

diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c
index 7b6553cd99fbeb87b9facee581c1406b8b65dc5e..55f72a2b91f1734e9f341947b6011cb74aa1dc66 100644 (file)
--- a/gcc/tree-ssa-structalias.c
+++ b/gcc/tree-ssa-structalias.c
@@ -5912,12 +5912,8 @@ intra_create_variable_infos (struct function *fn)
       bool recursive_restrict_p
        = (restrict_pointer_p
           && !type_contains_placeholder_p (TREE_TYPE (TREE_TYPE (t))));
-      varinfo_t p = lookup_vi_for_tree (t);
-      if (p == NULL)
-       {
-         p = create_variable_info_for_1 (t, alias_get_name (t), false);
-         insert_vi_for_tree (t, p);
-       }
+      varinfo_t p = create_variable_info_for_1 (t, alias_get_name (t), false);
+      insert_vi_for_tree (t, p);
 
       /* For restrict qualified pointers build a representative for
         the pointed-to object.  Note that this ends up handling