Subject: bug#46540: 28.0.50; Native-comp optimization bug

From: Andrea Corallo <[email-masked]>
Date: Mon, 15 Feb 2021 20:08:54 +0000

Yu Han Quek <[email-masked]> writes:

> The following function gives an incorrect result when compiled natively
> with comp-speed >= 2.
>
> ;; -*- lexical-binding: t; -*-
>
> (defun native-comp-bug (body)
>   (let ((x (car body))
>         (y (cadr body)))
>     (unless (and
>              (natnump x)
>              (natnump y)
>              (<= x y))
>       (error ""))
>     x))

Cool thanks for the reduced reproducer!

I'll have a in the coming days.

  Andrea