contract test {
    function fun() public pure {
        uint256 x;
        while (true) { x = 1; break; continue; } x = 9;
    }
}
// ----