https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71157
Eric Gallager <egallager at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- See Also| |https://gcc.gnu.org/bugzill | |a/show_bug.cgi?id=84203 --- Comment #8 from Eric Gallager <egallager at gcc dot gnu.org> --- (In reply to Paul Eggert from comment #6) > > 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. Try marking it up with __attribute__((returns_nonnull)) and/or __attribute__((nonnull)). If the first one works, then it's a case where GCC should suggest it, in which case it's bug 84203.