Re: Different invariants about the contents of static links

2006-07-13 Thread DebianTux23
http://earth.google.com/download-earth.html On 7/13/06, DebianTux23 <[EMAIL PROTECTED]> wrote: http://earth.google.com/download-earth.html On 07 Jul 2006 10:11:01 -0700, Ian Lance Taylor < [EMAIL PROTECTED]> wrote: > "Rodney M. Bates" < [EMAIL PROTECTED]> writes: > > > The following example

Re: Different invariants about the contents of static links

2006-07-12 Thread Rodney M. Bates
Well, I agree with what you said about your example, but it's not what I am meaning. See below. Ian Lance Taylor wrote: "Rodney M. Bates" <[EMAIL PROTECTED]> writes: I don't understand this. A pointer to anywhere in an activation record (or even outside it, if outside by a fixed offset) all

Re: Different invariants about the contents of static links

2006-07-11 Thread Ian Lance Taylor
"Rodney M. Bates" <[EMAIL PROTECTED]> writes: > I don't understand this. A pointer to anywhere in an activation record > (or even outside it, if outside by a fixed offset) allows access to > exactly the same set of things as any other, including the value the base > register holds when the activa

Re: Different invariants about the contents of static links

2006-07-11 Thread Rodney M. Bates
Ian Lance Taylor wrote: "Rodney M. Bates" <[EMAIL PROTECTED]> writes: The following example C code and disassembly is compiled by gcc 3.4.3, for i686. It uses two different invariants for what the value of a static link is. Everywhere inside P, static link values are consistently the same

Re: Different invariants about the contents of static links

2006-07-07 Thread Ian Lance Taylor
"Rodney M. Bates" <[EMAIL PROTECTED]> writes: > The following example C code and disassembly is compiled by gcc 3.4.3, > for i686. It uses two different invariants for what the value of > a static link is. Everywhere inside P, static link values are consistently > the same as base pointer (%ebp