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的)呢?