http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48929
--- Comment #2 from Jan Hubicka <hubicka at gcc dot gnu.org> 2011-06-04 13:02:28 UTC --- Created attachment 24428 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24428 Pack I am testing The problem is that the code assumes transitivity in edge predicates, while this is broken by bug in remap_edge_predicates. When inlining function F that has predicate P and F contains edge with no predicates, the edge should be remapped to have predicate P. Regtesting/bootstrapping the patch and will commit it if it passes.
