Re: Bug#38708: eq vs eql in byte-compiled code

[Paul Eggert]

On 1/4/20 10:54 AM, Stefan Monnier wrote:
>> * src/alloc.c (make_pure_bignum): Remove, as we can’t copy (much
>> less purecopy) bignums any more.
> Sounds dangerous: it means that pure objects which point to bignums
> could end up with dangling pointers because the GC won't see those
> pointers and will then GC the corresponding bignum.

That dangerous thing can't happen, as the change causes purecopy to signal an
error when given a bignum. That is, bignums fall into the same category as
markers, overlays and other objects where purecopy signals an error. Since these
objects are not used in the early phase of building that calls purecopy, this
should not be an issue.