From 8267740011a51a553aadedc6b949bddc40770ccc Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Fri, 30 Apr 2010 18:52:44 +0000 Subject: [PATCH] re PR tree-optimization/43879 (-fipa-pta causes various miscompilations) 2010-04-30 Richard Guenther PR tree-optimization/43879 * tree-ssa-structalias.c (type_could_have_pointers): Functions can have pointers. From-SVN: r158945 --- gcc/ChangeLog | 12 ++++++++++-- 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 + + PR tree-optimization/43879 + * tree-ssa-structalias.c (type_could_have_pointers): Functions + can have pointers. + 2010-04-30 Jan Hubicka - * 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 - * 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); } -- 2.7.4