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

gcc/ChangeLog

+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,

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);
 }