关于 C 语言 generic pointer 的问题

在看 Understanding and Using C Pointers (这本书真是错漏百出)，其中一个例子觉得有问题，但是勘误上没有，想求证下。

#include <stdio.h>
#include <stdlib.h>

#define safeFree(p) saferFree((void**)&(p))

void saferFree(void** pp)
{
    if (pp != NULL && *pp != NULL) {
        free(*pp);
        *pp = NULL;
    }
}

int main()
{
    int* pi;
    pi = (int*)malloc(sizeof(int));
    *pi = 5;
    printf("Before: %p\n", pi);
    safeFree(pi);
    printf("After: %p\n", pi);
    safeFree(pi);
    return (EXIT_SUCCESS);
}

作者想写个 free 的封装，来避免 double free 的问题。根据这里我觉得这里的 void ** 不对，应该是 void * 才对。

#include <stdio.h>
#include <stdlib.h>

void saferFree(void* p)
{
    int** ptr = p;
    if (ptr && *ptr) {
        free(*ptr);
        *ptr = NULL;
    }
}

int main()
{

    int* pi = malloc(sizeof(*pi));
    *pi = 5;

    printf("Before: %p\n", pi);
    saferFree(&pi);
    printf("After: %p\n", pi);
    saferFree(&pi);

    return 0;
}