aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTom de Vries <tom@codesourcery.com>2015-10-31 08:08:48 +0000
committerTom de Vries <vries@gcc.gnu.org>2015-10-31 08:08:48 +0000
commit82d2c2706f59e54c681bd3afecda93feb90d37cc (patch)
treef44e32c8e2c87de29a375832b395685f76cb71a8
parentd0c9ca44614f088e42a3305551a5f87adc4607af (diff)
downloadgcc-82d2c2706f59e54c681bd3afecda93feb90d37cc.zip
gcc-82d2c2706f59e54c681bd3afecda93feb90d37cc.tar.gz
gcc-82d2c2706f59e54c681bd3afecda93feb90d37cc.tar.bz2
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
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/tree-ssa-structalias.c8
2 files changed, 7 insertions, 6 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c4d833b..7e4fa20 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,10 @@
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
create_function_info_for. Dump constraints generated during
create_function_info_for. Move intra_create_variable_infos call and
diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c
index 7b6553c..55f72a2 100644
--- 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