All of lore.kernel.org
 help / color / mirror / Atom feed
* [PATCH v2] vcodec: mediatek: add check for NULL for
@ 2022-11-02 12:10 ` Anastasia Belova
  0 siblings, 0 replies; 6+ messages in thread
From: Anastasia Belova @ 2022-11-02 12:10 UTC (permalink / raw)
  To: Mauro Carvalho Chehab, Matthias Brugger
  Cc: Anastasia Belova, Tiffany Lin, Andrew-CT Chen, Yunfei Dong,
	AngeloGioacchino Del Regno, Hans Verkuil, Nicolas Dufresne,
	linux-media, linux-kernel, linux-arm-kernel, linux-mediatek,
	lvc-project

Any time calling vp9_is_sf_ref_fb we need fb != NULL after checks.

Found by Linux Verification Center (linuxtesting.org) with SVACE.

Fixes: f77e89854b3e ("[media] vcodec: mediatek: Add Mediatek VP9 Video Decoder Driver")

Signed-off-by: Anastasia Belova <abelova@astralinux.ru>
---
 drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c b/drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c
index 70b8383f7c8e..776468cd834a 100644
--- a/drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c
+++ b/drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c
@@ -208,6 +208,9 @@ static bool vp9_is_sf_ref_fb(struct vdec_vp9_inst *inst, struct vdec_fb *fb)
 	int i;
 	struct vdec_vp9_vsi *vsi = inst->vsi;
 
+	if (!fb)
+		return true;
+
 	for (i = 0; i < ARRAY_SIZE(vsi->sf_ref_fb); i++) {
 		if (fb == &vsi->sf_ref_fb[i].fb)
 			return true;
-- 
2.30.2


^ permalink raw reply related	[flat|nested] 6+ messages in thread

* [PATCH v2] vcodec: mediatek: add check for NULL for
@ 2022-11-02 12:10 ` Anastasia Belova
  0 siblings, 0 replies; 6+ messages in thread
From: Anastasia Belova @ 2022-11-02 12:10 UTC (permalink / raw)
  To: Mauro Carvalho Chehab, Matthias Brugger
  Cc: Anastasia Belova, Tiffany Lin, Andrew-CT Chen, Yunfei Dong,
	AngeloGioacchino Del Regno, Hans Verkuil, Nicolas Dufresne,
	linux-media, linux-kernel, linux-arm-kernel, linux-mediatek,
	lvc-project

Any time calling vp9_is_sf_ref_fb we need fb != NULL after checks.

Found by Linux Verification Center (linuxtesting.org) with SVACE.

Fixes: f77e89854b3e ("[media] vcodec: mediatek: Add Mediatek VP9 Video Decoder Driver")

Signed-off-by: Anastasia Belova <abelova@astralinux.ru>
---
 drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c b/drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c
index 70b8383f7c8e..776468cd834a 100644
--- a/drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c
+++ b/drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c
@@ -208,6 +208,9 @@ static bool vp9_is_sf_ref_fb(struct vdec_vp9_inst *inst, struct vdec_fb *fb)
 	int i;
 	struct vdec_vp9_vsi *vsi = inst->vsi;
 
