🚀 go-pugleaf

In article <15977@goanna.cs.rmit.oz.au>, ok@goanna.cs.rmit.oz.au (Richard A. O'Keefe) writes:
> In article <1992Nov13.184421.11065@taumet.com>, steve@taumet.com (Steve Clamage) writes:

>> "Data read in from a binary stream shall compare equal to the data
>> that were earlier written out to the stream, [...]."
> That is exactly the kind of answer I hoped for when I posted to
> comp.std.c.  Thank you.  There remains, alas, one fine point of
> detail.  What does it _mean_ to say "COMPARE EQUAL to the data ..."?

Let's see if I can bring this into sharper relief by eliminating the
file.  Since I think we now agree that a block of bytes written out and
read back must produce a block of bytes with identical bits in them....

int *p;
int dummy;
char tmp[sizeof(int *)];

p = &dummy;
memcpy(&tmp[0],&p,sizeof(int *));

/* insert other code here, not touching any
   of these three variables, if you feel like it */

memcpy(&p,&tmp[0],sizeof(int *));

/* at this point, must p == &dummy?  Must a reference to *p access the
   same object a similar reference to dummy would? */

Note that the two questions do not ask quite the same thing, I think.

					der Mouse

			    mouse@larry.mcrcim.mcgill.edu