Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!uflorida!haven!adm!smoke!gwyn
From: gwyn@smoke.BRL.MIL (Doug Gwyn)
Newsgroups: comp.lang.c
Subject: Re: sizeof a struc field
Message-ID: <11185@smoke.BRL.MIL>
Date: 29 Sep 89 21:27:01 GMT
References: <7710@microsoft.UUCP> <11086@smoke.BRL.MIL> <131@dtoa3.dt.navy.mil> <11120@smoke.BRL.MIL> <7646@cdis-1.uucp>
Reply-To: gwyn@brl.arpa (Doug Gwyn)
Organization: Ballistic Research Lab (BRL), APG, MD.
Lines: 8

In article <7646@cdis-1.uucp> tanner@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.