c - cppcheck は、ヒープ ポインターが関数に渡されるときにリークを検出できませんか?

Question

cppcheckこの例のように、ヒープ ポインターの所有権が解放に失敗する関数に渡されるプログラムで、メモリ リークを検出できないのはなぜですか?

#include <stdlib.h>

void func(char *xx)
{
    // do nothing
}

int main(void)
{
    char *p = malloc(1000);
    func(p);
    return 0;
}

への呼び出しを削除するとfunc(p)、cppcheck はリークを検出します。