It seems to be possible to have a check_pure_storage function which
would traverse pure storage and validate that it only refers to
other pure object -- and also that pure storage only contains
valid objects (e.g. I don't think storing a buffer or window object
in pure storage makes any sense).
If we conclude that this problem is real, we could solve it
much more easily than that. When copying an object to pure space,
any time it points to an object that isn't copied, we could verify
that that object will be protected in some other way. If not, we could
staticpro the pure slot.
_______________________________________________
Emacs-pretest-bug mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/emacs-pretest-bug
