[lvc-project] [PATCH] media: pvrusb2: remove redundant NULL check

Fedor Pchelkin pchelkin at ispras.ru
Fri Mar 15 13:31:24 MSK 2024


On Sun, 11. Feb 07:07, Daniil Dulov wrote:
> Pointer dip->stream cannot be NULL due to a shift, thus remove redundant NULL check.

Возможно что-то упускаю, но что означает "сдвиг" в данном контексте?
Может быть более корректно было бы написать, что этот указатель
инициализирован адресом поля существующего объекта?

> 
> Found by Linux Verification Center (linuxtesting.org) with SVACE.
> 
> Fixes: c74e0062684b ("V4L/DVB (5059): Pvrusb2: Be smarter about mode restoration")
> Signed-off-by: Daniil Dulov <d.dulov at aladdin.ru>
> ---
>  drivers/media/usb/pvrusb2/pvrusb2-v4l2.c | 5 -----
>  1 file changed, 5 deletions(-)
> 
> diff --git a/drivers/media/usb/pvrusb2/pvrusb2-v4l2.c b/drivers/media/usb/pvrusb2/pvrusb2-v4l2.c
> index 9657c1883311..c872868becbd 100644
> --- a/drivers/media/usb/pvrusb2/pvrusb2-v4l2.c
> +++ b/drivers/media/usb/pvrusb2/pvrusb2-v4l2.c
> @@ -1202,11 +1202,6 @@ static void pvr2_v4l2_dev_init(struct pvr2_v4l2_dev *dip,
>  		dip->minor_type = pvr2_v4l_type_video;
>  		nr_ptr = video_nr;
>  		caps |= V4L2_CAP_VIDEO_CAPTURE | V4L2_CAP_AUDIO;
> -		if (!dip->stream) {
> -			pr_err(KBUILD_MODNAME
> -				": Failed to set up pvrusb2 v4l video dev due to missing stream instance\n");
> -			return;
> -		}
>  		break;
>  	case VFL_TYPE_VBI:
>  		dip->config = pvr2_config_vbi;
> -- 
> 2.25.1
> 



More information about the lvc-project mailing list