From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from simark.ca by simark.ca with LMTP id LuinJqFBD2ryEg0AWB0awg (envelope-from ) for ; Thu, 21 May 2026 13:32:17 -0400 Authentication-Results: simark.ca; dkim=pass (2048-bit key; secure) header.d=adacore.com header.i=@adacore.com header.a=rsa-sha256 header.s=google header.b=Uw+ez+sI; dkim-atps=neutral Received: by simark.ca (Postfix, from userid 112) id 8B19E1E024; Thu, 21 May 2026 13:32:17 -0400 (EDT) X-Spam-Checker-Version: SpamAssassin 4.0.1 (2024-03-25) on simark.ca X-Spam-Level: X-Spam-Status: No, score=-2.4 required=5.0 tests=ARC_SIGNED,ARC_VALID,BAYES_00, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,MAILING_LIST_MULTI, RCVD_IN_DNSWL_MED,RCVD_IN_VALIDITY_CERTIFIED_BLOCKED, RCVD_IN_VALIDITY_RPBL_BLOCKED,RCVD_IN_VALIDITY_SAFE_BLOCKED autolearn=ham autolearn_force=no version=4.0.1 Received: from vm01.sourceware.org (vm01.sourceware.org [38.145.34.32]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange x25519 server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by simark.ca (Postfix) with ESMTPS id AFB231E024 for ; Thu, 21 May 2026 13:32:16 -0400 (EDT) Received: from vm01.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id E967348F66D1 for ; Thu, 21 May 2026 17:32:15 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E967348F66D1 Authentication-Results: sourceware.org; dkim=pass (2048-bit key, secure) header.d=adacore.com header.i=@adacore.com header.a=rsa-sha256 header.s=google header.b=Uw+ez+sI Received: from mail-oi1-x22b.google.com (mail-oi1-x22b.google.com [IPv6:2607:f8b0:4864:20::22b]) by sourceware.org (Postfix) with ESMTPS id D40F94BA23EC for ; Thu, 21 May 2026 17:31:52 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org D40F94BA23EC Authentication-Results: sourceware.org; dmarc=pass (p=quarantine dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org D40F94BA23EC Authentication-Results: sourceware.org; arc=none smtp.remote-ip=2607:f8b0:4864:20::22b ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1779384713; cv=none; b=O2QYzJ04THl5Pmjp4VIFg8jphdglaVnB2xPZnB3gOc4xTs3Ij8FJz753mb9JX2+fYeh0xKx81l2XNdXMwjLlmb3VqhxGG8qT/rktAbPCNyqhtHoImQXdjOXrkf7mMW3Jt9cvxN+AZr5qtsJNfyQ4fiC7TccKzMY/j4Yr2uRj7sI= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1779384713; c=relaxed/simple; bh=euw626ryHsSiEeH2EFHa2+vP/TeYy34NYXUh04ET8vY=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=c4zroCHHJxUJ85+xyGW9HixcoGHhhbUOdLOt5utwalqCMpEsEUCq646jsm5xWnilaIi1QF1TUfiO+ieoxXfSzBensnqMpddiu4h3UpiknNnaKkauw1+i41jbn65WqmeAXg4HyxcTK8TLduBAI7fi7niWli2peF1O9M1YbsIdCYc= ARC-Authentication-Results: i=1; sourceware.org; dkim=pass (2048-bit key, secure) header.d=adacore.com header.i=@adacore.com header.a=rsa-sha256 header.s=google header.b=Uw+ez+sI DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org D40F94BA23EC Received: by mail-oi1-x22b.google.com with SMTP id 5614622812f47-484d3c0855aso2545633b6e.3 for ; Thu, 21 May 2026 10:31:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1779384712; x=1779989512; darn=sourceware.org; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=l1Z7EziO8qqFJ2bpnRjUAaChfcjT2WpS5tlEdmH4kPw=; b=Uw+ez+sIt5oHCTwbem6cidV9RY/Ou0aF/J09/JLsePKX5auCjLQkcbvux7Z9zkLYlg jvd9bSNvdlfIEOkhBGnz3Nw3qUKjLTBDgqNsJGVzeWmzAoVSk1Vc6Opl1oRLvLYVY3sq J1+XuEOUD31tX0QXn39VC9koWEC+ahMOMclQEfpX+st+bmKIVuCi1rZUMpoxrOulWrqM lo8Iw7fIBCbm+CnEF6KPEOS0N1J7yW92166jVtQRjrtu7BebuZQPkeu6W6lqOxPHqIrn +1dl33nsfpt6NI66hPM3LaiFMF2aIti+zSax/mpK0gwf4wzdHEhMQ7TlSkLq8nrN9qGg uw9w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1779384712; x=1779989512; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:x-gm-gg:x-gm-message-state:from:to:cc:subject :date:message-id:reply-to; bh=l1Z7EziO8qqFJ2bpnRjUAaChfcjT2WpS5tlEdmH4kPw=; b=NMRriie97zdraFxfkU4x0cVYbNb7EdUQ3CAMgLzMNVNkfCq/xDqzvpobNTsnVjtxUC ErBADJDosL5/AweVWusmejKlib0U4ahcuerB5xioaAc3MOd/g19F36FfXZmlmLTX7VTZ L6fRLfhA5BkIy9pisnFYjPHvwMh4aIh/W/zucAkTeSNukeTskkyA4+/oEzF5/T7KgBwG 9mxvDzkS6j+smMWxtBe3QE7mZi80gE1sqwxYrQDJy+mABF8b9xGzz6Q27gwSHKXF6lhL DhAKPnpBIlHaylbEXC6DJLwzyDY/5DUbB2/gkonynV+SHRdZNQT6AiUut3byUp5FPGi4 GdMw== X-Gm-Message-State: AOJu0YyBOOiv8u2aGrlEPT2NEPutM/yX0ttRSqhZt66VML5aWV2ntRHL YuIC/+3j2wBH5vWrZPO7TsbKJejprsTXPU74776ZiF7sC/HaWMlAJYKJ7T1laEuxmVMH1gDRiYp PYWg= X-Gm-Gg: Acq92OEE4YOOm2xN76uo3WRFr7aJJ2IKUjGZEQMfYvhoxnGPDY0+w6R3jV1vkitcXvN L+csWg8zJ+g90/zjqgdfXd8V8LsdUdGQfj7fPjpV0K8mzCn/dPvSoIkdesAYMhuGBrCQee4paGA mbr6XZOYgAtE3P3SMfdWxBrj4j+Y6CEOCTZhJTmRvmw/YgAsvZlTAXzZwZRvQeik2pUPsuWRAxO d/Blr1waa5fjYcXF+F10VrD534rxxjDgMFLMGkVq0pEKyUwRJSSJe1Un8IIKG2gX25h9hIeCu8O ieRXRC2ik+Z49ETKvA8lMXIYXslSxLbvPYLA3X65OVTmz8hRsKa4g2Dgk9dX6RDwQlcPx3Ara/e Q4TLZwFVLW4hoL4NttUHcofA5FMB2CXHLwLpNVM/4mDlVGxsEal5XVuD1Pildiy0csuJmjkiJbL zJeqq2VcCn3ho5zzd/V8uheotsdf8+uMrrfe3Cw0jWHrw= X-Received: by 2002:a54:4e84:0:b0:482:aebb:e7cf with SMTP id 5614622812f47-4852ed4378amr1763932b6e.41.1779384712147; Thu, 21 May 2026 10:31:52 -0700 (PDT) Received: from bapiya (75-166-225-82.hlrn.qwest.net. [75.166.225.82]) by smtp.gmail.com with ESMTPSA id 5614622812f47-48542fbd35bsm571165b6e.7.2026.05.21.10.31.50 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 21 May 2026 10:31:51 -0700 (PDT) From: Tom Tromey To: Tom Tromey Cc: gdb-patches@sourceware.org Subject: Re: [PATCH 0/3] Improve Ada test coverage In-Reply-To: <20260508-ada-unop-atr-v1-0-6951c4566b82@adacore.com> (Tom Tromey's message of "Fri, 08 May 2026 11:34:15 -0600") References: <20260508-ada-unop-atr-v1-0-6951c4566b82@adacore.com> X-Attribution: Tom Date: Thu, 21 May 2026 11:31:50 -0600 Message-ID: <87y0hc8y9l.fsf@tromey.com> User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-BeenThere: gdb-patches@sourceware.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Gdb-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gdb-patches-bounces~public-inbox=simark.ca@sourceware.org >>>>> "Tom" == Tom Tromey writes: Tom> I recently looked at code coverage of gdb's test suite. This found a Tom> few holes in the Ada test coverage. This short series fixes a few of Tom> these. (There's at least one more hole to cover.) I'm checking these in. Tom