question: commented unreachable code

The parser code contains lots of these comments:

    // This code is unreachable.
    // default:
    //     throw invalidToken()

It looks like there was this code before but it was taken out by some sort of reachability analysis. Is there some tool for this which proves the unreachability of certain code parts or did you sit down with pen and paper and think really hard?