2
0
mirror of https://github.com/sudo-project/sudo.git synced 2025-08-28 12:57:50 +00:00

Avoid a Coverity positive.

This commit is contained in:
Todd C. Miller 2022-07-26 13:05:46 -06:00
parent 6c9b3c7613
commit 23ab31fce0

View File

@ -147,11 +147,11 @@ void
sudo_mmap_free_v1(void *ptr)
{
if (ptr != NULL) {
unsigned long *ulp = ptr;
const unsigned long size = ulp[-1];
unsigned long *ulp = (unsigned long *)ptr - 1;
const unsigned long size = ulp[0];
int saved_errno = errno;
(void)munmap((void *)&ulp[-1], size);
(void)munmap((void *)ulp, size);
errno = saved_errno;
}
}