[tex-live] Re: [tex-implementors] Re: bug in etex
P.Taylor at Rhul.Ac.Uk
Wed Jul 14 15:00:55 CEST 2004
Olaf Weber wrote:
> This does not happen on those systems where min_halfword is defined as
> 0, as mem and mem are valid array accesses, even if they are
> semantically invalid in the code doing those accesses.
Intriguingly, Knuth writes :
The minimum halfword value represents a null pointer.
\TeX\ does not assume that |mem[null]| exists.
whilst in the EteX Pascal source, we find :
IF T<=3 THEN BEGIN MEM[CURPTR+1].HH.RH:=0;MEM.HH.RH:=MEM.HH.RH+1;
IF S<>0 THEN BEGIN MEM.HH.RH:=MEM.HH.RH+1;DELETEGLUEREF(S);
INT=0)THEN BEGIN MEM.HH.RH:=MEM.HH.RH+1;DELETEGLUEREF(CURVAL);
There's no conflict, but it is intriguing to see that MEM is explicitly
referenced at a few points in the code ...
More information about the tex-live