Merge "With irreducible loops, we can have a null destination."