Mirror of the gdb-patches mailing list
 help / color / mirror / Atom feed
From: Andrew Cagney <cagney@gnu.org>
To: Daniel Jacobowitz <drow@false.org>
Cc: gdb-patches@sources.redhat.com,
	Michael Elizabeth Chastain <mec.gnu@mindspring.com>,
	vinschen@redhat.com
Subject: Re: [RFC/RFA] gdb.cp/classes.exp: Don't try to print local variable out of scope
Date: Mon, 15 Mar 2004 18:47:00 -0000	[thread overview]
Message-ID: <4055FA23.5020100@gnu.org> (raw)
In-Reply-To: <20040310222918.GA12667@nevyn.them.org>


>>>> >BTW, my proposed replacement is woefully inaccurate, which I should
>>>> >have realized before posting.  I do not have a good solution to this
>>>> >problem without actually turning back time :)
>>
>>> 
>>> I'm wondering what the 3.4 wierdness MichaelC's refering to is.
> 
> 
> I dunno.  But the problem here appears to be that there is a lexical
> block which ends before the epilogue, containing the local variables.
> Unlike the inner scope blocks, this one ends before they are destroyed.
> Maybe that's a bug after all.

GDB can't tell the difference - for a variable that has gone out of 
scope, gdb can't tell if it has or hasn't been destroyed -- it has to 
trust GCC.

However [to play sick mind games] there's nothing in the rule book 
saying that GDB/GCC need to follow the language rules.  It should be 
possible for GCC to manipulate things such that a variable remains 
visible until its location has been reused.

> Now consider this example:
>> 
> 
>>>>> >>> 10 0x10 <stuff>: ret		stuff(int) { }
>>>>> >>> 11 0x20 <main>: push		main() {
>>>>> >>> 12 0x21 <main+1>: push			{
>>>>> >>> 13 0x22 <main+2>: move arg1, i			stuff(i)
>>>>> >>> 14 0x23 <main+3>: call stuff			  "
>>>>> >>> 15                  			}
>>>>> >>> 16 0x25 <main+5>: pop  2; ret	}


Andrew



WARNING: multiple messages have this Message-ID
From: Andrew Cagney <cagney@gnu.org>
To: Daniel Jacobowitz <drow@false.org>
Cc: gdb-patches@sources.redhat.com,
	Michael Elizabeth Chastain <mec.gnu@mindspring.com>,
	vinschen@redhat.com
Subject: Re: [RFC/RFA] gdb.cp/classes.exp: Don't try to print local variable out of scope
Date: Fri, 19 Mar 2004 00:09:00 -0000	[thread overview]
Message-ID: <4055FA23.5020100@gnu.org> (raw)
Message-ID: <20040319000900.6pbg5q-U-93tLiYeWQVLV5_iZO4yDgiGmxDKIMGHxvI@z> (raw)
In-Reply-To: <20040310222918.GA12667@nevyn.them.org>


>>>> >BTW, my proposed replacement is woefully inaccurate, which I should
>>>> >have realized before posting.  I do not have a good solution to this
>>>> >problem without actually turning back time :)
>>
>>> 
>>> I'm wondering what the 3.4 wierdness MichaelC's refering to is.
> 
> 
> I dunno.  But the problem here appears to be that there is a lexical
> block which ends before the epilogue, containing the local variables.
> Unlike the inner scope blocks, this one ends before they are destroyed.
> Maybe that's a bug after all.

GDB can't tell the difference - for a variable that has gone out of 
scope, gdb can't tell if it has or hasn't been destroyed -- it has to 
trust GCC.

However [to play sick mind games] there's nothing in the rule book 
saying that GDB/GCC need to follow the language rules.  It should be 
possible for GCC to manipulate things such that a variable remains 
visible until its location has been reused.

> Now consider this example:
>> 
> 
>>>>> >>> 10 0x10 <stuff>: ret		stuff(int) { }
>>>>> >>> 11 0x20 <main>: push		main() {
>>>>> >>> 12 0x21 <main+1>: push			{
>>>>> >>> 13 0x22 <main+2>: move arg1, i			stuff(i)
>>>>> >>> 14 0x23 <main+3>: call stuff			  "
>>>>> >>> 15                  			}
>>>>> >>> 16 0x25 <main+5>: pop  2; ret	}


Andrew



  reply	other threads:[~2004-03-15 18:47 UTC|newest]

Thread overview: 38+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-03-19  0:09 Michael Elizabeth Chastain
2004-03-09 16:15 ` Michael Elizabeth Chastain
2004-03-19  0:09 ` Andrew Cagney
2004-03-09 20:38   ` Andrew Cagney
2004-03-09 21:27   ` Daniel Jacobowitz
2004-03-09 22:32     ` Andrew Cagney
2004-03-19  0:09       ` Andrew Cagney
2004-03-19  0:09       ` Daniel Jacobowitz
2004-03-10  0:56         ` Daniel Jacobowitz
2004-03-19  0:09         ` Andrew Cagney
2004-03-10  1:51           ` Andrew Cagney
2004-03-10  3:05           ` Daniel Jacobowitz
2004-03-19  0:09             ` Daniel Jacobowitz
2004-03-19  0:09             ` Daniel Jacobowitz
2004-03-10  3:23               ` Daniel Jacobowitz
2004-03-10 22:21               ` Andrew Cagney
2004-03-10 22:29                 ` Daniel Jacobowitz
2004-03-15 18:47                   ` Andrew Cagney [this message]
2004-03-19  0:09                     ` Andrew Cagney
2004-03-19  0:09                   ` Daniel Jacobowitz
2004-03-19  0:09                 ` Andrew Cagney
2004-03-19  0:09     ` Daniel Jacobowitz
  -- strict thread matches above, loose matches on Subject: below --
2004-03-19  0:09 Michael Elizabeth Chastain
2004-03-10  2:06 ` Michael Elizabeth Chastain
2004-03-19  0:09 Corinna Vinschen
2004-03-09 13:00 ` Corinna Vinschen
2004-03-19  0:09 ` Daniel Jacobowitz
2004-03-09 14:17   ` Daniel Jacobowitz
2004-03-19  0:09 Michael Elizabeth Chastain
2004-03-10 23:58 ` Michael Elizabeth Chastain
2004-03-19  0:09 Michael Elizabeth Chastain
2004-03-09 15:27 ` Michael Elizabeth Chastain
2004-03-19  0:09 Michael Elizabeth Chastain
2004-03-09 15:11 ` Michael Elizabeth Chastain
2004-03-09 15:40 ` Corinna Vinschen
2004-03-19  0:09   ` Corinna Vinschen
2004-03-19  0:09 ` Daniel Jacobowitz
2004-03-09 15:20   ` Daniel Jacobowitz

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=4055FA23.5020100@gnu.org \
    --to=cagney@gnu.org \
    --cc=drow@false.org \
    --cc=gdb-patches@sources.redhat.com \
    --cc=mec.gnu@mindspring.com \
    --cc=vinschen@redhat.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox