Mauvais tests de bornes dans read, write, etc.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@695 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02master
parent
cf62dc26e3
commit
780c3f6ab9
|
@ -162,11 +162,11 @@ external unsafe_read : file_descr -> string -> int -> int -> int = "unix_read"
|
|||
external unsafe_write : file_descr -> string -> int -> int -> int = "unix_write"
|
||||
|
||||
let read fd buf ofs len =
|
||||
if len < 0 or ofs + len >= String.length buf
|
||||
if len < 0 or ofs + len > String.length buf
|
||||
then invalid_arg "Unix.read"
|
||||
else unsafe_read fd buf ofs len
|
||||
let write fd buf ofs len =
|
||||
if len < 0 or ofs + len >= String.length buf
|
||||
if len < 0 or ofs + len > String.length buf
|
||||
then invalid_arg "Unix.write"
|
||||
else unsafe_write fd buf ofs len
|
||||
|
||||
|
@ -374,19 +374,19 @@ external unsafe_sendto :
|
|||
= "unix_sendto" "unix_sendto_native"
|
||||
|
||||
let recv fd buf ofs len flags =
|
||||
if len < 0 or ofs + len >= String.length buf
|
||||
if len < 0 or ofs + len > String.length buf
|
||||
then invalid_arg "Unix.recv"
|
||||
else unsafe_recv fd buf ofs len flags
|
||||
let recvfrom fd buf ofs len flags =
|
||||
if len < 0 or ofs + len >= String.length buf
|
||||
if len < 0 or ofs + len > String.length buf
|
||||
then invalid_arg "Unix.recvfrom"
|
||||
else unsafe_recvfrom fd buf ofs len flags
|
||||
let send fd buf ofs len flags =
|
||||
if len < 0 or ofs + len >= String.length buf
|
||||
if len < 0 or ofs + len > String.length buf
|
||||
then invalid_arg "Unix.send"
|
||||
else unsafe_send fd buf ofs len flags
|
||||
let sendto fd buf ofs len flags addr =
|
||||
if len < 0 or ofs + len >= String.length buf
|
||||
if len < 0 or ofs + len > String.length buf
|
||||
then invalid_arg "Unix.sendto"
|
||||
else unsafe_sendto fd buf ofs len flags addr
|
||||
|
||||
|
|
Loading…
Reference in New Issue