On Wed, May 30, 2007 at 09:06:08AM +0200, Geert Uytterhoeven wrote:[...]> > > > > > I think it could be tightened up even if it happens not to warn?> > > > > > struct a {> > struct not_yet_defined *start, *end;> > };> > > > struct not_yet_defined {> > void *foo;> > };> > > > Is a valid and gives no warnings.> > I was puzzled by this as well, as there were no compiler warnings...

Pointers are (at least on m68k) of known size, so the compiler knows howmuch space the struct occupies.

Type checking is by definition futile with void * pointer, but for allother cases the compiler has all types and sizes it needs at this point.

The actual dereferencing of the symbol table is done by the linker,which also knows all locations and sizes it needs.

Actually, this is the only way to define circular referencingstructures.