diff options
| author | Richard Biener <rguenth@gcc.gnu.org> | 2010-04-30 18:52:44 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2010-04-30 18:52:44 +0000 |
| commit | 8267740011a51a553aadedc6b949bddc40770ccc (patch) | |
| tree | 135eab53c53a261c8ca9c5b95389db6efb6fb6ce | |
| parent | cd71491e1cc5df228efbc518502cdc373c2d7585 (diff) | |
| download | gcc-8267740011a51a553aadedc6b949bddc40770ccc.zip gcc-8267740011a51a553aadedc6b949bddc40770ccc.tar.gz gcc-8267740011a51a553aadedc6b949bddc40770ccc.tar.bz2 | |
re PR tree-optimization/43879 (-fipa-pta causes various miscompilations)
2010-04-30 Richard Guenther <rguenther@suse.de>
PR tree-optimization/43879
* tree-ssa-structalias.c (type_could_have_pointers): Functions
can have pointers.
From-SVN: r158945
| -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); } |