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

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#65978: closed (comp-tests-ret-type-spec-71 fails on 32-bit
 powerpc)
Date: Fri, 22 Mar 2024 08:14:04 +0000

[Message part 1 (text/plain, inline)]

Your message dated Fri, 22 Mar 2024 09:16:16 +0200
with message-id <86h6gy20u7.fsf <at> gnu.org>
and subject line Re: bug#65978: comp-tests-ret-type-spec-71 fails on 32-bit powerpc
has caused the debbugs.gnu.org bug report #65978,
regarding comp-tests-ret-type-spec-71 fails on 32-bit powerpc
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
65978: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=65978
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

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

[Message part 3 (message/rfc822, inline)]

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.

Previous Next

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