1 2 3 4 5 6 7 8 9
contract C { function f() public pure { if (false) { return; // unreachable, but not yet detected } return; } } // ----