From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from simark.ca by simark.ca with LMTP id 9UmvEjc/G2lYogwAWB0awg (envelope-from ) for ; Mon, 17 Nov 2025 10:28:55 -0500 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=Px75RrUL; dkim-atps=neutral Received: by simark.ca (Postfix, from userid 112) id 38D081E048; Mon, 17 Nov 2025 10:28:55 -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.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 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 460081E048 for ; Mon, 17 Nov 2025 10:28:54 -0500 (EST) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 39B753858434 for ; Mon, 17 Nov 2025 15:28:53 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 39B753858434 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=Px75RrUL Received: from mail-io1-xd30.google.com (mail-io1-xd30.google.com [IPv6:2607:f8b0:4864:20::d30]) by sourceware.org (Postfix) with ESMTPS id AA1C93858425 for ; Mon, 17 Nov 2025 15:03:15 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org AA1C93858425 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 AA1C93858425 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2607:f8b0:4864:20::d30 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1763391795; cv=none; b=N6iprYnQXyZvQk2qoClLen7yngszv4SfN97aV/3sTNLDQwALnmiNQfBUTyDUF9DhtqcSY+Y+w/fEjGigDqXx+SQrrTTobc1fFnU19tdsxRM5NitzeSDFz9VabWIE7wzNYwEoM2df879hiE3BaCgK0ZVA7r+vgjqCm1qu+lz2ZKo= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1763391795; c=relaxed/simple; bh=eCkkSWZj2TWQ6FrtGI/+zSWZotP8t0T/V+cy1LOHnfE=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=vNwNT8BTqFFAvYTsuvTKz1Rbz329DGzrmLDIE5pfpdPqY4iYEjnQMlft5kpG46eJuQvEwGWOWKbi9RgeC57mCzfnufsgWgeNUl5DohQ1sSXmQtYeGfIfLGYZcdK3XOyIdSkAfmsomYC9nsI7qtj5xhZf0oL2EEgqChFA7N0S0HY= ARC-Authentication-Results: i=1; server2.sourceware.org DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org AA1C93858425 Received: by mail-io1-xd30.google.com with SMTP id ca18e2360f4ac-92aee734585so174136539f.3 for ; Mon, 17 Nov 2025 07:03:15 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1763391795; x=1763996595; 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=1I1vGHWe5XfOGGRVv7Z2sd9e+geL2Uk3X2k3oa7xLBQ=; b=Px75RrULuYijL0lINDgN3oaoiuw+W0is6Xa+oOcUBW4kxm6T9fB+WLxpbxh9YAYihZ IU8/YunO+XgFeZdU/Py5w67ZmqDa7d7YFFhzODOKJtUwn5BEtonTkzDi2vIs+II91r8L KIla2gJ4rTpJcGG2O31uFUu0lfNjebSqsgy3lYcqWipngnZUMjWe5VH26qr14QjV/3YK c8BDa0EA/JWGM08VbOsFvI3Pshx/NVfW05wDSvz0VG+VsQIOTpxNSYl54xH4/2gkSvMb 6pM2zj5yloojVgqikekCNXk/r9PQW+d6pwuLr+FulGFT2TsoXMLt6Mw87YJUh0wogZHw qq5Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1763391795; x=1763996595; 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=1I1vGHWe5XfOGGRVv7Z2sd9e+geL2Uk3X2k3oa7xLBQ=; b=jDFYeaxoieLm/wYbEyph08MWeRTrZ57WPNU0SEjpsLgURJIG5Z5f4/hwYz4jwdIQ+h 8ydZ1BgJOyjb4GUfxMOmpMi6m6UlKtg7l4jDmjOCeicr9RRTgOgfS79gxdXo0ktgu9N2 7CsUktmrsXjmr4RlrjJZcZ1nAegdTllA2mHTaXv5hl2Wjyh0KsY/PZ3HzrY9v8UsXTqL vlnYyHE4Hc9UzhYa1606SzgDZN/+mVmijG0wWj3R4T3PTsobppeXutinPVr4w3qwCZRr vJJILLuVJ3K2uBLfR+Q1v8+zWVnkAd+0LSc/WOO8Z3v9k3+/xdfYJpblDc0rbHJXCv1S /9LQ== X-Forwarded-Encrypted: i=1; AJvYcCVngsKSv5IBuVZx/pnr1KxRtT2zYDq12YzVPBSURdEvZUhdLjXTGF/nCudE1E31calBI5dC6WuTcl6rnA==@sourceware.org X-Gm-Message-State: AOJu0YysBqoGZiMnyKZ0l1q7gqnWtJTQd6QUJf9jL8XVFb7eFaGwpFhJ BwoWbUcWykx+VPfg6y6LS1oM6IvVvFOcEL9e+b2M1kAJYWwCVfltWrzsozPBMXndFw== X-Gm-Gg: ASbGncsYvAw9ADeYgAwpf1PCryvHTrb91WJVJ7PhAiUF9E7dxVG9solGYBaphHalfyW d95yD1z/RyxyIrupR96JxDXWKaTboAQSoxp3VqdZrHQBRFrGVgw9aPYnMnWBKOJ+HPS3xhbGMoE P74H/9jQLWBov2XsGPRWvudQVu36RzRj8BZaDCzRJo3zhtzymt5tSvJdXa7GF3Mw5cRoLcmcS+D 3gNP39vCFWtNKM+syvCa6QUx80WzsHOacPy5kwIxZvI8CC1jWznUQnP/cWw1i6utiZwJwcc/Gp4 HmlM7XG3r1vb5PCuaaXBBXYnA1UK4SHEq/Q2t/clkPoVeRJClUZvkQqNXFCq3ZsOMm15Z0NgvtC oECa04Td8gW9uyPEyNwDPk97P7UeJeoYqz3WdMCraV2Te76TDzcz6w4+XaBAnZiLLPmLM054N7v l25oXLyQOHVbull7TZIDclv1DaPDupFKaagA== X-Google-Smtp-Source: AGHT+IHNVv2ZZsPdxwzRFwu5nS4hyatE4ZciZGFGs45jL9LV/Z0yRBX/ko4ERzc4c0Q2erYXSv0fWQ== X-Received: by 2002:a05:6638:4a03:b0:5b7:41ea:4fad with SMTP id 8926c6da1cb9f-5b7c9c89b29mr7526759173.8.1763391792045; Mon, 17 Nov 2025 07:03:12 -0800 (PST) Received: from bapiya (97-122-120-205.hlrn.qwest.net. [97.122.120.205]) by smtp.gmail.com with ESMTPSA id 8926c6da1cb9f-5b7bd24dadesm4811504173.1.2025.11.17.07.03.10 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 17 Nov 2025 07:03:11 -0800 (PST) From: Tom Tromey To: "Maciej W. Rozycki" Cc: Paul Koning , Tom Tromey , Tom de Vries , gdb-patches@sourceware.org Subject: Re: [PATCH] Mark Pascal as case-insensitive In-Reply-To: (Maciej W. Rozycki's message of "Sat, 15 Nov 2025 02:30:20 +0000 (GMT)") References: <20251113162811.616219-1-tromey@adacore.com> <87ecq0whxx.fsf@tromey.com> <87AA3F28-5E27-49F2-A2C6-D14BA082A830@comcast.net> X-Attribution: Tom Date: Mon, 17 Nov 2025 08:03:10 -0700 Message-ID: <877bvou2fl.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 >> On Fri, 14 Nov 2025, Paul Koning wrote: >> Is the purpose of that mechanism to allow individual symbols to be case >> sensitive, or not? Neat, but where would that be used? Maciej> Hmm, linking object modules coming from languages of the opposite symbol Maciej> case sensitivity? We don't seem to have support for that in the tools or Maciej> the object formats though and a DWARF tag is surely not enough for that. I think currently the DWARF standard specifies DW_AT_identifier_case as applying to the CU, not individual symbols. However it seems to me that with LTO it would be better to relax this and allow things like DW_AT_language on functions. That way gdb could react correctly when stepping through code where cross-language inlining has been done. Tom