From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sourceware.org (Postfix) with ESMTPS id 165E53858D33 for ; Tue, 7 Feb 2023 14:27:44 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 165E53858D33 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=inria.fr Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=inria.fr DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:message-id:from:to:cc:subject; bh=Ob9TgoWudsovEcs6WuiyWAU3dVjv9VB0fgubWVC9JhE=; b=NJunvBtPXfWioTysciPRvRL6CZq+tj1C/RjAjE2tiNHK7df2K/4589oa VEYM3hWUl6aZDK75A7R1LM3utjq+bWhYFuYOLReZHOCqOvr+c+aTBJEO4 KhpSdxnf3x/C0YzcoRLJaahsPRFUwHTA9VQWSGfcG/SCpOEsbfKudO9XJ 0=; Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=Paul.Zimmermann@inria.fr; spf=None smtp.helo=postmaster@coriandre Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of Paul.Zimmermann@inria.fr is inclined to not designate 152.81.9.227 as permitted sender) identity=mailfrom; client-ip=152.81.9.227; receiver=mail2-relais-roc.national.inria.fr; envelope-from="Paul.Zimmermann@inria.fr"; x-sender="Paul.Zimmermann@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@coriandre) identity=helo; client-ip=152.81.9.227; receiver=mail2-relais-roc.national.inria.fr; envelope-from="Paul.Zimmermann@inria.fr"; x-sender="postmaster@coriandre"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="5.97,278,1669071600"; d="scan'208";a="91551442" Received: from coriandre.loria.fr (HELO coriandre) ([152.81.9.227]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 07 Feb 2023 15:27:43 +0100 Date: Tue, 07 Feb 2023 15:27:42 +0100 Message-Id: From: Paul Zimmermann To: newlib@sourceware.org CC: vincenzo.innocente@cern.ch Subject: huge error for pow X-Spam-Status: No, score=-3.0 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_LOW,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: Hi, while testing Newlib 4.3.0, I noticed the following huge error: zimmerma@salade:~/svn/tbd/20/src/binary64$ VERBOSE=-v ./doitb.newlib pow 1000 Checking pow with newlib-4.3.0.20230120 Using seed 1619945 pow 0 -1 -0x1.647ff80007ff8p-576,-0x1.3d018267f12fp+48 [inf] inf inf libm gives inf mpfr gives -inf The exponent y in x^y is a large odd integer, thus since x is negative we should get a negative number as result. This issue was apparently already present in 3.3.0, but we only discovered it now. Best regards, Paul