https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103502
--- Comment #5 from Stas Sergeev <stsp at users dot sourceforge.net> --- Note that this code example is trivial. If the warning have disappeared as a false-negative, then I am surprised you close this as NOTABUG, as there is definitely something to fix or improve here. Not detecting such a trivial case is a bug. If OTOH gcc actually deduced that this code is safe, then I am more than happy, but this have to be confirmed explicitly. You inserted the seemingly redundant "not" in your sentence, so I am not sure what you actually meant to say.
