alias.c:nonoverlapping_component_refs_p

[Neil Booth]

Richard Kenner wrote:-

> Where is *what* documented?  You don't write documention by listing a set of
> assumptions that are *not* true, you list those that *are*.  If some
> assumption is not listed, you are not entitled to make it.  Nowhere is it
> stated that field positions don't overlap or that they are monotonically
> increasing, for that matter.

I think this argument is a good indication that much better and more
detailed documentation of everything about trees is needed, to the
extent that nothing is ambiguous.

I hope you'll update c-tree.texi to document exactly what being a
RECORD_TYPE means.

Neil.