----Original Message----
>From: Shaun Jackman
>Sent: 03 August 2005 19:15
> On 8/3/05, Richard Henderson <[EMAIL PROTECTED]> wrote:
>> It is nevertheless correct. Examine all of the parts of the expression.
>>
>> In particular, "&s->b". What type does it have? In an ideal world, it
>> would be "pointer to unaligned integer". But we have no such type in
>> our type system, so it is "pointer to integer". This expression is ONLY
>> THEN passed to memcpy. At which point we query the argument for its
>> alignment, and get the non-intuitive result.
>>
>> If you instead pass "s" to memcpy, you should get the correct unaligned
>> copy. If that isn't happening, that's a bug.
>
> I'm not sure I understood the last line. s is a structure,
Not if "&s->b" makes any sense it isn't!
cheers,
DaveK
--
Can't think of a witty .sigline today....
