Message ID | 20231205-ada-overload-v1-0-9d97ac80a60e@adacore.com |
---|---|
Headers |
Return-Path: <gdb-patches-bounces+patchwork=sourceware.org@sourceware.org> 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 B497E386CE4D for <patchwork@sourceware.org>; Tue, 5 Dec 2023 15:37:46 +0000 (GMT) X-Original-To: gdb-patches@sourceware.org Delivered-To: gdb-patches@sourceware.org Received: from mail-io1-xd29.google.com (mail-io1-xd29.google.com [IPv6:2607:f8b0:4864:20::d29]) by sourceware.org (Postfix) with ESMTPS id 4802738449FD for <gdb-patches@sourceware.org>; Tue, 5 Dec 2023 15:37:14 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 4802738449FD Authentication-Results: sourceware.org; dmarc=pass (p=none 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 4802738449FD Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2607:f8b0:4864:20::d29 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1701790635; cv=none; b=mlK7qhqSiIPLcdVbYgA8Bj7PEshcMwWkNDzb3lsNzISNa1bjdjRE9BLqzg3sQZjerDEhjYvf4We2QUflrXrn/bk/d0KkLeLN7WN/doMwQeTKrQRCa5KxV7UKDhqHQOQIDuRiFGgbNnZPIJX91hvfLLZKjFwYsIjA5S8cPElbNBA= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1701790635; c=relaxed/simple; bh=2ySkrIksebLHueYD290CCvaoeiSla3pW6NuCBlqAlHE=; h=DKIM-Signature:From:Subject:Date:Message-Id:MIME-Version:To; b=Cl75Hp8gek6MsadMf8bjTft+Zt7CQ51dR7pkJc66ElOn+nvTYIQANaOR7bYwjdtxlbAeBvdgm1hV+rL1M9m98sCTgZYII/ZSJFyzfzLo0UDfUKIqjm8P6R3yhmP0keTaquncreYsupvoBAMgvjrc8rVqJjuPQSNFT1+UKfj6C14= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-io1-xd29.google.com with SMTP id ca18e2360f4ac-7b3bc70fca5so143224539f.1 for <gdb-patches@sourceware.org>; Tue, 05 Dec 2023 07:37:14 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1701790633; x=1702395433; darn=sourceware.org; h=to:content-transfer-encoding:mime-version:message-id:date:subject :from:from:to:cc:subject:date:message-id:reply-to; bh=SPb6x1pGAbaiC6CsVarCTiYmBwd7pLLsTJtQ+CNGpJE=; b=ZWzw4uUPNUEYlPKpX8DDtCSIAnTLs+cpOEdVh5g7Wh3OkfQg115TB9DnDS+A4i+JtU gi+FpZD2f/K0f365OIMWiWcNziH4bZ7qhijAdlFpLgnbON4l6ctih2Wev2Ta69JFtX5p wQodk6KfbRag6jGti12fCkaxA90Heccv9iG2VrHTyoX0STgdxbtFXYLFIy8IOmt8PDtY vCABHNfeUSQo9OZgMMf+dBFquiLhKSiWPCJNBTboZXCKgA80IsYLE8rhR99PqXG4oaMX ghb4ORJDYCQUV4dPsAy3HvEzW2H7HMPpAnshjAsZ9jPA9vR9n4SgFtonURAhAcJZUp/l h7mA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1701790633; x=1702395433; h=to:content-transfer-encoding:mime-version:message-id:date:subject :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=SPb6x1pGAbaiC6CsVarCTiYmBwd7pLLsTJtQ+CNGpJE=; b=rW46LjoiI+0Qmfbf/aPMxWJK+Zw2RHhEsvtsvyp58Mei8vpEuK8Nn3zLFon8YHIvEX EG3FcYvHC90YV81rK1RYxKFWUh5EPbm6aBPAWFSqbsyQtrLqQOVYJWrb9FnFTLL/unzV gSsm0vrhh9H14Q6cND8WkOa16FxswCRWsWUFeikds4HXG4CeMgjTuku591XkF4NH17Ri wPROA+GNqVG7r2+0emlyW0JHexZtuzhgXSI0bwMZm7MKjgGZ7fX2c23Bz5AheAGQISHb GFlWzAiCDzljLf1eR5qT63gISnXTXKys2cnJjPGbVBclLRI4ICOJOMV1pK9QZK7mIc54 Ym3w== X-Gm-Message-State: AOJu0YwxYI/VfuZYPTMMYkDGjeC4TReT5YY3/oUxHUNeHTlZQExlkeIL G2CTL12mhhh46mDkO8AsrIGb1ee9DhNjjVP0pb4= X-Google-Smtp-Source: AGHT+IFFEJBtaXjuqFbyqGXRV48XCPWk3t0HHXjMbWLE8QiOnbduSVOMkJk8mFp5otEXAcjnwOY1Ig== X-Received: by 2002:a6b:6013:0:b0:7b3:4e7d:fcbc with SMTP id r19-20020a6b6013000000b007b34e7dfcbcmr1416943iog.6.1701790633408; Tue, 05 Dec 2023 07:37:13 -0800 (PST) Received: from localhost.localdomain (97-122-77-73.hlrn.qwest.net. [97.122.77.73]) by smtp.gmail.com with ESMTPSA id y19-20020a02c013000000b00466a2a9e5b0sm3152510jai.32.2023.12.05.07.37.12 for <gdb-patches@sourceware.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 05 Dec 2023 07:37:12 -0800 (PST) From: Tom Tromey <tromey@adacore.com> Subject: [PATCH 0/2] Improve Ada overload handling Date: Tue, 05 Dec 2023 08:37:11 -0700 Message-Id: <20231205-ada-overload-v1-0-9d97ac80a60e@adacore.com> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit X-B4-Tracking: v=1; b=H4sIAKdDb2UC/x3MQQrCQAxG4auUrA00U6zgVcRF2vm1AZ2RRIpQe ndHl9/ivY0Cbgg6dxs5VgurpUEOHc2LljvYcjOlPg2S+iNrVq4r/FE1c1KMCSIyjCdqyctxs89 /d7k2TxrgybXMy2/y1HjDad+/DKm7sHcAAAA= To: gdb-patches@sourceware.org X-Mailer: b4 0.12.4 X-Spam-Status: No, score=-5.7 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE 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.30 Precedence: list List-Id: Gdb-patches mailing list <gdb-patches.sourceware.org> List-Unsubscribe: <https://sourceware.org/mailman/options/gdb-patches>, <mailto:gdb-patches-request@sourceware.org?subject=unsubscribe> List-Archive: <https://sourceware.org/pipermail/gdb-patches/> List-Post: <mailto:gdb-patches@sourceware.org> List-Help: <mailto:gdb-patches-request@sourceware.org?subject=help> List-Subscribe: <https://sourceware.org/mailman/listinfo/gdb-patches>, <mailto:gdb-patches-request@sourceware.org?subject=subscribe> Errors-To: gdb-patches-bounces+patchwork=sourceware.org@sourceware.org |
Series |
Improve Ada overload handling
|
|
Message
Tom Tromey
Dec. 5, 2023, 3:37 p.m. UTC
This short series slightly improves Ada overload handling, removing the need for the overload menu in some cases. While it may not be possible to fully implement Ada overload resolution, I think more improvements along these lines can be made. --- Tom Tromey (2): Boolify ada_type_match Refine Ada overload matching gdb/ada-lang.c | 55 +++++++++++++++++++-------- gdb/testsuite/gdb.ada/overloads.exp | 33 ++++++++++++++++ gdb/testsuite/gdb.ada/overloads/overloads.adb | 41 ++++++++++++++++++++ 3 files changed, 113 insertions(+), 16 deletions(-) --- base-commit: de501587c2ed91b4bc2a3d5228d59f6544427ab9 change-id: 20231205-ada-overload-2ae62e111367 Best regards,
Comments
>>>>> "Tom" == Tom Tromey <tromey@adacore.com> writes:
Tom> This short series slightly improves Ada overload handling, removing
Tom> the need for the overload menu in some cases.
Tom> While it may not be possible to fully implement Ada overload
Tom> resolution, I think more improvements along these lines can be made.
I'm checking this in now.
Tom