From: "Philippe Mathieu-Daudé" <philmd@redhat.com>
To: Pavel Dovgalyuk <pavel.dovgalyuk@ispras.ru>, qemu-devel@nongnu.org
Cc: pbonzini@redhat.com, alex.bennee@linaro.org
Subject: Re: [PATCH] replay: remove some dead code
Date: Thu, 5 Nov 2020 15:03:45 +0100 [thread overview]
Message-ID: <2441181c-63de-f9b7-4eca-ab4553db9db6@redhat.com> (raw)
In-Reply-To: <160455661411.3455.4177953912304752892.stgit@pasha-ThinkPad-X280>
On 11/5/20 7:10 AM, Pavel Dovgalyuk wrote:
> This patch removes dead code in replay_continue_stop() function.
>
> Signed-off-by: Pavel Dovgalyuk <pavel.dovgalyuk@ispras.ru>
> Reported-by: Philippe Mathieu-Daudé <philmd@redhat.com>
This is actually Coverity (CID 1433220).
Fixes: cda382594b7 ("gdbstub: add reverse continue support in replay mode")
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Thanks for the fix!
> ---
> replay/replay-debugging.c | 3 ---
> 1 file changed, 3 deletions(-)
>
> diff --git a/replay/replay-debugging.c b/replay/replay-debugging.c
> index ee9e86daa9..1d6a968406 100644
> --- a/replay/replay-debugging.c
> +++ b/replay/replay-debugging.c
> @@ -278,7 +278,6 @@ static void replay_continue_stop(void *opaque)
> replay_continue_end();
> }
> replay_last_snapshot = replay_get_current_icount();
> - return;
> } else {
> /* Seek to the very first step */
> replay_seek(0, replay_stop_vm_debug, &err);
> @@ -286,9 +285,7 @@ static void replay_continue_stop(void *opaque)
> error_free(err);
> replay_continue_end();
> }
> - return;
> }
> - replay_continue_end();
> }
>
> bool replay_reverse_continue(void)
>
prev parent reply other threads:[~2020-11-05 14:07 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-11-05 6:10 [PATCH] replay: remove some dead code Pavel Dovgalyuk
2020-11-05 14:03 ` Philippe Mathieu-Daudé [this message]
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=2441181c-63de-f9b7-4eca-ab4553db9db6@redhat.com \
--to=philmd@redhat.com \
--cc=alex.bennee@linaro.org \
--cc=pavel.dovgalyuk@ispras.ru \
--cc=pbonzini@redhat.com \
--cc=qemu-devel@nongnu.org \
/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;
as well as URLs for NNTP newsgroup(s).