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


1
2
3
4
5
6
7
8
9
10
11
12

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