c语言 为什么函数可以返回了一个局部指针结构体？

c语言的里，在函数内部定义的局部指针变量是不能作为返回值的，但我在函数内部定义了一个局部的指针结构体，最后可以返回，这是为什么？

附上代码：

Node_t * ReverseList(Node_t *head)
{
    Node_t *pPrev = NULL;
    Node_t *next = NULL; 

    head = head->pNext;
    while (head != NULL)
    { 
        next = head->pNext;
        head->pNext = pPrev;
        pPrev = head;
        head = next;
    }

    head = pPrev;
    printf("head in fun :%x",head);
    return pPrev;

}

这是一个将单链表反转的函数

如果没有调用别的函数，堆栈没有再覆盖，可以返回的，这是未定义行为

c语言的里，在函数内部定义的局部指针变量是不能作为返回值的？这句话让我怀疑我自己三秒钟，还有这种说法？要是返回是堆内存的指针(malloc的)呢？