https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104929
--- Comment #2 from Andreas Schwab <sch...@linux-m68k.org> --- I think the point here is that s is not guaranteed to be non-NULL. You can add if (s == 0) __builtin_unreachable(); to suppress the warning.
