diff options
| author | Tom de Vries <tom@codesourcery.com> | 2015-10-31 08:08:48 +0000 |
|---|---|---|
| committer | Tom de Vries <tom@codesourcery.com> | 2015-10-31 08:08:48 +0000 |
| commit | 172488b094383a224197694ab9de73ab037aaab3 (patch) | |
| tree | f44e32c8e2c87de29a375832b395685f76cb71a8 | |
| parent | 8ae4e6ad5fb9054a61362aa3cc3ef882ed850198 (diff) | |
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.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@229620 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/tree-ssa-structalias.c | 8 |
2 files changed, 7 insertions, 6 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c4d833bbb51..7e4fa20a4cd 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 7b6553cd99f..55f72a2b91f 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 |