https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111087
--- Comment #9 from Adam Badura <adam.f.badura at gmail dot com> --- Is there any option to improve the warning so that it is not generated in cases that are valid. I mean, to make it flow-dependent? How it works now? What it takes into account and how to phrase the code to avoid the false-positive?