https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105961
--- Comment #4 from David Malcolm <dmalcolm at gcc dot gnu.org> --- As well as the false positive, the diagnostic path is rather unreadable due to inlining. I've filed a separate bug about this (PR 105962).