https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101134
--- Comment #3 from Martin Sebor <msebor at gcc dot gnu.org> --- The warning architecture doesn't make it possible to distinguish between the two situations you describe. No flow-sensitive GCC warning points out a certain bug: every instance needs to be viewed as only a possible one. The article below helps explain some of the underlying challenges here in detail: https://developers.redhat.com/blog/2019/03/13/understanding-gcc-warnings-part-2
