Problem with __gmp_expr

[Torbjorn Granlund]

Marc Glisse <marc.glisse at inria.fr> writes:

  I still believe it is too late for 5.2, but it is definitely worth
  considering for 5.3, if it makes more code valid (although it is a
  kind of code I'd prefer people not to write) and lets the compiler
  generate better asm. It should also make it easier to implement other
  optimizations like replacing -(-x) with x.
  
I have epsilon understanding of C++, so I cannot contribute any
judgements in this area.

If those who have educated hypotheses about the semantics of the
wonderful C++ language are reasonably convinced that this change is
correct, we might want to try the change and rely on this:

https://gmplib.org/devel/tm-date.html

Thanks to the testseq mechanism (~tege/prec/testseq.c) and system
emulation we now have really broad testing.  (The reporting mechanism
might need some work.)

If it breaks, we can roll back the change.


Torbjörn
Please encrypt, key id 0xC8601622