On Thu, 28 Feb 2019, Alexander Monakov wrote: > Hi, > > in PR 85899 an assert is failing in find_fallthru_edge_from because the code > tries to verify the invariant e->dest == e->src->next_bb for a fallthru edge > and does not anticipate that it will fail if e->dest is the exit block (bb 1): > in this case next_bb is fairly arbitrary (it's just the next bb that appears > in the insn sequence and has nothing to do with the "fake" fallthru to exit).
Or is the bug in out-of-cfglayout code creating such bogus fallthru edge? Thanks. Alexander