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.