Subject: Re: bug#42147: 28.0.50; pure vs side-effect-free, missing optimizations?

From: Andrea Corallo <[email-masked]>
Date: Tue, 30 Jun 2020 23:14:02 +0000 (UTC)

Ok I realized that fixnump is a very bad example because the result is
strictly platform dependent.

Please replace it with numberp or some other simple predicate.

  Andrea