On Wed, May 30, 2007 at 09:06:08AM +0200, Geert Uytterhoeven wrote:
[...]
quoted text
> > >=20
> > > I think it could be tightened up even if it happens not to warn?
> >=20
> >=20
> > struct a {
> > 	struct not_yet_defined *start, *end;
> > };
> >=20
> > struct not_yet_defined {
> > 	void *foo;
> > };
> >=20
> > Is a valid and gives no warnings.
>=20
> 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 how
much space the struct occupies.

Type checking is by definition futile with void * pointer, but for all
other 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 referencing
structures.

A one-pass-compiler-linker would run into problems.

Joerg, trying to recall compiler construction lessons