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

[Mattias Engdegård]

6 juli 2020 kl. 23.23 skrev Andrea Corallo <andrea_corallo@yahoo.it>:

> Yes I am happy :) Not sure about the floating point discussion
> originated from this but on my side this bug can be closed.

Then closed it is. I would happily write something in NEWS but -- as Eli noted 
-- for any noticeable change in behaviour to occur, many conditions need to be 
met, several of which are quite unlikely.

More improvements to the constant-folding are possible and desirable. For 
example, I have a patch that deals with constant expressions in let-bindings, 
so that

(let ((x (+ 1 2)))
  (f x))

simplifies to (f 3), with the variable x removed. This in turn generates more 
opportunities for further simplification and dead-code elimination. Tell me if 
you are interested.