From patchwork Wed Feb 8 15:16:16 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Andrew Burgess X-Patchwork-Id: 64485 Return-Path: X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 3B4013858433 for ; Wed, 8 Feb 2023 15:16:58 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 3B4013858433 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org; s=default; t=1675869418; bh=tEau6OQCr9tQIfnPBl7DI+eV/Kaqe5AaSjqa8dqncIg=; h=To:Cc:Subject:Date:In-Reply-To:References:List-Id: List-Unsubscribe:List-Archive:List-Post:List-Help:List-Subscribe: From:Reply-To:From; b=kqcekPoqBWtUt+qbZu7cI3zy7TRG6+V+LpDbOAKhvT8onllbPoh4W2Pa4j+9YNKWA I2fNZFMUCLtjzyQv4LRhqoZHfArF6+Gg87tqMnVBBEAAYWpLBANnFAhd8WqUV4HQ73 ZaURPVe4Q+sm7zaPdhYPxZFG76ETHLBvPO9Ch+o4= X-Original-To: gdb-patches@sourceware.org Delivered-To: gdb-patches@sourceware.org Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.129.124]) by sourceware.org (Postfix) with ESMTPS id 769603858C50 for ; Wed, 8 Feb 2023 15:16:31 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 769603858C50 Received: from mail-qv1-f71.google.com (mail-qv1-f71.google.com [209.85.219.71]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_128_GCM_SHA256) id us-mta-207-ITXRuBFqMPKgBm9Izjnn0Q-1; Wed, 08 Feb 2023 10:16:29 -0500 X-MC-Unique: ITXRuBFqMPKgBm9Izjnn0Q-1 Received: by mail-qv1-f71.google.com with SMTP id ly4-20020a0562145c0400b0054d2629a759so9898504qvb.16 for ; Wed, 08 Feb 2023 07:16:29 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=tEau6OQCr9tQIfnPBl7DI+eV/Kaqe5AaSjqa8dqncIg=; b=oOijIfjBEiIjI5M3a01S7TgMx66bX/k2t8Z5AlvKBR2EOGMvMeYJPiLD+RGTr1ShcY 489KKxZ9C8w29oauhszdyLmiSNVXPjQ038oEGeKmZR/u5rd2G7nM3gxChrPmVK5rFrxW 3uOwFa9jwDWwVDGnpfkRZRgziAN6VFlXrH+s4QeO+x38W4iwI7FfH4BkFajAZzgAC9sy 2wu1DhlgtKM/RxL7vGhtFyKSBzmN4JBnV4QRnxUgRSabJZNcvBFg9KF+RtzwAqXIytpg Cjnu1TNt0mI0AxDuPnMvuuSj3pdrAyHCZl7C8yvsdMs5MayzEI3J4OgzKeUz+GzQzlxy HCUg== X-Gm-Message-State: AO0yUKVvnX39BeIR2StIUaa+Rc6+i6yuN48McqTUPdBC6YgO30fWiJTy JLlDUPHVgNhImwWofDQtQdo8dg0B5mRT0+DBitnwLuEjBqrV1zN/yLhl5opTB3ErsG5gyul8rrd OQqDCPDmPmlLzzpi4tgUaCisF55RrX3OzyakcTwQVxoNU6EWFNdLX/MJNJq85j2Iib6pzEocy7d wtTiU= X-Received: by 2002:ac8:7d83:0:b0:3b9:b731:bf4d with SMTP id c3-20020ac87d83000000b003b9b731bf4dmr14325287qtd.24.1675869387961; Wed, 08 Feb 2023 07:16:27 -0800 (PST) X-Google-Smtp-Source: AK7set8TUc9/ea0RftvdXBwk8U58poOnhAz4DcvhwQfx74qEDT5YJi+HFAeH8yIpzy5k+XP55/XT2w== X-Received: by 2002:ac8:7d83:0:b0:3b9:b731:bf4d with SMTP id c3-20020ac87d83000000b003b9b731bf4dmr14325209qtd.24.1675869387394; Wed, 08 Feb 2023 07:16:27 -0800 (PST) Received: from localhost (95.72.115.87.dyn.plus.net. [87.115.72.95]) by smtp.gmail.com with ESMTPSA id d19-20020ac847d3000000b003b6325dfc4esm11471528qtr.67.2023.02.08.07.16.26 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 08 Feb 2023 07:16:27 -0800 (PST) To: gdb-patches@sourceware.org Cc: Andrew Burgess Subject: [PATCH 1/2] gdb: only allow one of thread or task on breakpoints or watchpoints Date: Wed, 8 Feb 2023 15:16:16 +0000 Message-Id: X-Mailer: git-send-email 2.25.4 In-Reply-To: References: MIME-Version: 1.0 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com X-Spam-Status: No, score=-11.7 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, KAM_SHORT, RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2, SPF_HELO_NONE, SPF_NONE, TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gdb-patches@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gdb-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: Andrew Burgess via Gdb-patches From: Andrew Burgess Reply-To: Andrew Burgess Errors-To: gdb-patches-bounces+patchwork=sourceware.org@sourceware.org Sender: "Gdb-patches" After this mailing list posting: https://sourceware.org/pipermail/gdb-patches/2023-February/196607.html it seems to me that in practice an Ada task maps 1:1 with a GDB thread, and so it doesn't really make sense to allow uses to give both a thread and a task within a single breakpoint or watchpoint condition. This commit updates GDB so that the user will get an error if both are specified. I've added new tests to cover the CLI as well as the Python and Guile APIs. For the Python and Guile testing, as far as I can tell, this was the first testing for this corner of the APIs, so I ended up adding more than just a single test. For documentation I've added a NEWS entry, but I've not added anything to the docs themselves. Currently we document the commands with a thread-id or task-id as distinct command, e.g.: 'break LOCSPEC task TASKNO' 'break LOCSPEC task TASKNO if ...' 'break LOCSPEC thread THREAD-ID' 'break LOCSPEC thread THREAD-ID if ...' As such, I don't believe there is any indication that combining 'task' and 'thread' would be expected to work; it seems clear to me in the above that those four options are all distinct commands. I think the NEWS entry is enough that if someone is combining these keywords (it's not clear what the expected behaviour would be in this case) then they can figure out that this was a deliberate change in GDB, but for a new user, the manual doesn't suggest combining them is OK, and any future attempt to combine them will give an error. --- gdb/NEWS | 6 +++ gdb/breakpoint.c | 36 ++++++++++++-- gdb/breakpoint.h | 10 ++++ gdb/guile/scm-breakpoint.c | 10 ++++ gdb/python/py-breakpoint.c | 14 ++++++ gdb/testsuite/gdb.ada/tasks.exp | 85 +++++++++++++++++++++++++++++++-- 6 files changed, 153 insertions(+), 8 deletions(-) diff --git a/gdb/NEWS b/gdb/NEWS index 1567cbea9bd..89b9d32817a 100644 --- a/gdb/NEWS +++ b/gdb/NEWS @@ -44,6 +44,12 @@ keyword already gave an error when used multiple times with the watch command, this remains unchanged. +* For both the break and watch commands, it is now invalid to use both + the 'thread' and 'task' keywords within the same command. For + example the following commnds will now give an error: + break foo thread 1 task 1 + watch var thread 2 task 3 + * New commands maintenance print record-instruction [ N ] diff --git a/gdb/breakpoint.c b/gdb/breakpoint.c index adf38e7d722..8963b10d516 100644 --- a/gdb/breakpoint.c +++ b/gdb/breakpoint.c @@ -1454,12 +1454,16 @@ breakpoint_set_silent (struct breakpoint *b, int silent) gdb::observers::breakpoint_modified.notify (b); } -/* Set the thread for this breakpoint. If THREAD is -1, make the - breakpoint work for any thread. */ +/* See breakpoint.h. */ void breakpoint_set_thread (struct breakpoint *b, int thread) { + /* It is invalid to set the thread field to anything other than -1 (which + means no thread restriction) if a task restriction is already in + place. */ + gdb_assert (thread == -1 || b->task == 0); + int old_thread = b->thread; b->thread = thread; @@ -1467,12 +1471,16 @@ breakpoint_set_thread (struct breakpoint *b, int thread) gdb::observers::breakpoint_modified.notify (b); } -/* Set the task for this breakpoint. If TASK is 0, make the - breakpoint work for any task. */ +/* See breakpoint.h. */ void breakpoint_set_task (struct breakpoint *b, int task) { + /* It is invalid to set the task field to anything other than 0 (which + means no task restriction) if a thread restriction is already in + place. */ + gdb_assert (task == 0 || b->thread == -1); + int old_task = b->task; b->task = task; @@ -8438,6 +8446,8 @@ code_breakpoint::code_breakpoint (struct gdbarch *gdbarch_, gdb_assert (!sals.empty ()); + /* At most one of thread or task can be set on any breakpoint. */ + gdb_assert (thread == -1 || task == 0); thread = thread_; task = task_; @@ -8806,6 +8816,9 @@ find_condition_and_thread (const char *tok, CORE_ADDR pc, if (*thread != -1) error(_("You can specify only one thread.")); + if (*task != 0) + error (_("You can specify only one of thread or task.")); + tok = end_tok + 1; thr = parse_thread_id (tok, &tmptok); if (tok == tmptok) @@ -8820,6 +8833,9 @@ find_condition_and_thread (const char *tok, CORE_ADDR pc, if (*task != 0) error(_("You can specify only one task.")); + if (*thread != -1) + error (_("You can specify only one of thread or task.")); + tok = end_tok + 1; *task = strtol (tok, &tmptok, 0); if (tok == tmptok) @@ -8854,7 +8870,7 @@ find_condition_and_thread_for_sals (const std::vector &sals, for (auto &sal : sals) { gdb::unique_xmalloc_ptr cond; - int thread_id = 0; + int thread_id = -1; int task_id = 0; gdb::unique_xmalloc_ptr remaining; @@ -8869,6 +8885,8 @@ find_condition_and_thread_for_sals (const std::vector &sals, find_condition_and_thread (input, sal.pc, &cond, &thread_id, &task_id, &remaining); *cond_string = std::move (cond); + /* At most one of thread or task can be set. */ + gdb_assert (thread_id == -1 || task_id == 0); *thread = thread_id; *task = task_id; *rest = std::move (remaining); @@ -10089,6 +10107,9 @@ watch_command_1 (const char *arg, int accessflag, int from_tty, if (thread != -1) error(_("You can specify only one thread.")); + if (task != 0) + error (_("You can specify only one of thread or task.")); + /* Extract the thread ID from the next token. */ thr = parse_thread_id (value_start, &endp); @@ -10105,6 +10126,9 @@ watch_command_1 (const char *arg, int accessflag, int from_tty, if (task != 0) error(_("You can specify only one task.")); + if (thread != -1) + error (_("You can specify only one of thread or task.")); + task = strtol (value_start, &tmp, 0); if (tmp == value_start) error (_("Junk after task keyword.")); @@ -10280,6 +10304,8 @@ watch_command_1 (const char *arg, int accessflag, int from_tty, else w.reset (new watchpoint (nullptr, bp_type)); + /* At most one of thread or task can be set on a watchpoint. */ + gdb_assert (thread == -1 || task == 0); w->thread = thread; w->task = task; w->disposition = disp_donttouch; diff --git a/gdb/breakpoint.h b/gdb/breakpoint.h index 352e8468537..5228c38fe02 100644 --- a/gdb/breakpoint.h +++ b/gdb/breakpoint.h @@ -1673,8 +1673,18 @@ extern void breakpoint_set_commands (struct breakpoint *b, extern void breakpoint_set_silent (struct breakpoint *b, int silent); +/* Set the thread for this breakpoint. If THREAD is -1, make the + breakpoint work for any thread. Passing a value other than -1 for + THREAD should only be done if b->task is 0; it is not valid to try and + set both a thread and task restriction on a breakpoint. */ + extern void breakpoint_set_thread (struct breakpoint *b, int thread); +/* Set the task for this breakpoint. If TASK is 0, make the breakpoint + work for any task. Passing a value other than 0 for TASK should only be + done if b->thread is -1; it is not valid to try and set both a thread + and task restriction on a breakpoint. */ + extern void breakpoint_set_task (struct breakpoint *b, int task); /* Clear the "inserted" flag in all breakpoints. */ diff --git a/gdb/guile/scm-breakpoint.c b/gdb/guile/scm-breakpoint.c index a7e043d847b..d4f2b7310bd 100644 --- a/gdb/guile/scm-breakpoint.c +++ b/gdb/guile/scm-breakpoint.c @@ -773,6 +773,11 @@ gdbscm_set_breakpoint_thread_x (SCM self, SCM newvalue) gdbscm_out_of_range_error (FUNC_NAME, SCM_ARG2, newvalue, _("invalid thread id")); } + + if (bp_smob->bp->task != 0) + scm_misc_error (FUNC_NAME, + _("cannot set both task and thread attributes"), + SCM_EOL); } else if (gdbscm_is_false (newvalue)) id = -1; @@ -828,6 +833,11 @@ gdbscm_set_breakpoint_task_x (SCM self, SCM newvalue) gdbscm_out_of_range_error (FUNC_NAME, SCM_ARG2, newvalue, _("invalid task id")); } + + if (bp_smob->bp->thread != -1) + scm_misc_error (FUNC_NAME, + _("cannot set both task and thread attributes"), + SCM_EOL); } else if (gdbscm_is_false (newvalue)) id = 0; diff --git a/gdb/python/py-breakpoint.c b/gdb/python/py-breakpoint.c index 1b10ccd5415..52298935242 100644 --- a/gdb/python/py-breakpoint.c +++ b/gdb/python/py-breakpoint.c @@ -270,6 +270,13 @@ bppy_set_thread (PyObject *self, PyObject *newvalue, void *closure) _("Invalid thread ID.")); return -1; } + + if (self_bp->bp->task != 0) + { + PyErr_SetString (PyExc_RuntimeError, + _("Cannot set both task and thread attributes.")); + return -1; + } } else if (newvalue == Py_None) id = -1; @@ -321,6 +328,13 @@ bppy_set_task (PyObject *self, PyObject *newvalue, void *closure) _("Invalid task ID.")); return -1; } + + if (self_bp->bp->thread != -1) + { + PyErr_SetString (PyExc_RuntimeError, + _("Cannot set both task and thread attributes.")); + return -1; + } } else if (newvalue == Py_None) id = 0; diff --git a/gdb/testsuite/gdb.ada/tasks.exp b/gdb/testsuite/gdb.ada/tasks.exp index 88ef123865b..9d4f396e88e 100644 --- a/gdb/testsuite/gdb.ada/tasks.exp +++ b/gdb/testsuite/gdb.ada/tasks.exp @@ -14,6 +14,8 @@ # along with this program. If not, see . load_lib "ada.exp" +load_lib "gdb-guile.exp" +load_lib "gdb-python.exp" require allow_ada_tests @@ -39,17 +41,35 @@ gdb_test "info tasks" \ "\r\n"] \ "info tasks before inserting breakpoint" +# Confirm that the "info threads" output lines up with the tasks list. +gdb_test "info threads" \ + [multi_line \ + "\\*\\s+1\\s+\[^\r\n\]+\\s\"foo\"\\s\[^\r\n\]+" \ + "\\s+2\\s+\[^\r\n\]+\\s\"task_list\\(1\\)\"\\s\[^\r\n\]+" \ + "\\s+3\\s+\[^\r\n\]+\\s\"task_list\\(2\\)\"\\s\[^\r\n\]+" \ + "\\s+4\\s+\[^\r\n\]+\\s\"task_list\\(3\\)\"\\s\[^\r\n\]+"] + # Check that multiple uses of the 'task' keyword will give an error. gdb_test "break break_me task 1 task 3" "You can specify only one task\\." gdb_test "watch j task 1 task 3" "You can specify only one task\\." +# Check that attempting to combine 'task' and 'thread' gives an error. +gdb_test "break break_me task 1 thread 1" \ + "You can specify only one of thread or task\\." +gdb_test "break break_me thread 1 task 1" \ + "You can specify only one of thread or task\\." +gdb_test "watch j task 1 thread 1" \ + "You can specify only one of thread or task\\." +gdb_test "watch j thread 1 task 1" \ + "You can specify only one of thread or task\\." + # Insert a breakpoint that should stop only if task 1 stops. Since # task 1 never calls break_me, this shouldn't actually ever trigger. # The fact that this breakpoint is created _before_ the next one # matters. GDB used to have a bug where it would report the first # breakpoint in the list that matched the triggered-breakpoint's # address, no matter which task it was specific to. -gdb_test "break break_me task 1" "Breakpoint .* at .*" +gdb_breakpoint "break_me task 1" message gdb_test "info breakpoints" "foo.adb:${decimal}\r\n\\s+stop only in task 1" \ "check info breakpoints for task 1 breakpoint" @@ -57,8 +77,67 @@ gdb_test "info breakpoints" "foo.adb:${decimal}\r\n\\s+stop only in task 1" \ # extract its number. gdb_breakpoint "break_me task 3" message set bp_number [get_integer_valueof "\$bpnum" -1] -if {$bp_number < 0} { - return +gdb_assert { $bp_number > 0 } "check for a valid breakpoint number" + +# Test the Python API for the breakpoint task attribute. +if {[allow_python_tests]} { + gdb_test_no_output "python bp = gdb.breakpoints()\[$bp_number - 1\]" + gdb_test "python print(bp.task)" "3" + gdb_test "python print(bp.thread)" "None" + gdb_test "python bp.thread = 1" \ + [multi_line \ + "RuntimeError: Cannot set both task and thread attributes\\." \ + "Error while executing Python code\\."] \ + "try setting the thread, but expect an error" + gdb_test_no_output "python bp.task = None" + gdb_test_no_output "python bp.thread = 1" + gdb_test "python bp.task = 3" \ + [multi_line \ + "RuntimeError: Cannot set both task and thread attributes\\." \ + "Error while executing Python code\\."] \ + "try setting the task, but expect an error" + + # Reset the breakpoint to the state required for the rest of this + # test. + gdb_test_no_output "python bp.thread = None" + gdb_test_no_output "python bp.task = 3" +} + +# Test the Guile API for the breakpoint task attribute. +if {[allow_guile_tests]} { + gdb_install_guile_utils + gdb_install_guile_module + + gdb_scm_test_silent_cmd "guile (define blist (breakpoints))" \ + "get breakpoint list" + gdb_scm_test_silent_cmd "guile (define bp (list-ref blist (- $bp_number 1)))" \ + "get breakpoint from list" + gdb_test "guile (print (breakpoint-task bp))" "= 3" + gdb_test "guile (print (breakpoint-thread bp))" "= #f" + gdb_test "guile (set-breakpoint-thread! bp 1)" \ + [multi_line \ + "ERROR: In procedure set-breakpoint-thread!:" \ + "In procedure gdbscm_set_breakpoint_thread_x: cannot set both task and thread attributes" \ + "Error while executing Scheme code."] \ + "attempt to set thread, but expect an error" + + gdb_scm_test_silent_cmd "guile (set-breakpoint-task! bp #f)" \ + "clear breakpoint task attribute" + gdb_scm_test_silent_cmd "guile (set-breakpoint-thread! bp 1)" \ + "set breakpoint thread now task is unset" + gdb_test "guile (set-breakpoint-task! bp 1)" \ + [multi_line \ + "ERROR: In procedure set-breakpoint-task!:" \ + "In procedure gdbscm_set_breakpoint_task_x: cannot set both task and thread attributes" \ + "Error while executing Scheme code."] \ + "attempt to set task, but expect an error" + + # Reset the breakpoint to the state required for the rest of this + # test. + gdb_scm_test_silent_cmd "guile (set-breakpoint-thread! bp #f)" \ + "clear breakpoint thread attribute" + gdb_scm_test_silent_cmd "guile (set-breakpoint-task! bp 3)" \ + "restore breakpoint task attribute" } gdb_test "info breakpoints" "foo.adb:${decimal}\r\n\\s+stop only in task 3" \ "check info breakpoints for task 3 breakpoint" From patchwork Wed Feb 8 15:16:17 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Andrew Burgess X-Patchwork-Id: 64486 Return-Path: X-Original-To: patchwork@sourceware.org Delivered-To: patchwork@sourceware.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 54E283858410 for ; Wed, 8 Feb 2023 15:17:23 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 54E283858410 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org; s=default; t=1675869443; bh=m3ITgZPLostgYabN73l65NsmmyZyV0Akq3kySWLGyGY=; h=To:Cc:Subject:Date:In-Reply-To:References:List-Id: List-Unsubscribe:List-Archive:List-Post:List-Help:List-Subscribe: From:Reply-To:From; b=rmoDaDeNlH0zD6o6Mj2CvyUn4t8Bzo2NGsW/TWzcu8yQ9ZyuhTQ7vuZpPfxOHsEhq mEUcbXGZWkdFgrV2bbsqPKOHoe5TOsI/GCxvqkBGGaytg/pVAmJuB/I/9/UejplUfo 8BKPV6AloDcKFTtrGNU1tSKVs8TudW5/xf3WyNyk= X-Original-To: gdb-patches@sourceware.org Delivered-To: gdb-patches@sourceware.org Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.129.124]) by sourceware.org (Postfix) with ESMTPS id 7D62F3858C60 for ; Wed, 8 Feb 2023 15:16:32 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 7D62F3858C60 Received: from mail-qk1-f197.google.com (mail-qk1-f197.google.com [209.85.222.197]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_128_GCM_SHA256) id us-mta-247-oDLPsFLEOquQP3TJ_cqDNw-1; Wed, 08 Feb 2023 10:16:31 -0500 X-MC-Unique: oDLPsFLEOquQP3TJ_cqDNw-1 Received: by mail-qk1-f197.google.com with SMTP id u10-20020a05620a0c4a00b00705e77d6207so12140905qki.5 for ; Wed, 08 Feb 2023 07:16:30 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=m3ITgZPLostgYabN73l65NsmmyZyV0Akq3kySWLGyGY=; b=7qN/JIESTKHqJEAYtp+JuZqZwJ18Mx/AMAjDw4CTGcfOimk+atCY2laPchS95tfRpP FJdIT6imdyLSfVTOW8YGLqWqMpf/gzBOF9NwWhy5nfbqs0hV7s52ia8dQiTXOyf9RDR+ K0nrAPiiecM0374RcZolf9Qpk01ZNTGZA+mOLHboNclMY+xpwLMk/E9YTstcZ4BKAzTI sLSRmfogrNQAXbX/u9sKLBLCo3fMaMOdUb02LOL04HtX5JcOKUFQQwfXuL4T7xZz0Phx VrbgJj6ggGGlhrVIvwgrA7jiFWoquKpkNYc0dDNdQ7GVSs5rd23jotLtMclb+iuhiHTG Zu+Q== X-Gm-Message-State: AO0yUKXM3J/4qFMHiyMDzJYEaN6NWPuw7H7AtDg3UZ6kJqJW9giGxHY+ AHv0m7zcUvshpQTABC9t1ELrTKgxzeke3UUVKe5kGwUDQArt7ezAvdwT6xPOmd9cjiy5ulW2f45 BFc5Q6VjOMKGCdhCLTUoZXCKquJnjkUodNTKGZmWCYJlY9AOhJgjpc4z/1We3MfAGCwZSbo446F ya+uw= X-Received: by 2002:a05:6214:c25:b0:56b:eca6:fa25 with SMTP id a5-20020a0562140c2500b0056beca6fa25mr12036862qvd.10.1675869389957; Wed, 08 Feb 2023 07:16:29 -0800 (PST) X-Google-Smtp-Source: AK7set8DspqtDG545LSD2hi3GQHoXXkkzJAKu/rJzrN2+w5Sd5H0kWk+VdDD1YG+INK/HELDEJHD/w== X-Received: by 2002:a05:6214:c25:b0:56b:eca6:fa25 with SMTP id a5-20020a0562140c2500b0056beca6fa25mr12036804qvd.10.1675869389442; Wed, 08 Feb 2023 07:16:29 -0800 (PST) Received: from localhost (95.72.115.87.dyn.plus.net. [87.115.72.95]) by smtp.gmail.com with ESMTPSA id l12-20020a05622a050c00b003b960aad697sm12002514qtx.9.2023.02.08.07.16.28 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 08 Feb 2023 07:16:29 -0800 (PST) To: gdb-patches@sourceware.org Cc: Andrew Burgess Subject: [PATCH 2/2] gdb: use -1 for breakpoint::task default value Date: Wed, 8 Feb 2023 15:16:17 +0000 Message-Id: <6ab8502906e90c53dbb2a758f2e02acab05da4ee.1675869267.git.aburgess@redhat.com> X-Mailer: git-send-email 2.25.4 In-Reply-To: References: MIME-Version: 1.0 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com X-Spam-Status: No, score=-11.7 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2, SPF_HELO_NONE, SPF_NONE, TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: gdb-patches@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gdb-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: Andrew Burgess via Gdb-patches From: Andrew Burgess Reply-To: Andrew Burgess Errors-To: gdb-patches-bounces+patchwork=sourceware.org@sourceware.org Sender: "Gdb-patches" Within the breakpoint struct we have two fields ::thread and ::task which are used for thread or task specific breakpoints. When a breakpoint doesn't have a specific thread or task then these fields have the values -1 and 0 respectively. There's no particular reason (as far as I can tell) why these two "default" values are different, and I find the difference a little confusing. Long term I'd like to potentially fold these two fields into a single field, but that isn't what this commit does. What this commit does is switch to using -1 as the "default" value for both fields, this means that the default for breakpoint::task has changed from 0 to -1. I've updated all the code I can find that relied on the value of 0, and I see no test regressions, especially in gdb.ada/tasks.exp, which still fully passes. There should be no user visible changes after this commit. --- gdb/breakpoint.c | 36 ++++++++++++++++++------------------ gdb/breakpoint.h | 10 +++++----- gdb/guile/scm-breakpoint.c | 6 +++--- gdb/python/py-breakpoint.c | 6 +++--- 4 files changed, 29 insertions(+), 29 deletions(-) diff --git a/gdb/breakpoint.c b/gdb/breakpoint.c index 8963b10d516..4792bc8263d 100644 --- a/gdb/breakpoint.c +++ b/gdb/breakpoint.c @@ -1462,7 +1462,7 @@ breakpoint_set_thread (struct breakpoint *b, int thread) /* It is invalid to set the thread field to anything other than -1 (which means no thread restriction) if a task restriction is already in place. */ - gdb_assert (thread == -1 || b->task == 0); + gdb_assert (thread == -1 || b->task == -1); int old_thread = b->thread; @@ -1476,10 +1476,10 @@ breakpoint_set_thread (struct breakpoint *b, int thread) void breakpoint_set_task (struct breakpoint *b, int task) { - /* It is invalid to set the task field to anything other than 0 (which + /* It is invalid to set the task field to anything other than -1 (which means no task restriction) if a thread restriction is already in place. */ - gdb_assert (task == 0 || b->thread == -1); + gdb_assert (task == -1 || b->thread == -1); int old_task = b->task; @@ -5473,7 +5473,7 @@ bpstat_check_breakpoint_conditions (bpstat *bs, thread_info *thread) evaluating the condition if this isn't the specified thread/task. */ if ((b->thread != -1 && b->thread != thread->global_num) - || (b->task != 0 && b->task != ada_get_task_number (thread))) + || (b->task != -1 && b->task != ada_get_task_number (thread))) { infrun_debug_printf ("incorrect thread or task, not stopping"); bs->stop = false; @@ -6487,7 +6487,7 @@ print_one_breakpoint_location (struct breakpoint *b, { if (b->thread != -1) uiout->field_signed ("thread", b->thread); - else if (b->task != 0) + else if (b->task != -1) uiout->field_signed ("task", b->task); } @@ -6544,7 +6544,7 @@ print_one_breakpoint_location (struct breakpoint *b, uiout->text ("\n"); } - if (!part_of_multiple && b->task != 0) + if (!part_of_multiple && b->task != -1) { uiout->text ("\tstop only in task "); uiout->field_signed ("task", b->task); @@ -8447,7 +8447,7 @@ code_breakpoint::code_breakpoint (struct gdbarch *gdbarch_, gdb_assert (!sals.empty ()); /* At most one of thread or task can be set on any breakpoint. */ - gdb_assert (thread == -1 || task == 0); + gdb_assert (thread == -1 || task == -1); thread = thread_; task = task_; @@ -8763,7 +8763,7 @@ find_condition_and_thread (const char *tok, CORE_ADDR pc, { cond_string->reset (); *thread = -1; - *task = 0; + *task = -1; rest->reset (); bool force = false; @@ -8816,7 +8816,7 @@ find_condition_and_thread (const char *tok, CORE_ADDR pc, if (*thread != -1) error(_("You can specify only one thread.")); - if (*task != 0) + if (*task != -1) error (_("You can specify only one of thread or task.")); tok = end_tok + 1; @@ -8830,7 +8830,7 @@ find_condition_and_thread (const char *tok, CORE_ADDR pc, { char *tmptok; - if (*task != 0) + if (*task != -1) error(_("You can specify only one task.")); if (*thread != -1) @@ -8871,7 +8871,7 @@ find_condition_and_thread_for_sals (const std::vector &sals, { gdb::unique_xmalloc_ptr cond; int thread_id = -1; - int task_id = 0; + int task_id = -1; gdb::unique_xmalloc_ptr remaining; /* Here we want to parse 'arg' to separate condition from thread @@ -8886,7 +8886,7 @@ find_condition_and_thread_for_sals (const std::vector &sals, &task_id, &remaining); *cond_string = std::move (cond); /* At most one of thread or task can be set. */ - gdb_assert (thread_id == -1 || task_id == 0); + gdb_assert (thread_id == -1 || task_id == -1); *thread = thread_id; *task = task_id; *rest = std::move (remaining); @@ -8988,7 +8988,7 @@ create_breakpoint (struct gdbarch *gdbarch, { struct linespec_result canonical; bool pending = false; - int task = 0; + int task = -1; int prev_bkpt_count = breakpoint_count; gdb_assert (ops != NULL); @@ -10060,7 +10060,7 @@ watch_command_1 (const char *arg, int accessflag, int from_tty, the hardware watchpoint. */ bool use_mask = false; CORE_ADDR mask = 0; - int task = 0; + int task = -1; /* Make sure that we actually have parameters to parse. */ if (arg != NULL && arg[0] != '\0') @@ -10107,7 +10107,7 @@ watch_command_1 (const char *arg, int accessflag, int from_tty, if (thread != -1) error(_("You can specify only one thread.")); - if (task != 0) + if (task != -1) error (_("You can specify only one of thread or task.")); /* Extract the thread ID from the next token. */ @@ -10123,7 +10123,7 @@ watch_command_1 (const char *arg, int accessflag, int from_tty, { char *tmp; - if (task != 0) + if (task != -1) error(_("You can specify only one task.")); if (thread != -1) @@ -10305,7 +10305,7 @@ watch_command_1 (const char *arg, int accessflag, int from_tty, w.reset (new watchpoint (nullptr, bp_type)); /* At most one of thread or task can be set on a watchpoint. */ - gdb_assert (thread == -1 || task == 0); + gdb_assert (thread == -1 || task == -1); w->thread = thread; w->task = task; w->disposition = disp_donttouch; @@ -14143,7 +14143,7 @@ breakpoint::print_recreate_thread (struct ui_file *fp) const if (thread != -1) gdb_printf (fp, " thread %d", thread); - if (task != 0) + if (task != -1) gdb_printf (fp, " task %d", task); gdb_printf (fp, "\n"); diff --git a/gdb/breakpoint.h b/gdb/breakpoint.h index 5228c38fe02..03aecd15eff 100644 --- a/gdb/breakpoint.h +++ b/gdb/breakpoint.h @@ -802,9 +802,9 @@ struct breakpoint care. */ int thread = -1; - /* Ada task number for task-specific breakpoint, or 0 if don't + /* Ada task number for task-specific breakpoint, or -1 if don't care. */ - int task = 0; + int task = -1; /* Count of the number of times this breakpoint was taken, dumped with the info, but not used for anything else. Useful for seeing @@ -1680,9 +1680,9 @@ extern void breakpoint_set_silent (struct breakpoint *b, int silent); extern void breakpoint_set_thread (struct breakpoint *b, int thread); -/* Set the task for this breakpoint. If TASK is 0, make the breakpoint - work for any task. Passing a value other than 0 for TASK should only be - done if b->thread is -1; it is not valid to try and set both a thread +/* Set the task for this breakpoint. If TASK is -1, make the breakpoint + work for any task. Passing a value other than -1 for TASK should only + be done if b->thread is -1; it is not valid to try and set both a thread and task restriction on a breakpoint. */ extern void breakpoint_set_task (struct breakpoint *b, int task); diff --git a/gdb/guile/scm-breakpoint.c b/gdb/guile/scm-breakpoint.c index d4f2b7310bd..2931df265d7 100644 --- a/gdb/guile/scm-breakpoint.c +++ b/gdb/guile/scm-breakpoint.c @@ -774,7 +774,7 @@ gdbscm_set_breakpoint_thread_x (SCM self, SCM newvalue) _("invalid thread id")); } - if (bp_smob->bp->task != 0) + if (bp_smob->bp->task != -1) scm_misc_error (FUNC_NAME, _("cannot set both task and thread attributes"), SCM_EOL); @@ -797,7 +797,7 @@ gdbscm_breakpoint_task (SCM self) breakpoint_smob *bp_smob = bpscm_get_valid_breakpoint_smob_arg_unsafe (self, SCM_ARG1, FUNC_NAME); - if (bp_smob->bp->task == 0) + if (bp_smob->bp->task == -1) return SCM_BOOL_F; return scm_from_long (bp_smob->bp->task); @@ -840,7 +840,7 @@ gdbscm_set_breakpoint_task_x (SCM self, SCM newvalue) SCM_EOL); } else if (gdbscm_is_false (newvalue)) - id = 0; + id = -1; else SCM_ASSERT_TYPE (0, newvalue, SCM_ARG2, FUNC_NAME, _("integer or #f")); diff --git a/gdb/python/py-breakpoint.c b/gdb/python/py-breakpoint.c index 52298935242..ecf52a4637c 100644 --- a/gdb/python/py-breakpoint.c +++ b/gdb/python/py-breakpoint.c @@ -271,7 +271,7 @@ bppy_set_thread (PyObject *self, PyObject *newvalue, void *closure) return -1; } - if (self_bp->bp->task != 0) + if (self_bp->bp->task != -1) { PyErr_SetString (PyExc_RuntimeError, _("Cannot set both task and thread attributes.")); @@ -337,7 +337,7 @@ bppy_set_task (PyObject *self, PyObject *newvalue, void *closure) } } else if (newvalue == Py_None) - id = 0; + id = -1; else { PyErr_SetString (PyExc_TypeError, @@ -711,7 +711,7 @@ bppy_get_task (PyObject *self, void *closure) BPPY_REQUIRE_VALID (self_bp); - if (self_bp->bp->task == 0) + if (self_bp->bp->task == -1) Py_RETURN_NONE; return gdb_py_object_from_longest (self_bp->bp->task).release ();