Fixed #5126 (new check: missing pointer dereference or pointer overflow 'if (p+1)')