AlexanderKurenev Apr 5 2022 at 15:33

Что там у PVS-Studio c покрытием Toyota ITC Benchmark?

8 min

2.3K

PVS-Studio corporate blogC*C++*Information Security*

Comments 3

a-tk Apr 6 2022 at 08:10

Вообще говоря free(void*) допускает передачу nullptr...

If ptr is a null pointer, the function does nothing.
...
Notes
The function accepts (and does nothing with) the null pointer to reduce the amount of special-casing. Whether allocation succeeds or not, the pointer returned by an allocation function can be passed to free()

https://en.cppreference.com/w/c/memory/free

AlexanderKurenev Apr 6 2022 at 09:17

Согласен с Вами, что в функцию free можно передавать нулевой указатель. Цитирую из статьи: "Заметим, что сам по себе вызов функции free на нулевом указателе не является ошибкой."

Предупреждение PVS-Studio V575 прежде всего про то, что в функцию free странно передавать нулевой указатель. Возможно, указатель занулили до вызова free и получили утечку памяти. Может быть, опечатались в названии переменной, и хотели освободить память по другому адресу.

a-tk Apr 6 2022 at 11:39

Возможно, анализом вариантов присваивания (или хотя бы при инициализации) можно было бы понять, что там может быть NULL, и, если нет проверки на NULL, то отмечать это низкоприоритетным сообщением, но опять-таки... to reduce the amount of special-casing.