https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71157
--- Comment #6 from Paul Eggert <eggert at gnu dot org> --- > this is because it thinks skip_space() may return NULL: That sounds like a bug, then, as skip_spaces immediately dereferences its argument, so it cannot possibly return NULL. Also, skip_spaces is never passed an argument that could possibly be NULL, so even if the function simply returns its argument the result cannot be NULL.
