summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/gftodvi.ch
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/gftodvi.ch')
-rw-r--r--Build/source/texk/web2c/gftodvi.ch18
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