From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <musl-return-22205-ml=inbox.vuxu.org@lists.openwall.com>
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=DKIM_INVALID,DKIM_SIGNED,
	HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H5,
	RCVD_IN_MSPIKE_WL,URIBL_DBL_BLOCKED_OPENDNS,URIBL_ZEN_BLOCKED_OPENDNS
	autolearn=ham autolearn_force=no version=3.4.4
Received: from second.openwall.net (second.openwall.net [193.110.157.125])
	by inbox.vuxu.org (Postfix) with SMTP id B80DE2FBC3
	for <ml@inbox.vuxu.org>; Thu,  3 Jul 2025 09:44:27 +0200 (CEST)
Received: (qmail 1137 invoked by uid 550); 3 Jul 2025 07:44:23 -0000
Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm
Precedence: bulk
List-Post: <mailto:musl@lists.openwall.com>
List-Help: <mailto:musl-help@lists.openwall.com>
List-Unsubscribe: <mailto:musl-unsubscribe@lists.openwall.com>
List-Subscribe: <mailto:musl-subscribe@lists.openwall.com>
List-ID: <musl.lists.openwall.com>
Reply-To: musl@lists.openwall.com
x-ms-reactions: disallow
Received: (qmail 1099 invoked from network); 3 Jul 2025 07:44:23 -0000
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
  d=inria.fr; s=dc;
  h=date:message-id:from:to:cc:subject;
  bh=7I8HQz25o8kqDmGKyIAzeZaDL5Wo4EvhiziwIszFEp4=;
  b=dJT9+iqWsCVPXnXFcz6pkhNqtoQpZjqU0RD8rwCi41dZLMWC/2s4SAsu
   ofQi/a2Tkz26uuEHLAWFp/Z67NG7VTLsamekjX7AFq43bgZmYzvnAWtO1
   ftj1Co14b41D7sr+fDk82dqMBDSot3s/vexEcaH0emRt5dsKJlOJrCImJ
   I=;
Authentication-Results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=Paul.Zimmermann@inria.fr; spf=None smtp.helo=postmaster@araignee
Received-SPF: SoftFail (mail3-relais-sop.national.inria.fr:
  domain of Paul.Zimmermann@inria.fr is inclined to not
  designate 152.81.2.78 as permitted sender) identity=mailfrom;
  client-ip=152.81.2.78;
  receiver=mail3-relais-sop.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
  include:mailout.safebrands.com a:basic-mail.safebrands.com
  a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com
  ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160
  ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all"
Received-SPF: None (mail3-relais-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@araignee) identity=helo; client-ip=152.81.2.78;
  receiver=mail3-relais-sop.national.inria.fr;
  envelope-from="Paul.Zimmermann@inria.fr";
  x-sender="postmaster@araignee"; x-conformance=spf_only
X-IronPort-AV: E=Sophos;i="6.16,283,1744063200"; 
   d="scan'208";a="120571343"
Date: Thu, 03 Jul 2025 09:44:12 +0200
Message-Id: <p9u01pqx90s3.fsf@araignee.loria.fr>
From: Paul Zimmermann <Paul.Zimmermann@inria.fr>
To: musl@lists.openwall.com
CC: maxence.ponsardin@inria.fr
Subject: [musl] sqrt does not emit errno=EDOM

       Hi,

it seems musl does not set errno=EDOM for sqrt(x) when x is negative.
Here on cfarm27 (Alpine Linux):

$ cat /tmp/e.c
#include <stdio.h>
#include <math.h>
#include <errno.h>
 
int
main()
{
  errno = 0;
  float x = -1.0f;
  float y = sqrtf (x);
  printf ("y=%a errno=%d\n", y, errno);
}

$ gcc /tmp/e.c -lm
$ ./a.out 
y=-nan errno=0

Is this a known issue?

Best regards,
Paul