From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Laurence Warne Newsgroups: gmane.emacs.bugs Subject: bug#73441: 31.0.50; Unstable proced-refine-test failure Date: Sat, 9 Nov 2024 21:18:11 +0000 Message-ID: References: <87ldziy0b8.fsf@gentoo.org> <87msj5to3t.fsf@gmx.de> <87ldycjflg.fsf@gmx.de> <87r07z73ew.fsf@gmx.de> <87a5el8yng.fsf@gmx.de> <87o72vku23.fsf@gmx.de> <875xowerk5.fsf@gmx.de> <87msi8894l.fsf@gmx.de> Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="000000000000466cd0062681689a" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="16051"; mail-complaints-to="usenet@ciao.gmane.io" Cc: mattiase@acm.org, 73441@debbugs.gnu.org, Sam James To: Michael Albinus Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sat Nov 09 22:20:20 2024 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1t9ssW-00040P-72 for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 09 Nov 2024 22:20:20 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1t9ssH-0003Ag-3V; Sat, 09 Nov 2024 16:20:05 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1t9ssF-0003AV-S7 for bug-gnu-emacs@gnu.org; Sat, 09 Nov 2024 16:20:03 -0500 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1t9ssF-0007zC-Io for bug-gnu-emacs@gnu.org; Sat, 09 Nov 2024 16:20:03 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=Date:From:In-Reply-To:References:MIME-Version:To:Subject; bh=pFgA1tDc5PYKNt3ekBiV4M/ttujtK8d8UFCrQTjtXWk=; b=eB6UqQhGPgJGMkD/0hyw58TGOxCJ1XY2aeE3XqshTBJ1fVjDJWU8uqY2EsE1Mq2zd1/j06t0pZxlB04Lyma4pW5k51vHTLK3X9iC5GAlhe2mm0uTzWWEBv784zg8CdW6b3QQTKB6HmrXbZzzYbCg5VBu89+Pq1c173t01hQ25hBwTR7r4QYvw4SCgwJjqsWY2/20uHL9RDGKPKm8Y/+JrR7HRWtbJLZuFOM+YCEey+y/4/YAEtmjRSNkZpCh0fYiRCHy4X5vB/ysQ16bp94pIPaNZzN/3kQom+2D84SnHlH8q9zpbnIVuoaj5OnTLhOmgN05n9UiQlfQXKrVGfggkw==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1t9ssE-0008Mq-Ej for bug-gnu-emacs@gnu.org; Sat, 09 Nov 2024 16:20:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Laurence Warne Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 09 Nov 2024 21:20:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73441 X-GNU-PR-Package: emacs Original-Received: via spool by 73441-submit@debbugs.gnu.org id=B73441.173118717032104 (code B ref 73441); Sat, 09 Nov 2024 21:20:02 +0000 Original-Received: (at 73441) by debbugs.gnu.org; 9 Nov 2024 21:19:30 +0000 Original-Received: from localhost ([127.0.0.1]:54655 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t9srh-0008Lj-Jy for submit@debbugs.gnu.org; Sat, 09 Nov 2024 16:19:29 -0500 Original-Received: from mail-vk1-f172.google.com ([209.85.221.172]:51708) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t9srg-0008LX-1U for 73441@debbugs.gnu.org; Sat, 09 Nov 2024 16:19:29 -0500 Original-Received: by mail-vk1-f172.google.com with SMTP id 71dfb90a1353d-50d4a6ef70aso1303020e0c.3 for <73441@debbugs.gnu.org>; Sat, 09 Nov 2024 13:19:28 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1731187102; x=1731791902; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=pFgA1tDc5PYKNt3ekBiV4M/ttujtK8d8UFCrQTjtXWk=; b=YErEmCw1a8Ijph8mGYhPxVE7X9r2GhuLK12Jon/yLrXxNQe7SPkA2XjlIfE2qRMsej QKDDaUpKLz6ejDyUY1R9Eml/EIxGM0xFf7sxfJKAqjZ0GpMDHSxrCzaJbiJkI0iAf35D xKQ2SBOrdvwaKf6syNyah4ZbhLcfBJ/84q+rij0665siex8L0XiFIrf8aWc2p3acVMWG 7IAC7YHpvykLlKCvyyTslm7f9vIsqhVYaFbffvXCn6IulJLwUrzlJs0UgIXtAnqCegK8 ll+3rjMez6cAy7A6gUDhm9zUJhi1zc4LnttGLfdUZrkQ0kUAZd/pYdoqeeJLHRTkVCBC uB9w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1731187102; x=1731791902; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=pFgA1tDc5PYKNt3ekBiV4M/ttujtK8d8UFCrQTjtXWk=; b=t/LEuK3L3MeJv2yWuKyebF0Xx2vPfE2ZWQfAv4I7vHRp+Qu/NpGFgT1kqKbz0a5YA5 tM0DkdjbK80I/jOb9qNgQwsjDbb1xjbIS+hjvHBwUjo0BP2ovizZNv+CDOXIVXykvKA0 +P8Y4nn2mJncYJSl+o/s9NK9g4NF8qv+swG2KcfDVt90NoYz1Ph06uHDQFPZY1qzZ6xW Oq1W7RHqTITDScmIuGyO1fJAknr5urRQyRECkT5oRTwacm2hzPlDeAZtOT6d04M5b8r6 a5+cometC3AW9pBi/5s9TubRln3jue0D9io66Z1w6gEuLYd7BjTbyUoHnbOPCe1kzt6t ryzg== X-Forwarded-Encrypted: i=1; AJvYcCXj4PndkybTvdMoSXf1ZycPLq7U+iSq8jqbNOmNBAhfL61aG6X7JI5qILNoYnZbYToBD+o/5Q==@debbugs.gnu.org X-Gm-Message-State: AOJu0Yw5tm0YGgtDwqeuPNGXpwORPTI7TXvp3abhsg+4y4z3olsLAg3o /9InMq58YpQGly6KfPCLP7p0qQ4Xw4e13sxWmuwD/uNZZzoMSutE5tVGTzz7L1eDeSz2sGAIteP Ifg8mmhmeDgH8R0UrIGZebsR+6/k= X-Google-Smtp-Source: AGHT+IFf3oV3pDaM98PN+XRSft6ToxuRuUlqZqjDDaVkwR3e+GKJT0uWsW1iSm4T9RXXK39YYsnTywIWXMobKMAJxww= X-Received: by 2002:a05:6122:da4:b0:50a:b5a3:e00c with SMTP id 71dfb90a1353d-51401ba5a93mr6951568e0c.1.1731187102343; Sat, 09 Nov 2024 13:18:22 -0800 (PST) In-Reply-To: <87msi8894l.fsf@gmx.de> X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:295158 Archived-At: --000000000000466cd0062681689a Content-Type: text/plain; charset="UTF-8" > Yes, checking for -nan seems to be the best choice we have. So we must > replace (thing-at-point 'number) with something else in proced-refine-test, > proced-refine-with-update-test, proced--assert-process-valid-cpu-refinement > and proced--assert-process-valid-cpu-refinement-explainer. Would you > like to provide a patch? I was thinking more along the lines of a 'isnan' check in 'proced-<' to the effect of making it not appear in any refinements at all, but if you think it's too much fretting about an edge case, I'm happy to provide a patch for the tests only (as you describe)? > (see sysdep.c). If one of the operands is not proper, the result can be > a NaN indeed, like -0.0e+NaN. Could you explain what is meant by proper? --000000000000466cd0062681689a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
> Yes, checking for -nan seems to be the best choice we have. So = we must
> replace (thing-at-point 'number) with something else in proced-ref= ine-test,
> proced-refine-with-update-test, proced--assert-process-valid-cpu-refin= ement
> and proced--assert-process-valid-cpu-refinement-explainer. Would you > like to provide a patch?
I was thinking more along the lines of a = 'isnan' check in 'proced-<' to the effect of making it n= ot appear in any refinements at all, but if you think it's too much fre= tting about an edge case, I'm happy to provide a patch for the tests on= ly (as you describe)?

> (see sysdep.c). If one of the opera= nds is not proper, the result can be
> a NaN indeed, like -0.0e+NaN.

Cou= ld you explain what is meant by proper?
--000000000000466cd0062681689a--