Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!wuarchive!cs.utexas.edu!uunet!twwells!bill
From: bill@twwells.com (T. William Wells)
Newsgroups: comp.lang.c
Subject: Re: Type punning in C
Message-ID: <1989Oct23.234810.3490@twwells.com>
Date: 23 Oct 89 23:48:10 GMT
References: <475@idacrd.UUCP> <11242@smoke.BRL.MIL> <605@maytag.waterloo.edu> <6310@arcturus> <14939@haddock.ima.isc.com>
Organization: None, Ft. Lauderdale, FL
Lines: 13

In article <14939@haddock.ima.isc.com> karl@haddock.ima.isc.com (Karl Heuer) writes:
: It may be that the undefined-behavior clause would permit an implementation
: where punning doesn't work and differently-typed union members don't overlap,
: provided that appropriate code is generated when casting to/from a union type.
: This may be the source of the rumor you heard.

Actually, the standard is quite unambiguous in asserting that the
members of a union overlap. But it doesn't say beans about by how
much.

---
Bill                    { uunet | novavax | ankh | sunvice } !twwells!bill
bill@twwells.com