https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88566
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- This is a non flow sensitive warning. There are a bunch were are not; flow sensitivity would make this warning worse not better in my mind as it means in inlining would cause correct warnings to disappear.