"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 are compatible and (b) whenever two structure or union types > are required to be compatible, including by (a), they are in the > same class. If there does not exist such a partition, the > behavior is undefined. > > This is intended to be consistent with all the analysis in N1226.
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 gives the same effect (which I think it does)?