+	if (!fb)
+		return true;
+
 	for (i = 0; i < ARRAY_SIZE(vsi->sf_ref_fb); i++) {
 		if (fb == &vsi->sf_ref_fb[i].fb)
 			return true;
-- 
2.30.2


_______________________________________________
linux-arm-kernel mailing list
linux-arm-kernel@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-arm-kernel

^ permalink raw reply related	[flat|nested] 6+ messages in thread

* Re: [PATCH v2] vcodec: mediatek: add check for NULL for
  2022-11-02 12:10 ` Anastasia Belova
@ 2022-11-03 16:17   ` Nicolas Dufresne
  -1 siblings, 0 replies; 6+ messages in thread
From: Nicolas Dufresne @ 2022-11-03 16:17 UTC (permalink / raw)
  To: Anastasia Belova, Mauro Carvalho Chehab, Matthias Brugger
  Cc: Tiffany Lin, Andrew-CT Chen, Yunfei Dong,
	AngeloGioacchino Del Regno, Hans Verkuil, linux-media,
	linux-kernel, linux-arm-kernel, linux-mediatek, lvc-project

Le mercredi 02 novembre 2022 à 15:10 +0300, Anastasia Belova a écrit :
> Any time calling vp9_is_sf_ref_fb we need fb != NULL after checks.
> 
> Found by Linux Verification Center (linuxtesting.org) with SVACE.
> 
> Fixes: f77e89854b3e ("[media] vcodec: mediatek: Add Mediatek VP9 Video Decoder Driver")

As Angelo said, this change is a no-op in practice, for this reason I would
suggest to drop the `Fixes` tag (not worth the effort of back-porting this).

> 
> Signed-off-by: Anastasia Belova <abelova@astralinux.ru>

Reviewed-by: Nicolas Dufresne <nicolas.dufresne@collabora.com>

> ---
>  drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c | 3 +++
>  1 file changed, 3 insertions(+)
> 
> diff --git a/drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c b/drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c
> index 70b8383f7c8e..776468cd834a 100644
> --- a/drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c
> +++ b/drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c
> @@ -208,6 +208,9 @@ static bool vp9_is_sf_ref_fb(struct vdec_vp9_inst *inst, struct vdec_fb *fb)
>  	int i;
>  	struct vdec_vp9_vsi *vsi = inst->vsi;
>  
> +	if (!fb)
> +		return true;
> +
>  	for (i = 0; i < ARRAY_SIZE(vsi->sf_ref_fb); i++) {
>  		if (fb == &vsi->sf_ref_fb[i].fb)
>  			return true;


^ permalink raw reply	[flat|nested] 6+ messages in thread

* Re: [PATCH v2] vcodec: mediatek: add check for NULL for
@ 2022-11-03 16:17   ` Nicolas Dufresne
  0 siblings, 0 replies; 6+ messages in thread
From: Nicolas Dufresne @ 2022-11-03 16:17 UTC (permalink / raw)
  To: Anastasia Belova, Mauro Carvalho Chehab, Matthias Brugger
  Cc: Tiffany Lin, Andrew-CT Chen, Yunfei Dong,
	AngeloGioacchino Del Regno, Hans Verkuil, linux-media,
	linux-kernel, linux-arm-kernel, linux-mediatek, lvc-project

Le mercredi 02 novembre 2022 à 15:10 +0300, Anastasia Belova a écrit :
> Any time calling vp9_is_sf_ref_fb we need fb != NULL after checks.
> 
> Found by Linux Verification Center (linuxtesting.org) with SVACE.
> 
> Fixes: f77e89854b3e ("[media] vcodec: mediatek: Add Mediatek VP9 Video Decoder Driver")

As Angelo said, this change is a no-op in practice, for this reason I would
suggest to drop the `Fixes` tag (not worth the effort of back-porting this).

> 
> Signed-off-by: Anastasia Belova <abelova@astralinux.ru>

Reviewed-by: Nicolas Dufresne <nicolas.dufresne@collabora.com>

> ---
>  drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c | 3 +++
>  1 file changed, 3 insertions(+)
> 
> diff --git a/drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c b/drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c
> index 70b8383f7c8e..776468cd834a 100644
> --- a/drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c
> +++ b/drivers/media/platform/mediatek/vcodec/vdec/vdec_vp9_if.c
> @@ -208,6 +208,9 @@ static bool vp9_is_sf_ref_fb(struct vdec_vp9_inst *inst, struct vdec_fb *fb)
>  	int i;
>  	struct vdec_vp9_vsi *vsi = inst->vsi;
>  
> +	if (!fb)
> +		return true;
> +
>  	for (i = 0; i < ARRAY_SIZE(vsi->sf_ref_fb); i++) {
>  		if (fb == &vsi->sf_ref_fb[i].fb)
>  			return true;


_______________________________________________
linux-arm-kernel mailing list
linux-arm-kernel@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-arm-kernel

^ permalink raw reply	[flat|nested] 6+ messages in thread

* Re: [PATCH v2] vcodec: mediatek: add check for NULL for
  2022-11-02 12:10 ` Anastasia Belova
@ 2022-11-04  9:05   ` AngeloGioacchino Del Regno
  -1 siblings, 0 replies; 6+ messages in thread
From: AngeloGioacchino Del Regno @ 2022-11-04  9:05 UTC (permalink / raw)
  To: Anastasia Belova, Mauro Carvalho Chehab, Matthias Brugger
  Cc: Tiffany Lin, Andrew-CT Chen, Yunfei Dong, Hans Verkuil,
	Nicolas Dufresne, linux-media, linux-kernel, linux-arm-kernel,
	linux-mediatek, lvc-project

Il 02/11/22 13:10, Anastasia Belova ha scritto:
> Any time calling vp9_is_sf_ref_fb we need fb != NULL after checks.
> 
> Found by Linux Verification Center (linuxtesting.org) with SVACE.
> 
> Fixes: f77e89854b3e ("[media] vcodec: mediatek: Add Mediatek VP9 Video Decoder Driver")
> 
> Signed-off-by: Anastasia Belova <abelova@astralinux.ru>

Hello Anastasia,

for some reason, you've got an incomplete commit title on this v2. Please fix.

Thanks,
Angelo


^ permalink raw reply	[flat|nested] 6+ messages in thread

* Re: [PATCH v2] vcodec: mediatek: add check for NULL for
@ 2022-11-04  9:05   ` AngeloGioacchino Del Regno
  0 siblings, 0 replies; 6+ messages in thread
From: AngeloGioacchino Del Regno @ 2022-11-04  9:05 UTC (permalink / raw)
  To: Anastasia Belova, Mauro Carvalho Chehab, Matthias Brugger
  Cc: Tiffany Lin, Andrew-CT Chen, Yunfei Dong, Hans Verkuil,
	Nicolas Dufresne, linux-media, linux-kernel, linux-arm-kernel,
	linux-mediatek, lvc-project

Il 02/11/22 13:10, Anastasia Belova ha scritto:
> Any time calling vp9_is_sf_ref_fb we need fb != NULL after checks.
> 
> Found by Linux Verification Center (linuxtesting.org) with SVACE.
> 
> Fixes: f77e89854b3e ("[media] vcodec: mediatek: Add Mediatek VP9 Video Decoder Driver")
> 
> Signed-off-by: Anastasia Belova <abelova@astralinux.ru>

Hello Anastasia,

for some reason, you've got an incomplete commit title on this v2. Please fix.

Thanks,
Angelo


_______________________________________________
linux-arm-kernel mailing list
linux-arm-kernel@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-arm-kernel

^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2022-11-04  9:06 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-11-02 12:10 [PATCH v2] vcodec: mediatek: add check for NULL for Anastasia Belova
2022-11-02 12:10 ` Anastasia Belova
2022-11-03 16:17 ` Nicolas Dufresne
2022-11-03 16:17   ` Nicolas Dufresne
2022-11-04  9:05 ` AngeloGioacchino Del Regno
2022-11-04  9:05   ` AngeloGioacchino Del Regno

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.