IN_RANGE          288 libavcodec/h264_slice.c                    IN_RANGE(from[i], old_base, 1) ||
IN_RANGE          289 libavcodec/h264_slice.c                    IN_RANGE(from[i], old_base->DPB, H264_MAX_PICTURE_COUNT));