"Joseph S. Myers" <[EMAIL PROTECTED]> writes:
> On Sun, 22 Jan 2006, Richard Sandiford wrote:
>
>> I'm going to regret this, but... I don't follow.  How is Kai's testcase
>> different from:
>> 
>> int ii;
>> double dd;
>> void foo (int *ip, double *dp)
>> {
>>   *ip = 15;
>>   ii = *ip;
>>   *dp = 1.5;
>>   dd = *dp;
>> }
>> 
>> void test (void)
>> {
>>   union { int i; double d; } u;
>>   foo (&u.i, &u.d);
>> }
>
> You have read DR#236 and the subsequent discussions in the past five
> years' WG14 papers (e.g. N1111), right?

No, and I wasn't trying to suggest otherwise, or describe what is
and isn't valid.  And I didn't realise my message justified such
a snide response... but perhaps it did.

I was just trying to point out that Ian's claim that the original code
was valid doesn't reflect what GCC implements.

Richard

Reply via email to