GNU bug report logs - #65978
comp-tests-ret-type-spec-71 fails on 32-bit powerpc

Previous Next

Package: emacs;

Reported by: John Paul Adrian Glaubitz <glaubitz <at> physik.fu-berlin.de>

Date: Thu, 14 Sep 2023 12:30:02 UTC

Severity: normal

Done: Eli Zaretskii <eliz <at> gnu.org>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 65978 in the body.
You can then email your comments to 65978 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to bug-gnu-emacs <at> gnu.org:
bug#65978; Package emacs. (Thu, 14 Sep 2023 12:30:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to John Paul Adrian Glaubitz <glaubitz <at> physik.fu-berlin.de>:
New bug report received and forwarded. Copy sent to bug-gnu-emacs <at> gnu.org. (Thu, 14 Sep 2023 12:30:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: John Paul Adrian Glaubitz <glaubitz <at> physik.fu-berlin.de>
To: bug-gnu-emacs <at> gnu.org
Cc: debian-powerpc <debian-powerpc <at> lists.debian.org>
Subject: comp-tests-ret-type-spec-71 fails on 32-bit powerpc
Date: Thu, 14 Sep 2023 14:28:24 +0200
Hello!

The test comp-tests-ret-type-spec-71 reproducibly fails on 32-bit powerpc:

Test comp-tests-ret-type-spec-71 backtrace:
  signal(ert-test-failed (((should (equal (cl-third (subr-type (symbol
  ert-fail(((should (equal (cl-third (subr-type (symbol-function f-nam
  comp-tests-check-ret-type-spec((defun comp-tests-ret-type-spec-f (x)
  #f(compiled-function () #<bytecode -0x221c87d>)()
  ert--run-test-internal(#s(ert--test-execution-info :test #s(ert-test
  ert-run-test(#s(ert-test :name comp-tests-ret-type-spec-71 :document
  ert-run-or-rerun-test(#s(ert--stats :selector ... :tests ... :test-m
  ert-run-tests((not (or (tag :expensive-test) (tag :unstable))) #f(co
  ert-run-tests-batch((not (or (tag :expensive-test) (tag :unstable)))
  ert-run-tests-batch-and-exit((not (or (tag :expensive-test) (tag :un
  command-line-1(("-L" ":/<<PKGBUILDDIR>>/debian/build
  command-line()
  normal-top-level()
Test comp-tests-ret-type-spec-71 condition:
    (ert-test-failed
     ((should
       (equal
	(cl-third ...)
	ret-type))
      :form
      (equal
       (or
	(member 0.0 -0.0)
	(integer 0 0))
       (or
	(member -0.0 0.0)
	(integer 0 0)))
      :value nil :explanation
      (list-elt 1
		(list-elt 1
			  (different-atoms 0.0 -0.0)))))
   FAILED  145/166  comp-tests-ret-type-spec-71 (0.399696 sec)

The full buildlog can be obtained in [1].

Thanks,
Adrian

> [1] https://buildd.debian.org/status/fetch.php?pkg=emacs&arch=powerpc&ver=1%3A28.2%2B1-16&stamp=1690634247&raw=0

-- 
 .''`.  John Paul Adrian Glaubitz
: :' :  Debian Developer
`. `'   Physicist
  `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913




Information forwarded to bug-gnu-emacs <at> gnu.org:
bug#65978; Package emacs. (Thu, 14 Sep 2023 13:03:01 GMT) Full text and rfc822 format available.

Message #8 received at 65978 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: John Paul Adrian Glaubitz <glaubitz <at> physik.fu-berlin.de>,
 Andreas Schwab <schwab <at> suse.de>
Cc: debian-powerpc <at> lists.debian.org, 65978 <at> debbugs.gnu.org
Subject: Re: bug#65978: comp-tests-ret-type-spec-71 fails on 32-bit powerpc
Date: Thu, 14 Sep 2023 16:02:10 +0300
> Cc: debian-powerpc <debian-powerpc <at> lists.debian.org>
> From: John Paul Adrian Glaubitz <glaubitz <at> physik.fu-berlin.de>
> Date: Thu, 14 Sep 2023 14:28:24 +0200
> 
> Hello!
> 
> The test comp-tests-ret-type-spec-71 reproducibly fails on 32-bit powerpc:
> 
> Test comp-tests-ret-type-spec-71 backtrace:
>   signal(ert-test-failed (((should (equal (cl-third (subr-type (symbol
>   ert-fail(((should (equal (cl-third (subr-type (symbol-function f-nam
>   comp-tests-check-ret-type-spec((defun comp-tests-ret-type-spec-f (x)
>   #f(compiled-function () #<bytecode -0x221c87d>)()
>   ert--run-test-internal(#s(ert--test-execution-info :test #s(ert-test
>   ert-run-test(#s(ert-test :name comp-tests-ret-type-spec-71 :document
>   ert-run-or-rerun-test(#s(ert--stats :selector ... :tests ... :test-m
>   ert-run-tests((not (or (tag :expensive-test) (tag :unstable))) #f(co
>   ert-run-tests-batch((not (or (tag :expensive-test) (tag :unstable)))
>   ert-run-tests-batch-and-exit((not (or (tag :expensive-test) (tag :un
>   command-line-1(("-L" ":/<<PKGBUILDDIR>>/debian/build
>   command-line()
>   normal-top-level()
> Test comp-tests-ret-type-spec-71 condition:
>     (ert-test-failed
>      ((should
>        (equal
> 	(cl-third ...)
> 	ret-type))
>       :form
>       (equal
>        (or
> 	(member 0.0 -0.0)
> 	(integer 0 0))
>        (or
> 	(member -0.0 0.0)
> 	(integer 0 0)))
>       :value nil :explanation
>       (list-elt 1
> 		(list-elt 1
> 			  (different-atoms 0.0 -0.0)))))
>    FAILED  145/166  comp-tests-ret-type-spec-71 (0.399696 sec)

Something about the sign of zero, I guess?  Adding Andreas, in the
hope that he will have some suggestions.




Information forwarded to bug-gnu-emacs <at> gnu.org:
bug#65978; Package emacs. (Thu, 14 Sep 2023 14:46:01 GMT) Full text and rfc822 format available.

Message #11 received at 65978 <at> debbugs.gnu.org (full text, mbox):

From: Andrea Corallo <acorallo <at> gnu.org>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: Andreas Schwab <schwab <at> suse.de>, debian-powerpc <at> lists.debian.org,
 65978 <at> debbugs.gnu.org,
 John Paul Adrian Glaubitz <glaubitz <at> physik.fu-berlin.de>
Subject: Re: bug#65978: comp-tests-ret-type-spec-71 fails on 32-bit powerpc
Date: Thu, 14 Sep 2023 10:44:54 -0400
Eli Zaretskii <eliz <at> gnu.org> writes:

>> Cc: debian-powerpc <debian-powerpc <at> lists.debian.org>
>> From: John Paul Adrian Glaubitz <glaubitz <at> physik.fu-berlin.de>
>> Date: Thu, 14 Sep 2023 14:28:24 +0200
>> 
>> Hello!
>> 
>> The test comp-tests-ret-type-spec-71 reproducibly fails on 32-bit powerpc:
>> 
>> Test comp-tests-ret-type-spec-71 backtrace:
>>   signal(ert-test-failed (((should (equal (cl-third (subr-type (symbol
>>   ert-fail(((should (equal (cl-third (subr-type (symbol-function f-nam
>>   comp-tests-check-ret-type-spec((defun comp-tests-ret-type-spec-f (x)
>>   #f(compiled-function () #<bytecode -0x221c87d>)()
>>   ert--run-test-internal(#s(ert--test-execution-info :test #s(ert-test
>>   ert-run-test(#s(ert-test :name comp-tests-ret-type-spec-71 :document
>>   ert-run-or-rerun-test(#s(ert--stats :selector ... :tests ... :test-m
>>   ert-run-tests((not (or (tag :expensive-test) (tag :unstable))) #f(co
>>   ert-run-tests-batch((not (or (tag :expensive-test) (tag :unstable)))
>>   ert-run-tests-batch-and-exit((not (or (tag :expensive-test) (tag :un
>>   command-line-1(("-L" ":/<<PKGBUILDDIR>>/debian/build
>>   command-line()
>>   normal-top-level()
>> Test comp-tests-ret-type-spec-71 condition:
>>     (ert-test-failed
>>      ((should
>>        (equal
>> 	(cl-third ...)
>> 	ret-type))
>>       :form
>>       (equal
>>        (or
>> 	(member 0.0 -0.0)
>> 	(integer 0 0))
>>        (or
>> 	(member -0.0 0.0)
>> 	(integer 0 0)))
>>       :value nil :explanation
>>       (list-elt 1
>> 		(list-elt 1
>> 			  (different-atoms 0.0 -0.0)))))
>>    FAILED  145/166  comp-tests-ret-type-spec-71 (0.399696 sec)
>
> Something about the sign of zero, I guess?  Adding Andreas, in the
> hope that he will have some suggestions.

Mmmh, I guess some of our sorting or compare function behaves
differently on this architecture... I'll try look closer at the code
tomorrow and try to guess something more precise.

Thanks

   Andrea




Information forwarded to bug-gnu-emacs <at> gnu.org:
bug#65978; Package emacs. (Thu, 07 Mar 2024 18:44:01 GMT) Full text and rfc822 format available.

Message #14 received at 65978 <at> debbugs.gnu.org (full text, mbox):

From: Andrea Corallo <acorallo <at> gnu.org>
To: John Paul Adrian Glaubitz <glaubitz <at> physik.fu-berlin.de>
Cc: debian-powerpc <debian-powerpc <at> lists.debian.org>, 65978 <at> debbugs.gnu.org
Subject: Re: bug#65978: comp-tests-ret-type-spec-71 fails on 32-bit powerpc
Date: Thu, 07 Mar 2024 13:42:38 -0500
John Paul Adrian Glaubitz <glaubitz <at> physik.fu-berlin.de> writes:

Hi John,

I *think* this should be fixed.  Could you verify and let us know if you
still see the issue?

Thanks

  Andrea




Information forwarded to bug-gnu-emacs <at> gnu.org:
bug#65978; Package emacs. (Thu, 14 Mar 2024 08:30:02 GMT) Full text and rfc822 format available.

Message #17 received at 65978 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: glaubitz <at> physik.fu-berlin.de, Andrea Corallo <acorallo <at> gnu.org>
Cc: debian-powerpc <at> lists.debian.org, 65978 <at> debbugs.gnu.org
Subject: Re: bug#65978: comp-tests-ret-type-spec-71 fails on 32-bit powerpc
Date: Thu, 14 Mar 2024 10:28:22 +0200
> Cc: debian-powerpc <debian-powerpc <at> lists.debian.org>, 65978 <at> debbugs.gnu.org
> From: Andrea Corallo <acorallo <at> gnu.org>
> Date: Thu, 07 Mar 2024 13:42:38 -0500
> 
> John Paul Adrian Glaubitz <glaubitz <at> physik.fu-berlin.de> writes:
> 
> Hi John,
> 
> I *think* this should be fixed.  Could you verify and let us know if you
> still see the issue?

Ping!  John, could you please verify the fix?

Thanks.




Information forwarded to bug-gnu-emacs <at> gnu.org:
bug#65978; Package emacs. (Thu, 21 Mar 2024 10:23:01 GMT) Full text and rfc822 format available.

Message #20 received at 65978 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: glaubitz <at> physik.fu-berlin.de
Cc: acorallo <at> gnu.org, debian-powerpc <at> lists.debian.org, 65978 <at> debbugs.gnu.org
Subject: Re: bug#65978: comp-tests-ret-type-spec-71 fails on 32-bit powerpc
Date: Thu, 21 Mar 2024 12:21:49 +0200
> Cc: debian-powerpc <at> lists.debian.org, 65978 <at> debbugs.gnu.org
> Date: Thu, 14 Mar 2024 10:28:22 +0200
> From: Eli Zaretskii <eliz <at> gnu.org>
> 
> > Cc: debian-powerpc <debian-powerpc <at> lists.debian.org>, 65978 <at> debbugs.gnu.org
> > From: Andrea Corallo <acorallo <at> gnu.org>
> > Date: Thu, 07 Mar 2024 13:42:38 -0500
> > 
> > John Paul Adrian Glaubitz <glaubitz <at> physik.fu-berlin.de> writes:
> > 
> > Hi John,
> > 
> > I *think* this should be fixed.  Could you verify and let us know if you
> > still see the issue?
> 
> Ping!  John, could you please verify the fix?

Ping! Ping!




Information forwarded to bug-gnu-emacs <at> gnu.org:
bug#65978; Package emacs. (Thu, 21 Mar 2024 10:41:02 GMT) Full text and rfc822 format available.

Message #23 received at 65978 <at> debbugs.gnu.org (full text, mbox):

From: John Paul Adrian Glaubitz <glaubitz <at> physik.fu-berlin.de>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: acorallo <at> gnu.org, debian-powerpc <at> lists.debian.org, 65978 <at> debbugs.gnu.org
Subject: Re: bug#65978: comp-tests-ret-type-spec-71 fails on 32-bit powerpc
Date: Thu, 21 Mar 2024 11:39:42 +0100
Hi Eli,

On Thu, 2024-03-21 at 12:21 +0200, Eli Zaretskii wrote:
> > Cc: debian-powerpc <at> lists.debian.org, 65978 <at> debbugs.gnu.org
> > Date: Thu, 14 Mar 2024 10:28:22 +0200
> > From: Eli Zaretskii <eliz <at> gnu.org>
> > 
> > > Cc: debian-powerpc <debian-powerpc <at> lists.debian.org>, 65978 <at> debbugs.gnu.org
> > > From: Andrea Corallo <acorallo <at> gnu.org>
> > > Date: Thu, 07 Mar 2024 13:42:38 -0500
> > > 
> > > John Paul Adrian Glaubitz <glaubitz <at> physik.fu-berlin.de> writes:
> > > 
> > > Hi John,
> > > 
> > > I *think* this should be fixed.  Could you verify and let us know if you
> > > still see the issue?
> > 
> > Ping!  John, could you please verify the fix?
> 
> Ping! Ping!

Sorry, I will give it another try today.

I am currently swamped in work due to Debian's time_t transition and
additional tasks at my day job.

Adrian

-- 
 .''`.  John Paul Adrian Glaubitz
: :' :  Debian Developer
`. `'   Physicist
  `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913




Information forwarded to bug-gnu-emacs <at> gnu.org:
bug#65978; Package emacs. (Thu, 21 Mar 2024 21:53:02 GMT) Full text and rfc822 format available.

Message #26 received at 65978 <at> debbugs.gnu.org (full text, mbox):

From: John Paul Adrian Glaubitz <glaubitz <at> physik.fu-berlin.de>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: acorallo <at> gnu.org, debian-powerpc <at> lists.debian.org, 65978 <at> debbugs.gnu.org
Subject: Re: bug#65978: comp-tests-ret-type-spec-71 fails on 32-bit powerpc
Date: Thu, 21 Mar 2024 22:51:59 +0100
Hi,

On Thu, 2024-03-21 at 11:39 +0100, John Paul Adrian Glaubitz wrote:
> On Thu, 2024-03-21 at 12:21 +0200, Eli Zaretskii wrote:
> > > Cc: debian-powerpc <at> lists.debian.org, 65978 <at> debbugs.gnu.org
> > > Date: Thu, 14 Mar 2024 10:28:22 +0200
> > > From: Eli Zaretskii <eliz <at> gnu.org>
> > > 
> > > > Cc: debian-powerpc <debian-powerpc <at> lists.debian.org>, 65978 <at> debbugs.gnu.org
> > > > From: Andrea Corallo <acorallo <at> gnu.org>
> > > > Date: Thu, 07 Mar 2024 13:42:38 -0500
> > > > 
> > > > John Paul Adrian Glaubitz <glaubitz <at> physik.fu-berlin.de> writes:
> > > > 
> > > > Hi John,
> > > > 
> > > > I *think* this should be fixed.  Could you verify and let us know if you
> > > > still see the issue?
> > > 
> > > Ping!  John, could you please verify the fix?
> > 
> > Ping! Ping!
> 
> Sorry, I will give it another try today.
> 
> I am currently swamped in work due to Debian's time_t transition and
> additional tasks at my day job.

All tests pass for me on git master, so I assume the bug has been fixed.

I'm not 100% sure how to run the testsuite in the same way as the Debian
package though.

Adrian

-- 
 .''`.  John Paul Adrian Glaubitz
: :' :  Debian Developer
`. `'   Physicist
  `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913




Reply sent to Eli Zaretskii <eliz <at> gnu.org>:
You have taken responsibility. (Fri, 22 Mar 2024 08:14:04 GMT) Full text and rfc822 format available.

Notification sent to John Paul Adrian Glaubitz <glaubitz <at> physik.fu-berlin.de>:
bug acknowledged by developer. (Fri, 22 Mar 2024 08:14:04 GMT) Full text and rfc822 format available.

Message #31 received at 65978-done <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: John Paul Adrian Glaubitz <glaubitz <at> physik.fu-berlin.de>
Cc: acorallo <at> gnu.org, debian-powerpc <at> lists.debian.org,
 65978-done <at> debbugs.gnu.org
Subject: Re: bug#65978: comp-tests-ret-type-spec-71 fails on 32-bit powerpc
Date: Fri, 22 Mar 2024 09:16:16 +0200
> From: John Paul Adrian Glaubitz <glaubitz <at> physik.fu-berlin.de>
> Cc: acorallo <at> gnu.org, debian-powerpc <at> lists.debian.org, 65978 <at> debbugs.gnu.org
> Date: Thu, 21 Mar 2024 22:51:59 +0100
> 
> Hi,
> 
> On Thu, 2024-03-21 at 11:39 +0100, John Paul Adrian Glaubitz wrote:
> > On Thu, 2024-03-21 at 12:21 +0200, Eli Zaretskii wrote:
> > > > Cc: debian-powerpc <at> lists.debian.org, 65978 <at> debbugs.gnu.org
> > > > Date: Thu, 14 Mar 2024 10:28:22 +0200
> > > > From: Eli Zaretskii <eliz <at> gnu.org>
> > > > 
> > > > > Cc: debian-powerpc <debian-powerpc <at> lists.debian.org>, 65978 <at> debbugs.gnu.org
> > > > > From: Andrea Corallo <acorallo <at> gnu.org>
> > > > > Date: Thu, 07 Mar 2024 13:42:38 -0500
> > > > > 
> > > > > John Paul Adrian Glaubitz <glaubitz <at> physik.fu-berlin.de> writes:
> > > > > 
> > > > > Hi John,
> > > > > 
> > > > > I *think* this should be fixed.  Could you verify and let us know if you
> > > > > still see the issue?
> > > > 
> > > > Ping!  John, could you please verify the fix?
> > > 
> > > Ping! Ping!
> > 
> > Sorry, I will give it another try today.
> > 
> > I am currently swamped in work due to Debian's time_t transition and
> > additional tasks at my day job.
> 
> All tests pass for me on git master, so I assume the bug has been fixed.

Thanks, I'm therefore closing this bug.

> I'm not 100% sure how to run the testsuite in the same way as the Debian
> package though.

I don't think this is our problem, but if I'm wrong, we can always
reopen the bug later with new information.




bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Fri, 19 Apr 2024 11:24:21 GMT) Full text and rfc822 format available.

This bug report was last modified 98 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.