contract C {
    function f() public pure {
        revert();
        revert();
    }
}
// ----
// Warning 5740: (70-78='revert()'): Unreachable code.