32bit max_int

This commit is contained in:
John Whitington 2023-06-24 21:21:22 +01:00
parent b5a9d1d59f
commit 3f0ebec69d
1 changed files with 1 additions and 1 deletions

View File

@ -64,7 +64,7 @@ let write_word b x n =
Bytes.set b (x + 3) (char_of_int s) Bytes.set b (x + 3) (char_of_int s)
let write_png png o = let write_png png o =
if bytes_size png.idat > 2147483647 then raise (Invalid_argument "write_png: too large") else if bytes_size png.idat > 1073741823 then raise (Invalid_argument "write_png: too large") else
if Array.length !tbl = 0 then mktbl (); if Array.length !tbl = 0 then mktbl ();
o.output_string "\137\080\078\071\013\010\026\010"; o.output_string "\137\080\078\071\013\010\026\010";
let ihdr = Bytes.make 13 '\000' in let ihdr = Bytes.make 13 '\000' in