https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109565
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- I suspect the warning is correct. In this case it is p < p + size where size is known to be 2 because of the previous condition. So there is an assumption for pointer overflow not to happen for p+2.
