Definitely consult HR, or his own supervisor, or the EEOC, or a lawyer if he had personally been discriminated against based on, say, gender, or even witnessed such discrimination. There are ways to deal with harmful company policies. Often imperfect, but better, for this situation, than what he did.