ipa-prop.c (ipa_prop_read_section): Add sanity check that node is analyzed.

	* ipa-prop.c (ipa_prop_read_section): Add sanity check that node is analyzed.
	* passes.c (ipa_write_summaries): Write all analyzed nodes.

From-SVN: r159444

gcc/ChangeLog

+2010-05-15  Jan Hubicka  <jh@suse.cz>
+
+	* ipa-prop.c (ipa_prop_read_section): Add sanity check that node is analyzed.
+	* passes.c (ipa_write_summaries): Write all analyzed nodes.
+
 2010-05-15  Steven Bosscher  <steven@gcc.gnu.org>
 
 	* vecir.h: New file with VEC primitives for tree, gimple, and rtl.

gcc/ipa-prop.c

@@ -2140,6 +2140,7 @@ ipa_prop_read_section (struct lto_file_decl_data *file_data, const char *data,
       index = lto_input_uleb128 (&ib_main);
       encoder = file_data->cgraph_node_encoder;
       node = lto_cgraph_encoder_deref (encoder, index);
+      gcc_assert (node->analyzed);
       ipa_read_node_info (&ib_main, node, data_in);
     }
   lto_free_section_data (file_data, LTO_section_jump_functions, NULL, data,

gcc/passes.c

@@ -1748,7 +1748,7 @@ ipa_write_summaries (void)
 	  renumber_gimple_stmt_uids ();
 	  pop_cfun ();
 	}
-      if (node->needed || node->reachable || node->address_taken)
+      if (node->analyzed)
 	cgraph_node_set_add (set, node);
     }
   vset = varpool_node_set_new ();