diff options
Diffstat (limited to 'Build/source/texk/web2c/gftodvi.ch')
-rw-r--r-- | Build/source/texk/web2c/gftodvi.ch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/gftodvi.ch b/Build/source/texk/web2c/gftodvi.ch index 01f689a02c8..3a523ec8163 100644 --- a/Build/source/texk/web2c/gftodvi.ch +++ b/Build/source/texk/web2c/gftodvi.ch @@ -475,6 +475,24 @@ begin end; @z +@x [108] dvi_swap: check dvi file size +begin if dvi_limit=dvi_buf_size then +@y +begin if dvi_ptr>(@"7FFFFFFF-dvi_offset) then + abort('dvi length exceeds "7FFFFFFF'); +@.dvi length exceeds...@> +if dvi_limit=dvi_buf_size then +@z + +@x [109] empty the last bytes: check dvi file size +if dvi_ptr>0 then write_dvi(0,dvi_ptr-1) +@y +if dvi_ptr>(@"7FFFFFFF-dvi_offset) then + abort('dvi length exceeds "7FFFFFFF'); +@.dvi length exceeds...@> +if dvi_ptr>0 then write_dvi(0,dvi_ptr-1) +@z + % [111] More .b?'s. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @x |