From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <schwab@suse.de>
Received: from smtp-out1.suse.de (smtp-out1.suse.de [195.135.220.28])
 by sourceware.org (Postfix) with ESMTPS id 1E1613858D3C
 for <libc-alpha@sourceware.org>; Mon, 22 Aug 2022 08:34:11 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 1E1613858D3C
Received: from relay2.suse.de (relay2.suse.de [149.44.160.134])
 by smtp-out1.suse.de (Postfix) with ESMTP id 5509033942;
 Mon, 22 Aug 2022 08:34:10 +0000 (UTC)
Received: from hawking.suse.de (unknown [10.168.4.11])
 by relay2.suse.de (Postfix) with ESMTP id 4F0B82C141;
 Mon, 22 Aug 2022 08:34:10 +0000 (UTC)
Received: by hawking.suse.de (Postfix, from userid 17005)
 id 39667444B1A; Mon, 22 Aug 2022 10:34:10 +0200 (CEST)
From: Andreas Schwab <schwab@suse.de>
To: Michael Hudson-Doyle via Libc-alpha <libc-alpha@sourceware.org>
Subject: Re: [PATCH v2] Avoid undefined behaviour in ibm128 implementation
 of llroundl
References: <20220821104446.46521-1-michael.hudson@canonical.com>
 <20220822020419.137775-1-michael.hudson@canonical.com>
X-Yow: ...A housewife is wearing a polypyrene jumpsuit!!
Date: Mon, 22 Aug 2022 10:34:10 +0200
In-Reply-To: <20220822020419.137775-1-michael.hudson@canonical.com> (Michael
 Hudson-Doyle via Libc-alpha's message of "Mon, 22 Aug 2022 14:04:20
 +1200")
Message-ID: <mvmsfloekxp.fsf@suse.de>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1.91 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Status: No, score=-3.0 required=5.0 tests=BAYES_00, DKIM_SIGNED,
 DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, 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: libc-alpha@sourceware.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Libc-alpha mailing list <libc-alpha.sourceware.org>
List-Unsubscribe: <https://sourceware.org/mailman/options/libc-alpha>,
 <mailto:libc-alpha-request@sourceware.org?subject=unsubscribe>
List-Archive: <https://sourceware.org/pipermail/libc-alpha/>
List-Post: <mailto:libc-alpha@sourceware.org>
List-Help: <mailto:libc-alpha-request@sourceware.org?subject=help>
List-Subscribe: <https://sourceware.org/mailman/listinfo/libc-alpha>,
 <mailto:libc-alpha-request@sourceware.org?subject=subscribe>
X-List-Received-Date: Mon, 22 Aug 2022 08:34:12 -0000

On Aug 22 2022, Michael Hudson-Doyle via Libc-alpha wrote:

> @@ -69,7 +70,7 @@ __llroundl (long double x)
>        res = hi + lo;

The overflow happens here.  Changing the type of the LHS does not change
that.

-- 
Andreas Schwab, SUSE Labs, schwab@suse.de
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE  1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."