А что с ним не так?) Если вы про то, почему на него не ругнулись - он во всех случаях разыменуется без проверки. Выдавать на каждое такое использование указателя в функции глупо, т.к. будет много ложных срабатываний. Да, есть __attribute__((nonnull)), но присутствует он не во всех компиляторах и не всегда используется (как, например, в этом случае).

Да, обязательно отпишу :)

В этом, как бы, и задумка, чтобы было не понятно до прочтения описания.