http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47274
--- Comment #9 from Jan Hubicka <hubicka at ucw dot cz> 2011-01-17 16:05:56 UTC --- > Note that the assert probably should do &&, not ||. Or it doesn't > make sense at all. Asserting that the prevailing_node is analyzed > should be enough. No, the assert basically test that when node is analyzed prevailing_node must be analyzed, too. So the test tests the implication, not conjunction. It is possible that we merge two unanalyzed nodes (such as aliases). Honza
