grub/grub-core
Jagannathan Raman 82ff9faa5b kern/buffer: Handle NULL input pointer in grub_buffer_free()
The grub_buffer_free() should handle NULL input pointer, similar to
grub_free(). If the pointer is not referencing any memory location,
grub_buffer_free() need not perform any function.

Fixes: CID 396931

Signed-off-by: Jagannathan Raman <jag.raman@oracle.com>
Reviewed-by: Ross Philipson <ross.philipson@oracle.com>
Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com>
2022-10-27 16:51:21 +02:00
..
2022-03-14 15:45:03 +01:00
2022-03-14 15:46:38 +01:00
2022-03-14 16:00:27 +01:00
2017-08-14 16:27:10 +02:00
2017-05-03 12:49:31 +02:00
2017-05-03 12:49:31 +02:00