From: Ulrich Weigand <weigand@i1.informatik.uni-erlangen.de>
To: cagney@gnu.org (Andrew Cagney)
Cc: weigand@i1.informatik.uni-erlangen.de (Ulrich Weigand),
gdb-patches@sources.redhat.com
Subject: Re: [PATCH] Fix signals.exp test case on S/390
Date: Fri, 19 Mar 2004 00:09:00 -0000 [thread overview]
Message-ID: <200403111711.SAA06213@faui1d.informatik.uni-erlangen.de> (raw)
In-Reply-To: <40508EDA.1080502@gnu.org> from "Andrew Cagney" at Mar 11, 2004 11:07:54 AM
Andrew Cagney wrote:
> > It will run into the first if, and simply use step_frame_id,
> > which is wrong in this case. That's why my patch add another
> > condition to the first if, to make it not taken and actually
> > use the (correct) get_prev_frame case.
>
> Where is step_frame_id pointing?
To the function that was interrupted by the signal (i.e. the
function where I entered 'next').
> Anyway, I think this code:
> > if (frame_id_p (step_frame_id)
> > && !IN_SOLIB_DYNSYM_RESOLVE_CODE (sr_sal.pc))
> > /* NOTE: cagney/2004-02-27: Use the global state's idea of the
> > stepping frame ID. I suspect this is done as it is lighter
> > weight than a call to get_prev_frame. */
> > sr_id = step_frame_id;
> should simply be deleted. I wondered about it and you've just confirmed
> my suspicions. With that code gone is half the problem solved?
Yes, deleting this works just fine for me, in fact ...
> That leaves the other problem, which is much harder :-(
... it even solves the other problem as well!
The reason for this is that the whole problematic if
that uses frame_id_inner becomes irrelevant:
if (pc_in_sigtramp (stop_pc)
&& frame_id_inner (step_frame_id,
frame_id_build (read_sp (), 0)))
/* We stepped out of a signal handler, and into its
calling trampoline. This is misdetected as a
subroutine call, but stepping over the signal
trampoline isn't such a bad idea. In order to do that,
we have to ignore the value in step_frame_id, since
that doesn't represent the frame that'll reach when we
return from the signal trampoline. Otherwise we'll
probably continue to the end of the program. */
step_frame_id = null_frame_id;
step_over_function (ecs);
With those lines in step_over_function deleted, step_over_function
does not care about step_frame_id at all any more, and thus there
is no need to fiddle with step_frame_id here ...
> > Finally, the patch below reintroduces a pc_in_sigtramp
> > gdbarch callback to s390-tdep.c; I had thought this would
> > be no longer necessary when using the new frame code, but
> > apparently there's still other users ...
>
> Yes, it shouldn't be needed. get_frame_type == SIGTRAMP_FRAME is
> sufficient. work-in-progress.
Actually, when deleting the lines in step_over_function, it turns
out that I don't need pc_in_sigtramp any more ...
Summing up: after completely reverting my patch, and simply
deleting those lines, I get a gdb that passes signals.exp
(and has no test suite regressions), and also handles stepping
out of a signal handler correctly.
Bye,
Ulrich
--
Dr. Ulrich Weigand
weigand@informatik.uni-erlangen.de
WARNING: multiple messages have this Message-ID
From: Ulrich Weigand <weigand@i1.informatik.uni-erlangen.de>
To: cagney@gnu.org (Andrew Cagney)
Cc: weigand@i1.informatik.uni-erlangen.de (Ulrich Weigand),
gdb-patches@sources.redhat.com
Subject: Re: [PATCH] Fix signals.exp test case on S/390
Date: Thu, 11 Mar 2004 17:11:00 -0000 [thread overview]
Message-ID: <200403111711.SAA06213@faui1d.informatik.uni-erlangen.de> (raw)
Message-ID: <20040311171100.vf3EyAkFiSzoWPBaSZWRPksMGSIioZSlYkz9WaRmdvA@z> (raw)
In-Reply-To: <40508EDA.1080502@gnu.org> from "Andrew Cagney" at Mar 11, 2004 11:07:54 AM
Andrew Cagney wrote:
> > It will run into the first if, and simply use step_frame_id,
> > which is wrong in this case. That's why my patch add another
> > condition to the first if, to make it not taken and actually
> > use the (correct) get_prev_frame case.
>
> Where is step_frame_id pointing?
To the function that was interrupted by the signal (i.e. the
function where I entered 'next').
> Anyway, I think this code:
> > if (frame_id_p (step_frame_id)
> > && !IN_SOLIB_DYNSYM_RESOLVE_CODE (sr_sal.pc))
> > /* NOTE: cagney/2004-02-27: Use the global state's idea of the
> > stepping frame ID. I suspect this is done as it is lighter
> > weight than a call to get_prev_frame. */
> > sr_id = step_frame_id;
> should simply be deleted. I wondered about it and you've just confirmed
> my suspicions. With that code gone is half the problem solved?
Yes, deleting this works just fine for me, in fact ...
> That leaves the other problem, which is much harder :-(
... it even solves the other problem as well!
The reason for this is that the whole problematic if
that uses frame_id_inner becomes irrelevant:
if (pc_in_sigtramp (stop_pc)
&& frame_id_inner (step_frame_id,
frame_id_build (read_sp (), 0)))
/* We stepped out of a signal handler, and into its
calling trampoline. This is misdetected as a
subroutine call, but stepping over the signal
trampoline isn't such a bad idea. In order to do that,
we have to ignore the value in step_frame_id, since
that doesn't represent the frame that'll reach when we
return from the signal trampoline. Otherwise we'll
probably continue to the end of the program. */
step_frame_id = null_frame_id;
step_over_function (ecs);
With those lines in step_over_function deleted, step_over_function
does not care about step_frame_id at all any more, and thus there
is no need to fiddle with step_frame_id here ...
> > Finally, the patch below reintroduces a pc_in_sigtramp
> > gdbarch callback to s390-tdep.c; I had thought this would
> > be no longer necessary when using the new frame code, but
> > apparently there's still other users ...
>
> Yes, it shouldn't be needed. get_frame_type == SIGTRAMP_FRAME is
> sufficient. work-in-progress.
Actually, when deleting the lines in step_over_function, it turns
out that I don't need pc_in_sigtramp any more ...
Summing up: after completely reverting my patch, and simply
deleting those lines, I get a gdb that passes signals.exp
(and has no test suite regressions), and also handles stepping
out of a signal handler correctly.
Bye,
Ulrich
--
Dr. Ulrich Weigand
weigand@informatik.uni-erlangen.de
next prev parent reply other threads:[~2004-03-11 17:11 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-03-19 0:09 Ulrich Weigand
2004-03-11 0:09 ` Ulrich Weigand
2004-03-19 0:09 ` Andrew Cagney
2004-03-11 16:08 ` Andrew Cagney
2004-03-19 0:09 ` Ulrich Weigand [this message]
2004-03-11 17:11 ` Ulrich Weigand
2004-03-15 17:12 ` [commit] Don't use STEP_FRAME_ID; Was: " Andrew Cagney
2004-03-17 19:15 ` [commit] Don't use STEP_FRAME_ID; Was: [PATCH] Fix signals.exp test Ulrich Weigand
2004-03-19 0:09 ` Ulrich Weigand
2004-03-19 0:09 ` [commit] Don't use STEP_FRAME_ID; Was: [PATCH] Fix signals.exp test case on S/390 Andrew Cagney
-- strict thread matches above, loose matches on Subject: below --
2004-03-10 20:32 Ulrich Weigand
2004-03-10 23:25 ` Andrew Cagney
2004-03-19 0:09 ` Andrew Cagney
2004-03-19 0:09 ` Ulrich Weigand
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=200403111711.SAA06213@faui1d.informatik.uni-erlangen.de \
--to=weigand@i1.informatik.uni-erlangen.de \
--cc=cagney@gnu.org \
--cc=gdb-patches@sources.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