Use #$ for lambda fixups in native compilation data vectorsscratch/no-purespace

The "#$" syntax is recognized by Fread, which substitutes
Vload_file_name in its place.  If Vload_file_name is bound
appropriately, no other value can produce an object EQ to the one
produced by "#$".

We use this to check the data vector for entries that we know should
have been initialized: if the value is still equal to what we bound
Vload_file_name to when it was read, it wasn't initialized, and we
abort.

* lisp/emacs-lisp/comp.el (comp--#$): New defvar.
(comp--finalize-container): Use it.
* src/comp.c (ABI_VERSION): Bump.
(emit_static_object): Ensure 'comp--#$' prints as "#$".
(load_static_obj): Ensure '#$' reads as Vcomp__hashdollar.
(check_comp_unit_relocs): Adjust assertion.
(syms_of_comp): Define 'comp--#$'.
* src/pdumper.c (dump_do_dump_relocation): Adjust assertion.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/pdumper.c b/src/pdumper.c
index d45bbc84bba..a27df8d96d4 100644
--- a/src/pdumper.c
+++ b/src/pdumper.c
@@ -5504,7 +5504,7 @@ dump_do_dump_relocation (const uintptr_t dump_base,
             XSETSUBR (tem, subr);
             Lisp_Object *fixup =
               &(comp_u->data_relocs[XFIXNUM (lambda_data_idx)]);
-            eassert (EQ (*fixup, Q__lambda_fixup));
+            eassert (EQ (*fixup, Vcomp__hashdollar));
             *fixup = tem;
             Fputhash (tem, Qt, comp_u->lambda_gc_guard_h);
           }