1 2 3 4 5 6 7 8
contract C { function f() public pure { revert(); revert(); } } // ---- // Warning: (70-78): Unreachable code.