Re: [PATCH v2 15/24] habanalabs: use vmalloc_array and vcalloc

On Tue, Jun 27, 2023 at 5:44 PM Julia Lawall wrote: > > Use vmalloc_array and vcalloc to protect against > multiplication overflows. > > The changes were done using the following Coccinelle > semantic patch: > > // > @initialize:ocaml@ > @@ > > let rename alloc = > match alloc with > "vmall

[PATCH v2 15/24] habanalabs: use vmalloc_array and vcalloc

Use vmalloc_array and vcalloc to protect against multiplication overflows. The changes were done using the following Coccinelle semantic patch: // @initialize:ocaml@ @@ let rename alloc = match alloc with "vmalloc" -> "vmalloc_array" | "vzalloc" -> "vcalloc" | _ -> failwith "unknown"