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 5740: (119-126): Unreachable code.