solidity/test/libsolidity/syntaxTests/controlFlow/unreachableCode/do_while_continue.sol

contract C {
    function f() public pure {
        do {
            uint a = 42; a;
            continue;
            return; // this is unreachable
        } while(false);
        return; // this is still reachable
    }
}
// ----
// Warning 5740: (119-126='return;'): Unreachable code.