https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116494
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> --- Yes. It's a false positive warning about unreachable dead code. We have dozens of these warnings for -Wrestrict, -Wstringop-overflow, and related warnings.