From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from simark.ca by simark.ca with LMTP id sLakNuTlF2mJOgMAWB0awg (envelope-from ) for ; Fri, 14 Nov 2025 21:31:00 -0500 Received: by simark.ca (Postfix, from userid 112) id CD4B71E04C; Fri, 14 Nov 2025 21:31:00 -0500 (EST) X-Spam-Checker-Version: SpamAssassin 4.0.1 (2024-03-25) on simark.ca X-Spam-Level: X-Spam-Status: No, score=-2.3 required=5.0 tests=ARC_SIGNED,ARC_VALID,BAYES_00, 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 server2.sourceware.org (server2.sourceware.org [8.43.85.97]) (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 C65B11E04C for ; Fri, 14 Nov 2025 21:30:59 -0500 (EST) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 25D4E3858D21 for ; Sat, 15 Nov 2025 02:30:59 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 25D4E3858D21 Received: from angie.orcam.me.uk (angie.orcam.me.uk [IPv6:2001:4190:8020::34]) by sourceware.org (Postfix) with ESMTP id 03A603858D21 for ; Sat, 15 Nov 2025 02:30:22 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 03A603858D21 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=orcam.me.uk Authentication-Results: sourceware.org; spf=none smtp.mailfrom=orcam.me.uk ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 03A603858D21 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2001:4190:8020::34 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1763173822; cv=none; b=JMblu8mO8PlUXpSxDWlG0Aa5Te2NZgiKQfzz0+YFV7mxJYR5c45p5geIesPYMYKbdI0m3jq5lD7nGpIU+pncz3E3szYaYSZJGz7K1GoGiQ3mB3ELGi0JGUsrbxbU8/xqtOfYJutcuJnbWJgNf6fHEcrEBUsLb9XympZ+qJ25sAY= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1763173822; c=relaxed/simple; bh=+x9aMINCZe9HV3tvyMRAG/VNkI0SF2zL6BDto2+TdME=; h=Date:From:To:Subject:Message-ID:MIME-Version; b=vH+RXFkF40uOBljru4sIWywvCo5jgzBfSH5BG+G+U77mopGpmjlfzpX0Um3ji21EH4tyC4103CGzOZ3slwXqkAQtJgyQqjWtWOb8fDVaE1Wc9woKKemextZixBa63Sq3OvSsNSqjlQEOWOn9+Ja28U5UC6cT3v7vAMC4u7ZMHgM= ARC-Authentication-Results: i=1; server2.sourceware.org DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 03A603858D21 Received: by angie.orcam.me.uk (Postfix, from userid 500) id E3E4192009C; Sat, 15 Nov 2025 03:30:20 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by angie.orcam.me.uk (Postfix) with ESMTP id E1D3F92009B; Sat, 15 Nov 2025 02:30:20 +0000 (GMT) Date: Sat, 15 Nov 2025 02:30:20 +0000 (GMT) From: "Maciej W. Rozycki" To: Paul Koning cc: Tom Tromey , Tom de Vries , gdb-patches@sourceware.org Subject: Re: [PATCH] Mark Pascal as case-insensitive In-Reply-To: <87AA3F28-5E27-49F2-A2C6-D14BA082A830@comcast.net> Message-ID: References: <20251113162811.616219-1-tromey@adacore.com> <87ecq0whxx.fsf@tromey.com> <87AA3F28-5E27-49F2-A2C6-D14BA082A830@comcast.net> User-Agent: Alpine 2.21 (DEB 202 2017-01-01) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII 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 On Fri, 14 Nov 2025, Paul Koning wrote: > > Tom> FWIW, I just found DW_AT_identifier_case: > > Tom> ... > > Tom> <0>: Abbrev Number: 1 (DW_TAG_compile_unit) > > Tom> DW_AT_name : > > Tom> ../../../../src/gdb/testsuite/gdb.pascal/hello.pas > > Tom> <3f> DW_AT_producer : Free Pascal 3.2.2 2025/09/10 > > Tom> <5c> DW_AT_comp_dir : > > Tom> /data/vries/gdb/leap-16-0/build/gdb/testsuite/ > > Tom> <8b> DW_AT_language : 9 (ANSI Pascal) > > Tom> <8c> DW_AT_identifier_case: 3 (case_insensitive) > > Tom> <8d> DW_AT_stmt_list : 0 > > Tom> <91> DW_AT_low_pc : 0x401090 > > Tom> <99> DW_AT_high_pc : 0x401150 > > Tom> ... > > Tom> which enables a finer granularity. We currently don't support this, > > Tom> but I'm not sure if that's a relevant feature. > > > > I also didn't know about this. > > > > We could probably handle this in gdb, maybe by enhancing the > > canonicalization step, though other approaches are possible. > > Is the purpose of that mechanism to allow individual symbols to be case > sensitive, or not? Neat, but where would that be used? Hmm, linking object modules coming from languages of the opposite symbol case sensitivity? We don't seem to have support for that in the tools or the object formats though and a DWARF tag is surely not enough for that. Maciej