[FFmpeg-devel] [PATCH 2/9] avcodec/tiff: Assert init_get_bits8() success in unpack_gray()

[Andreas Rheinhardt]

Michael Niedermayer:
> Helps: CID1441939 Unchecked return value
> 
> Sponsored-by: Sovereign Tech Fund
> Signed-off-by: Michael Niedermayer <michael at niedermayer.cc>
> ---
>  libavcodec/tiff.c | 3 ++-
>  1 file changed, 2 insertions(+), 1 deletion(-)
> 
> diff --git a/libavcodec/tiff.c b/libavcodec/tiff.c
> index ca7e9f6aba9..31de6ad7308 100644
> --- a/libavcodec/tiff.c
> +++ b/libavcodec/tiff.c
> @@ -457,7 +457,8 @@ static void unpack_gray(TiffContext *s, AVFrame *p,
>      GetBitContext gb;
>      uint16_t *dst = (uint16_t *)(p->data[0] + lnum * p->linesize[0]);
>  
> -    init_get_bits8(&gb, src, width);
> +    int ret = init_get_bits8(&gb, src, width);
> +    av_assert1(ret >= 0);
>  
>      for (int i = 0; i < s->width; i++) {
>          dst[i] = get_bits(&gb, bpp);

What guarantees that this is not triggered?

- Andreas