Fix potential problems with unreachable basic blocks.