tree 2c07227a3a6fc8751159a5ff9fa6844b470a53c3
parent fffb7c3076919086e7aee38724e4ec54f0dca7fb
author Søren Gjesse <sgjesse@google.com> 1503392409 +0200
committer Søren Gjesse <sgjesse@google.com> 1503392409 +0200

Ensure consistent remove() behaviour after basic block split

And a few other simple refactorings.

Change-Id: Ia8c9517908f2550b0c5f81da42096614fc947896