https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107184
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- This is where analyzer comes into hand really. Maybe the warning should suggest using analyzer for more details? Even if they are two different code bases for the warning and analyzer it seems like they could work together ....