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

* commit '34513835220e9473662ed1780291c680a5716fd0':
  With irreducible loops, we can have a null destination.