• Andreas Zwinkau's avatar
    Fix cfopt · 69e2d762
    Andreas Zwinkau authored
    The cfopt itself can handle unreachable code,
    but it transforms it in a way that makes the verifier unhappy.
    69e2d762