aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/syntaxTests/controlFlow/unreachableCode/while_continue.sol
blob: 55f98f67e665741b83c44b989b262a5e4bec1de5 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
contract C {
    function f() public pure {
        while(true) {
            continue;
            return;
        }
        return; // this is unreachable as well, but currently undetected (needs to consider constant condition "true")
    }
}
// ----
// Warning: (100-107): Unreachable code.