From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from simark.ca by simark.ca with LMTP id dWLiLOJsYWWOpQ4AWB0awg (envelope-from ) for ; Fri, 24 Nov 2023 22:41:22 -0500 Authentication-Results: simark.ca; dkim=fail reason="signature verification failed" (768-bit key; unprotected) header.d=tromey.com header.i=@tromey.com header.a=rsa-sha256 header.s=default header.b=qx1M2vDU; dkim-atps=neutral Received: by simark.ca (Postfix, from userid 112) id ADD6C1E0D2; Fri, 24 Nov 2023 22:41:22 -0500 (EST) 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 9D6BB1E00F for ; Fri, 24 Nov 2023 22:41:20 -0500 (EST) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 2961638582BE for ; Sat, 25 Nov 2023 03:41:20 +0000 (GMT) Received: from omta34.uswest2.a.cloudfilter.net (omta34.uswest2.a.cloudfilter.net [35.89.44.33]) by sourceware.org (Postfix) with ESMTPS id E9D403858D32 for ; Sat, 25 Nov 2023 03:41:06 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org E9D403858D32 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=tromey.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=tromey.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org E9D403858D32 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=35.89.44.33 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1700883669; cv=none; b=t7OpsJ+oAU6vK19A1qFD5SIpHQZQplw9RANBWHL1+GZ37qBF7C5p0YIVf5+rLtovPDT/iql963fxyJNSSYHMRtc69zhy8t1sjzpn/i3ew6Uwcdy4sSotPIon9NHkL1to05mKLYYp7EfJZA3LvwQIR4aRTm6UiuX3DURALX23Ytw= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1700883669; c=relaxed/simple; bh=8vc+of2EnYGP41XHYcGeh2vj5qGpG3CtwPY4Go9FAb4=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=jacYaTS1zKtQMB4d4xrDbrhlCmmH+ihk7l3P/atayY44D3oM6ZCoG2AwduwEEbnkHFGppgHHkSJDMOCeieryh4ONGeKv50/C/MoO92DbMitYmYwSoZALMv9/2yD6j5YWGEJeKiV8GI7OcO/hUPGncTM7Ravvt8Kn5V/waZ7EtPo= ARC-Authentication-Results: i=1; server2.sourceware.org Received: from eig-obgw-5010a.ext.cloudfilter.net ([10.0.29.199]) by cmsmtp with ESMTPS id 6itorpMIz8Hte6jXVrvpTJ; Sat, 25 Nov 2023 03:41:06 +0000 Received: from box5379.bluehost.com ([162.241.216.53]) by cmsmtp with ESMTPS id 6jXUroF1ghDny6jXVrVmma; Sat, 25 Nov 2023 03:41:05 +0000 X-Authority-Analysis: v=2.4 cv=fda+dmcF c=1 sm=1 tr=0 ts=65616cd1 a=ApxJNpeYhEAb1aAlGBBbmA==:117 a=ApxJNpeYhEAb1aAlGBBbmA==:17 a=OWjo9vPv0XrRhIrVQ50Ab3nP57M=:19 a=dLZJa+xiwSxG16/P+YVxDGlgEgI=:19 a=BNY50KLci1gA:10 a=Qbun_eYptAEA:10 a=5bO5kDvfAAAA:8 a=CCpqsmhAAAAA:8 a=sn8kFDSKHT5cXccQJUsA:9 a=ZqR_6EhbDGDjxU5desHT:22 a=ul9cdbp4aOFLsgKbc677:22 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tromey.com; s=default; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date:References :Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=Uz00p+RLKk07i+qkqsk+cqREVXV6U602dZFLIpQSdYQ=; b=qx1M2vDU1TAbAChkZZ3pMgmAQr ApMRQIaqwL6BdyZgZP2BghpMqZSyrC7GDaEvu+z157XJ1eezjrFtEzY0PFUeAycdzvjXlA7z8KJRY 9RiTQ5nZE07+T9jJx4UVlg8J+; Received: from 97-122-77-73.hlrn.qwest.net ([97.122.77.73]:42294 helo=prentzel) by box5379.bluehost.com with esmtpsa (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96.2) (envelope-from ) id 1r6jXU-002mjK-1R; Fri, 24 Nov 2023 20:41:04 -0700 From: Tom Tromey To: "The Puzzlemaker" Cc: gdb-patches@sourceware.org Subject: Re: [FIXED] [PATCH 1/1] rust-parse: Infer some integer constants as u64 References: <47-655f8d80-3-52811600@102229502> X-Attribution: Tom Date: Fri, 24 Nov 2023 20:41:17 -0700 In-Reply-To: <47-655f8d80-3-52811600@102229502> (The Puzzlemaker's message of "Thu, 23 Nov 2023 11:36:23 -0600") Message-ID: <87h6laxzxe.fsf@tromey.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - box5379.bluehost.com X-AntiAbuse: Original Domain - sourceware.org X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - tromey.com X-BWhitelist: no X-Source-IP: 97.122.77.73 X-Source-L: No X-Exim-ID: 1r6jXU-002mjK-1R X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: 97-122-77-73.hlrn.qwest.net (prentzel) [97.122.77.73]:42294 X-Source-Auth: tom+tromey.com X-Email-Count: 2 X-Org: HG=bhshared;ORG=bluehost; X-Source-Cap: ZWx5bnJvYmk7ZWx5bnJvYmk7Ym94NTM3OS5ibHVlaG9zdC5jb20= X-Local-Domain: yes X-CMAE-Envelope: MS4xfIMd3jDF3/Av91PouDvj3EpKVEtirqOKskp3pEn3YAKoLOZpufo4zAH7nNqdSgy+ptf5lmSWTJPDNi0l7AZVz0Rh7XapEaCAfJpn0TQFdhgIAHEaE643 arQntLiXEbCcQyGsQA1omxWxMXyEf72IbYolqpkyHCYDHiCcbR5Pmt4Ennhn+IMfJVsQmmPQR5tJAfSX92H3csjJE+Y3FGFt3jg= X-Spam-Status: No, score=-3017.6 required=5.0 tests=BAYES_00, DKIM_SIGNED, DKIM_VALID, JMQ_SPF_NEUTRAL, KAM_NUMSUBJECT, RCVD_IN_MSPIKE_H2, SPF_HELO_NONE, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE autolearn=no 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 List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gdb-patches-bounces+public-inbox=simark.ca@sourceware.org >>>>> The Puzzlemaker writes: > This is a bit hacky, I admit. This commit causes integers in the range > `2^63-1 <= x <= 2^64 - 1` to be inferred as `u64` instead of as `i128`. > This helps solve an issue where these integers would not be able to be > used as addresses, helpful when e.g. debugging higher-half kernels. Thanks for the patch. I sent a different one for the same problem, that fixes it more generically in value_cast. > Sorry about the last email, my email client was not set up right for plaintext. > See #31082, https://sourceware.org/bugzilla/show_bug.cgi?id=31082 > Let me know if there's anything I missed here. If you stick "Bug: ... url of bug" as a git trailer, the eventual commit will be mentioned in bugzilla. We're trying to get this to happen for patch submissions as well. thanks, Tom