Fixed #6357 (Improve check: pointer arithmetic 'p+x' overrun, conditional x)