Mirror of the gdb-patches mailing list
 help / color / mirror / Atom feed
From: Eli Zaretskii <eliz@gnu.org>
To: Hev <r@hev.cc>
Cc: gdb-patches@sourceware.org
Subject: Re: [PATCH] Fix read and access watchpoint can't stop
Date: Thu, 18 Jun 2020 16:35:01 +0300	[thread overview]
Message-ID: <83tuz8zed6.fsf@gnu.org> (raw)
In-Reply-To: <CAHirt9i9V1hQXzUaouwLZ5TjAYMNEFARA=UtGvZy7ktHDjA5Vw@mail.gmail.com> (message from Hev on Thu, 18 Jun 2020 10:05:14 +0800)

> From: Hev <r@hev.cc>
> Date: Thu, 18 Jun 2020 10:05:14 +0800
> Cc: gdb-patches@sourceware.org
> 
> > >       /* We were stopped by a hardware watchpoint, but the target could
> > >          not report the data address.  We must check the watchpoint's
> > >          value.  Access and read watchpoints are out of luck; without
> >
> > The comment below the line you suggest to modify explains why we don't
> > handle access and read watchpoints here.  So I don't understand the
> > rationale for this change (it might be a good idea to explain it in
> > more detail in the log message).  What am I missing?
> >
> > Thanks.
> 
> This problem only occurs on the target that target_stopped_data_address() returns false, and
> b->watchpoint_triggered is set to  watch_triggered_unknown when watchpoint is triggered. so, In
> bpstat_check_watchpoint(), the last branch needs to be hit to enable check value:
> 
>  4961       int must_check_value = 0;
>  4962
>  4963       if (b->type == bp_watchpoint)
>  4964     /* For a software watchpoint, we must always check the
>  4965        watched value.  */
>  4966     must_check_value = 1;
>  4967       else if (b->watchpoint_triggered == watch_triggered_yes)
>  4968     /* We have a hardware watchpoint (read, write, or access)
>  4969        and the target earlier reported an address watched by
>  4970        this watchpoint.  */
>  4971     must_check_value = 1;
>  4972       else if (b->watchpoint_triggered == watch_triggered_unknown
>  4973            && b->type == bp_hardware_watchpoint)
>  4974     /* We were stopped by a hardware watchpoint, but the target could
>  4975        not report the data address.  We must check the watchpoint's
>  4976        value.  Access and read watchpoints are out of luck; without
>  4977        a data address, we can't figure it out.  */
>  4978     must_check_value = 1;
> 
> However, the b->type is the actual watchpoint type, bp_hardware_watchpoint for write-only,
> bp_read_watchpoint for read-only, and bp_access_watchpoint for read-write, so it will not hit when read-only
> and read-write watching.
> 
> On mips we don't know the low order 3 bits of the data address, so we must return false in
> stopped_data_address(). This is why we have not found the problem on other platforms (x86/Aarch64/...).

I understand, but how will this work on MIPS, given that
is_hardware_watchpoint allows any type of watchpoints?  How will GDB
know which watchpoint triggered if there's no address?

And what is the value of bs->breakpoint_at, and how is it different
from b->type?

Thanks.


  reply	other threads:[~2020-06-18 13:35 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-06-17 16:17 Heiher
2020-06-17 16:38 ` Eli Zaretskii
2020-06-18  2:05   ` Hev
2020-06-18 13:35     ` Eli Zaretskii [this message]
2020-06-18 15:35       ` Hev

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=83tuz8zed6.fsf@gnu.org \
    --to=eliz@gnu.org \
    --cc=gdb-patches@sourceware.org \
    --cc=r@hev.cc \
    /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