It may be valid, but I don't see any value in doing it, and it would take extra code in the compiler (and possibly the resulting binary). So did any compiler actually do that?