https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104215
--- Comment #7 from Martin Sebor <msebor at gcc dot gnu.org> --- The kernel false positive is discussed in bug 104069 comment 13. I don't think it's related to this issue but you're of course right that this warning isn't immune to false positives. That's true for all warnings in GCC but especially so for the flow-dependent ones that depend on optimizers. They're inherent in their design. The best we can do is try to minimize them but we'll never be able to avoid them all. But I'm tired of having this argument each time a false positive pops up that can't be easily avoided so I won't be working on any more warnings in the future.
