https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119132
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- On &p->array[size + 1]; The instrument is to make sure that would form a valid range of the index. Which is only 0...size. The instrumentation is not done on the pointer deference later on either.