In article <7646 at cdis-1.uucp> tanner at cdis-1.uucp (Dr. T. Andrews) writes: >If disallowing case (b), kindly justify this. You're not allowed to feed garbage to sizeof(). ((type *)0)->anything is garbage. A strictly conforming program is not allowed to contain that construct. At least, that's my interpretation of the rules.