diff mbox series

[FFmpeg-devel] avfilter/vf_v360: Add assert to suppress Coverity false positives

Message ID AS8P250MB0744FB2ED85F8DA7A5A1F6268FEE2@AS8P250MB0744.EURP250.PROD.OUTLOOK.COM
State Accepted
Commit 0d7430d3ab9a818e14f99176dc7fe55860b184a1
Headers show
Series [FFmpeg-devel] avfilter/vf_v360: Add assert to suppress Coverity false positives | expand

Checks

Context Check Description
yinshiyou/make_loongarch64 success Make finished
yinshiyou/make_fate_loongarch64 success Make fate finished
andriy/make_x86 success Make finished
andriy/make_fate_x86 success Make fate finished

Commit Message

Andreas Rheinhardt May 17, 2024, 9:15 p.m. UTC
Should fix many Coverity false positives, namely #1457947-#1457994
as well as #1461195-#146210.

Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@outlook.com>
---
 libavfilter/vf_v360.c | 2 ++
 1 file changed, 2 insertions(+)

Comments

Andreas Rheinhardt May 19, 2024, 9:57 a.m. UTC | #1
Andreas Rheinhardt:
> Should fix many Coverity false positives, namely #1457947-#1457994
> as well as #1461195-#146210.
> 
> Signed-off-by: Andreas Rheinhardt <andreas.rheinhardt@outlook.com>
> ---
>  libavfilter/vf_v360.c | 2 ++
>  1 file changed, 2 insertions(+)
> 
> diff --git a/libavfilter/vf_v360.c b/libavfilter/vf_v360.c
> index 5ea6e0d865..299dbe9ff5 100644
> --- a/libavfilter/vf_v360.c
> +++ b/libavfilter/vf_v360.c
> @@ -286,6 +286,8 @@ static int remap##ws##_##bits##bit_slice(AVFilterContext *ctx, void *arg, int jo
>      const AVFrame *in = td->in;                                                                            \
>      AVFrame *out = td->out;                                                                                \
>                                                                                                             \
> +    av_assert1(s->nb_planes <= AV_VIDEO_MAX_PLANES);                                                       \
> +                                                                                                           \
>      for (int stereo = 0; stereo < 1 + s->out_stereo > STEREO_2D; stereo++) {                               \
>          for (int plane = 0; plane < s->nb_planes; plane++) {                                               \
>              const unsigned map = s->map[plane];                                                            \

Will apply this patch tomorrow unless there are objections.

- Andreas
diff mbox series

Patch

diff --git a/libavfilter/vf_v360.c b/libavfilter/vf_v360.c
index 5ea6e0d865..299dbe9ff5 100644
--- a/libavfilter/vf_v360.c
+++ b/libavfilter/vf_v360.c
@@ -286,6 +286,8 @@  static int remap##ws##_##bits##bit_slice(AVFilterContext *ctx, void *arg, int jo
     const AVFrame *in = td->in;                                                                            \
     AVFrame *out = td->out;                                                                                \
                                                                                                            \
+    av_assert1(s->nb_planes <= AV_VIDEO_MAX_PLANES);                                                       \
+                                                                                                           \
     for (int stereo = 0; stereo < 1 + s->out_stereo > STEREO_2D; stereo++) {                               \
         for (int plane = 0; plane < s->nb_planes; plane++) {                                               \
             const unsigned map = s->map[plane];                                                            \