From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 30009 invoked by alias); 11 Apr 2019 16:27:30 -0000 Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org Received: (qmail 29994 invoked by uid 89); 11 Apr 2019 16:27:29 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-3.2 required=5.0 tests=AWL,BAYES_00,SPF_PASS autolearn=ham version=3.3.1 spammy=H*Ad:D*ucla.edu, HX-Languages-Length:990, H*r:142, H*Ad:D*edu X-HELO: eggs.gnu.org Received: from eggs.gnu.org (HELO eggs.gnu.org) (209.51.188.92) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Thu, 11 Apr 2019 16:27:28 +0000 Received: from fencepost.gnu.org ([2001:470:142:3::e]:58766) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hEcXu-0006mx-H2; Thu, 11 Apr 2019 12:27:26 -0400 Received: from [176.228.60.248] (port=2564 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1hEcXs-00024f-Qd; Thu, 11 Apr 2019 12:27:25 -0400 Date: Thu, 11 Apr 2019 16:27:00 -0000 Message-Id: <83r2a84iee.fsf@gnu.org> From: Eli Zaretskii To: Pedro Alves CC: eggert@cs.ucla.edu, gdb-patches@sourceware.org In-reply-to: <111cf816-c27c-fe5d-7cb8-31375ad1cbc2@redhat.com> (message from Pedro Alves on Thu, 11 Apr 2019 16:54:22 +0100) Subject: Re: reverse execution part of the manual is written backwards References: <5fbd40b5-7887-1000-3457-75190a5d96c0@cs.ucla.edu> <51cb91ba-6bcd-3de9-43d4-c766e2737c88@redhat.com> <831s297vwi.fsf@gnu.org> <111cf816-c27c-fe5d-7cb8-31375ad1cbc2@redhat.com> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-IsSubscribed: yes X-SW-Source: 2019-04/txt/msg00206.txt.bz2 > Cc: eggert@cs.ucla.edu, gdb-patches@sourceware.org > From: Pedro Alves > Date: Thu, 11 Apr 2019 16:54:22 +0100 > > > In any case, I think the Reverse Execution section should say > > something about the conditions for using this mode, regardless of > > whether it precedes or follows the chapter about recording and > > replaying. It probably should simply say what the above URL says at > > its beginning, and then describe the commands to activate the correct > > target, or point to a clear description of those commands elsewhere in > > the manual. Because right now we have a description of record and > > replay, and we have a description of reverse-execution commands, but > > no "glue" to connect them, and there's no reasonable way for a reader > > to guess what to do to bridge over that chasm. > > > > Do you agree? > > > > How about this? LGTM, thanks. Paul, does this address your concerns?