[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20070530082035.GA8200@Redstar.dorchain.net>
Date: Wed, 30 May 2007 10:20:35 +0200
From: Joerg Dorchain <joerg@...chain.net>
To: Geert Uytterhoeven <geert@...ux-m68k.org>
Cc: Eric Dumazet <dada1@...mosbay.com>,
Andrew Morton <akpm@...ux-foundation.org>,
Linus Torvalds <torvalds@...ux-foundation.org>,
linux-kernel@...r.kernel.org, linux-m68k@...r.kernel.org,
Roman Zippel <zippel@...ux-m68k.org>
Subject: Re: [patch 1/2] m68k: runtime patching infrastructure
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 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
Download attachment "signature.asc" of type "application/pgp-signature" (190 bytes)
Powered by blists - more mailing lists