• Andreas Zwinkau's avatar
    Fix "Some cleanup of cfopt." · 7679a65e
    Andreas Zwinkau authored
    The remove_empty_blocks function must be used for a pre-walker, otherwise
    it might be called on blocks, which were optimized away. Consider infinite
    loops and the Keep edges:
    
      \ ___
       B   |
        \  /
        Empty
        /
       / Keep Edge!
    
    In this example, we must not call remove_empty_blocks on Empty,
    after we called it on B, but a post walker would do that.
    7679a65e