Теоретически я могу сказать, что

free(ptr);
free(ptr); 

это повреждение памяти, так как мы освобождаем память, которая уже была освобождена.

Но что, если

free(ptr);
ptr=NULL;
free(ptr); 

Поскольку ОС будет вести себя неопределенным образом, я не могу получить теоретический анализ того, что происходит. Что бы я ни делал, это повреждение памяти или нет?

Является ли освобождение указателя NULL допустимым?