Re: DR#314 update

2007-04-27 Thread Geoffrey Keating
On 27/04/2007, at 2:50 AM, Joseph S. Myers wrote: On Fri, 26 Apr 2007, Geoffrey Keating wrote: This seems reasonable to me, but maybe it would be simpler to write If there are one or more incomplete structure or union types which cannot all be completed without producing undefined behaviour,

Re: DR#314 update

2007-04-27 Thread Joseph S. Myers
On Fri, 26 Apr 2007, Geoffrey Keating wrote: > This seems reasonable to me, but maybe it would be simpler to write > > If there are one or more incomplete structure or union types which > cannot all be completed without producing undefined behaviour, the > behaviour is undefined. > > if that giv

Re: DR#314 update

2007-04-26 Thread Geoffrey Keating
"Joseph S. Myers" <[EMAIL PROTECTED]> writes: > Proposed amendment for C1x: > > 6.2.7 after paragraph 2 insert: There shall exist a partition of > all the structure and union types in the program into disjoint > classes such that (a) if two types are in the same class, then > they

DR#314 update

2007-04-25 Thread Joseph S. Myers
Recall that C99 DR#314 deals with cross-translation unit type compatibility issues raised on this list with optimizing multiple translation units together. N1226 further di