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
next prev parent 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