Xref: utzoo comp.std.c:1872 comp.lang.c:23013
Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!uwm.edu!gem.mps.ohio-state.edu!ginosko!uunet!twwells!bill
From: bill@twwells.com (T. William Wells)
Newsgroups: comp.std.c,comp.lang.c
Subject: Re: Common malloc/free practice violates ANSI standard ?
Message-ID: <1989Oct19.101306.16791@twwells.com>
Date: 19 Oct 89 10:13:06 GMT
References: <1989Oct14.043811.669@anucsd.oz>
Organization: None, Ft. Lauderdale, FL
Lines: 11

: * assigning a void* to an OBJ* involves rounding up to an even address

: * assigning an OBJ* to a void* involves no change of address

The standard requires that casting from (void*) to (OBJ*) and back
give pointers that compare equal and point to the same object.
Free will have no problems with it.

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