Control-flow resynchronization