https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109565
--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Yes it should mention overflow on pointers. Anyways also see https://gcc.gnu.org/onlinedocs/gcc/Code-Gen-Options.html#index-fwrapv-pointer and right below that with fstrict-overflow .