diff options
| -rw-r--r-- | gcc/ChangeLog | 12 | ||||
| -rw-r--r-- | gcc/tree-ssa-structalias.c | 6 |
2 files changed, 16 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e370a9f..4d7ece9 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,11 +1,19 @@ +2010-04-30 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/43879 + * tree-ssa-structalias.c (type_could_have_pointers): Functions + can have pointers. + 2010-04-30 Jan Hubicka <jh@suse.cz> - * lto-symtab.c (lto_symtab_resolve_can_prevail_p): Chose var with varpool. + * lto-symtab.c (lto_symtab_resolve_can_prevail_p): Chose var with + varpool. (lto_symtab_merge_decls_1): Remove logic looking for an initializer. 2010-04-30 Jan Hubicka <jh@suse.cz> - * cgraph.h (cgraph_node_set_nonempty_p, varpool_node_set_nonempty_p): New. + * cgraph.h (cgraph_node_set_nonempty_p, varpool_node_set_nonempty_p): + New. * lto-cgraph.c (input_cgraph): Remove call to lto_mark_file_for_ltrans. * lto-streamer.h (lto_file_decl_data): Remove needs_ltrans_p. (lto_file_needs_ltrans_p, lto_mark_file_for_ltrans, diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index 28bb0bb..fce39de 100644 --- a/gcc/tree-ssa-structalias.c +++ b/gcc/tree-ssa-structalias.c @@ -2940,6 +2940,12 @@ type_could_have_pointers (tree type) if (TREE_CODE (type) == ARRAY_TYPE) return type_could_have_pointers (TREE_TYPE (type)); + /* A function or method can consume pointers. + ??? We could be more precise here. */ + if (TREE_CODE (type) == FUNCTION_TYPE + || TREE_CODE (type) == METHOD_TYPE) + return true; + return AGGREGATE_TYPE_P (type); } |