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.
