GNU bug report logs - #65527
30.0.50; native compilation: type optimization does not always work for `lisp' return value

Previous Next

Full log

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

From: Andrea Corallo <acorallo <at> gnu.org>
To: Ihor Radchenko <yantar92 <at> posteo.net>
Cc: 65527 <at> debbugs.gnu.org
Subject: Re: bug#65527: 30.0.50; native compilation: type optimization does
 not always work for `lisp' return value
Date: Fri, 25 Aug 2023 07:44:50 -0400

Ihor Radchenko <yantar92 <at> posteo.net> writes:

> X-Debbugs-CC: acorallo <at> gnu.org
>
> Hi,
>
> Following up https://yhetil.org/emacs-devel/yp1pm3b7a2x.fsf <at> fencepost.gnu.org
>
> When we have
>
> (defun test1 ()
>   (let ((x (list 'a 'b 'c)))
>     (when (listp x) "Return value")))
>
> native compilation, fails to optimize away the `listp' return value
> despite it is known that x is a list at compile time.
>

Thanks, will look at.

  Andrea

Previous Next

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