[FFmpeg-devel] [PATCH 1/2] avcodec/vvcdec: deblock, fix uninitialized values

Nuo Mi nuomi2021 at gmail.com
Tue Jan 9 03:00:11 EET 2024


On Sun, Jan 7, 2024 at 12:43 PM Nuo Mi <nuomi2021 at gmail.com> wrote:

> see
> https://fate.ffmpeg.org/report.cgi?slot=x86_64-archlinux-gcc-valgrind&time=20240105201935
>
> If tc is zero, the max_len_q, max_len_p are uninitialized.
>
> Reported-by: James Almer <jamrial at gmail.com>
>
Hi James,
Could you help try and review this?
Thank you

> ---
>  libavcodec/vvc/vvc_filter_template.c | 231 +++++++++++++--------------
>  1 file changed, 114 insertions(+), 117 deletions(-)
>
> diff --git a/libavcodec/vvc/vvc_filter_template.c
> b/libavcodec/vvc/vvc_filter_template.c
> index a4f1792ec4..e30deaac96 100644
> --- a/libavcodec/vvc/vvc_filter_template.c
> +++ b/libavcodec/vvc/vvc_filter_template.c
> @@ -798,81 +798,78 @@ static void FUNC(vvc_loop_filter_luma)(uint8_t*
> _pix, ptrdiff_t _xstride, ptrdif
>      const ptrdiff_t ystride = _ystride / sizeof(pixel);
>
>      for (int i = 0; i < 2; i++) {
> -        pixel* pix      = (pixel*)_pix + i * 4 * ystride;
> -        const int dp0   = abs(P2 - 2 * P1 + P0);
> -        const int dq0   = abs(Q2 - 2 * Q1 + Q0);
> -        const int dp3   = abs(TP2 - 2 * TP1 + TP0);
> -        const int dq3   = abs(TQ2 - 2 * TQ1 + TQ0);
> -        const int d0    = dp0 + dq0;
> -        const int d3    = dp3 + dq3;
>  #if BIT_DEPTH < 10
>          const int tc    = (_tc[i] + (1 << (9 - BIT_DEPTH))) >> (10 -
> BIT_DEPTH);
>  #else
>          const int tc    = _tc[i] << (BIT_DEPTH - 10);
>  #endif
> -        const int tc25  = ((tc * 5 + 1) >> 1);
> -
> -        const int no_p  = _no_p[i];
> -        const int no_q  = _no_q[i];
> -
> -        int max_len_p   = _max_len_p[i];
> -        int max_len_q   = _max_len_q[i];
> -
> -        const int large_p = (max_len_p > 3 && !hor_ctu_edge);
> -        const int large_q = max_len_q > 3;
> -        const int beta = _beta[i] << BIT_DEPTH - 8;
> -
> -        const int beta_3 = beta >> 3;
> -        const int beta_2 = beta >> 2;
> -
> -        if (!tc)
> -            continue;
> -
> -        if (large_p || large_q) {
> -            const int dp0l = large_p ? ((dp0 + abs(P5 - 2 * P4 + P3) + 1)
> >> 1) : dp0;
> -            const int dq0l = large_q ? ((dq0 + abs(Q5 - 2 * Q4 + Q3) + 1)
> >> 1) : dq0;
> -            const int dp3l = large_p ? ((dp3 + abs(TP5 - 2 * TP4 + TP3) +
> 1) >> 1) : dp3;
> -            const int dq3l = large_q ? ((dq3 + abs(TQ5 - 2 * TQ4 + TQ3) +
> 1) >> 1) : dq3;
> -            const int d0l = dp0l + dq0l;
> -            const int d3l = dp3l + dq3l;
> -            const int beta53 = beta * 3 >> 5;
> -            const int beta_4 = beta >> 4;
> -            max_len_p = large_p ? max_len_p : 3;
> -            max_len_q = large_q ? max_len_q : 3;
> -
> -            if (d0l + d3l < beta) {
> -                const int sp0l = abs(P3 - P0) + (max_len_p == 7 ? abs(P7
> - P6 - P5 + P4) : 0);
> -                const int sq0l = abs(Q0 - Q3) + (max_len_q == 7 ? abs(Q4
> - Q5 - Q6 + Q7) : 0);
> -                const int sp3l = abs(TP3 - TP0) + (max_len_p == 7 ?
> abs(TP7 - TP6 - TP5 + TP4) : 0);
> -                const int sq3l = abs(TQ0 - TQ3) + (max_len_q == 7 ?
> abs(TQ4 - TQ5 - TQ6 + TQ7) : 0);
> -                const int sp0 = large_p ? ((sp0l + abs(P3 -
>  P(max_len_p)) + 1) >> 1) : sp0l;
> -                const int sp3 = large_p ? ((sp3l + abs(TP3 -
> TP(max_len_p)) + 1) >> 1) : sp3l;
> -                const int sq0 = large_q ? ((sq0l + abs(Q3 -
>  Q(max_len_q)) + 1) >> 1) : sq0l;
> -                const int sq3 = large_q ? ((sq3l + abs(TQ3 -
> TQ(max_len_q)) + 1) >> 1) : sq3l;
> -                if (sp0 + sq0 < beta53 && abs(P0 - Q0) < tc25 &&
> -                    sp3 + sq3 < beta53 && abs(TP0 - TQ0) < tc25 &&
> -                    (d0l << 1) < beta_4 && (d3l << 1) < beta_4) {
> -                    FUNC(loop_filter_luma_large)(pix, xstride, ystride,
> tc, no_p, no_q, max_len_p, max_len_q);
> -                    continue;
> +        if (tc) {
> +            pixel* pix     = (pixel*)_pix + i * 4 * ystride;
> +            const int dp0  = abs(P2 - 2 * P1 + P0);
> +            const int dq0  = abs(Q2 - 2 * Q1 + Q0);
> +            const int dp3  = abs(TP2 - 2 * TP1 + TP0);
> +            const int dq3  = abs(TQ2 - 2 * TQ1 + TQ0);
> +            const int d0   = dp0 + dq0;
> +            const int d3   = dp3 + dq3;
> +            const int tc25 = ((tc * 5 + 1) >> 1);
> +            const int no_p = _no_p[i];
> +            const int no_q = _no_q[i];
> +
> +            int max_len_p     = _max_len_p[i];
> +            int max_len_q     = _max_len_q[i];
> +            const int large_p = (max_len_p > 3 && !hor_ctu_edge);
> +            const int large_q = max_len_q > 3;
> +
> +            const int beta   = _beta[i] << BIT_DEPTH - 8;
> +            const int beta_3 = beta >> 3;
> +            const int beta_2 = beta >> 2;
> +
> +            if (large_p || large_q) {
> +                const int dp0l = large_p ? ((dp0 + abs(P5 - 2 * P4 + P3)
> + 1) >> 1) : dp0;
> +                const int dq0l = large_q ? ((dq0 + abs(Q5 - 2 * Q4 + Q3)
> + 1) >> 1) : dq0;
> +                const int dp3l = large_p ? ((dp3 + abs(TP5 - 2 * TP4 +
> TP3) + 1) >> 1) : dp3;
> +                const int dq3l = large_q ? ((dq3 + abs(TQ5 - 2 * TQ4 +
> TQ3) + 1) >> 1) : dq3;
> +                const int d0l  = dp0l + dq0l;
> +                const int d3l  = dp3l + dq3l;
> +                const int beta53 = beta * 3 >> 5;
> +                const int beta_4 = beta >> 4;
> +                max_len_p = large_p ? max_len_p : 3;
> +                max_len_q = large_q ? max_len_q : 3;
> +
> +                if (d0l + d3l < beta) {
> +                    const int sp0l = abs(P3 - P0) + (max_len_p == 7 ?
> abs(P7 - P6 - P5 + P4) : 0);
> +                    const int sq0l = abs(Q0 - Q3) + (max_len_q == 7 ?
> abs(Q4 - Q5 - Q6 + Q7) : 0);
> +                    const int sp3l = abs(TP3 - TP0) + (max_len_p == 7 ?
> abs(TP7 - TP6 - TP5 + TP4) : 0);
> +                    const int sq3l = abs(TQ0 - TQ3) + (max_len_q == 7 ?
> abs(TQ4 - TQ5 - TQ6 + TQ7) : 0);
> +                    const int sp0 = large_p ? ((sp0l + abs(P3 -
>  P(max_len_p)) + 1) >> 1) : sp0l;
> +                    const int sp3 = large_p ? ((sp3l + abs(TP3 -
> TP(max_len_p)) + 1) >> 1) : sp3l;
> +                    const int sq0 = large_q ? ((sq0l + abs(Q3 -
>  Q(max_len_q)) + 1) >> 1) : sq0l;
> +                    const int sq3 = large_q ? ((sq3l + abs(TQ3 -
> TQ(max_len_q)) + 1) >> 1) : sq3l;
> +                    if (sp0 + sq0 < beta53 && abs(P0 - Q0) < tc25 &&
> +                        sp3 + sq3 < beta53 && abs(TP0 - TQ0) < tc25 &&
> +                        (d0l << 1) < beta_4 && (d3l << 1) < beta_4) {
> +                        FUNC(loop_filter_luma_large)(pix, xstride,
> ystride, tc, no_p, no_q, max_len_p, max_len_q);
> +                        continue;
> +                    }
>                  }
>              }
> -        }
> -        if (d0 + d3 < beta) {
> -            if (max_len_p > 2 && max_len_q > 2 &&
> -                abs(P3 - P0) + abs(Q3 - Q0) < beta_3 && abs(P0 - Q0) <
> tc25 &&
> -                abs(TP3 - TP0) + abs(TQ3 - TQ0) < beta_3 && abs(TP0 -
> TQ0) < tc25 &&
> -                (d0 << 1) < beta_2 && (d3 << 1) < beta_2) {
> -                FUNC(loop_filter_luma_strong)(pix, xstride, ystride, tc,
> no_p, no_q);
> -            } else { // weak filtering
> -                int nd_p = 1;
> -                int nd_q = 1;
> -                if (max_len_p > 1 && max_len_q > 1) {
> -                    if (dp0 + dp3 < ((beta + (beta >> 1)) >> 3))
> -                        nd_p = 2;
> -                    if (dq0 + dq3 < ((beta + (beta >> 1)) >> 3))
> -                        nd_q = 2;
> +            if (d0 + d3 < beta) {
> +                if (max_len_p > 2 && max_len_q > 2 &&
> +                    abs(P3 - P0) + abs(Q3 - Q0) < beta_3 && abs(P0 - Q0)
> < tc25 &&
> +                    abs(TP3 - TP0) + abs(TQ3 - TQ0) < beta_3 && abs(TP0 -
> TQ0) < tc25 &&
> +                    (d0 << 1) < beta_2 && (d3 << 1) < beta_2) {
> +                    FUNC(loop_filter_luma_strong)(pix, xstride, ystride,
> tc, no_p, no_q);
> +                } else { // weak filtering
> +                    int nd_p = 1;
> +                    int nd_q = 1;
> +                    if (max_len_p > 1 && max_len_q > 1) {
> +                        if (dp0 + dp3 < ((beta + (beta >> 1)) >> 3))
> +                            nd_p = 2;
> +                        if (dq0 + dq3 < ((beta + (beta >> 1)) >> 3))
> +                            nd_q = 2;
> +                    }
> +                    FUNC(loop_filter_luma_weak)(pix, xstride, ystride,
> tc, beta, no_p, no_q, nd_p, nd_q);
>                  }
> -                FUNC(loop_filter_luma_weak)(pix, xstride, ystride, tc,
> beta, no_p, no_q, nd_p, nd_q);
>              }
>          }
>      }
> @@ -954,65 +951,65 @@ static void FUNC(vvc_loop_filter_chroma)(uint8_t
> *_pix, const ptrdiff_t  _xstrid
>      const int end           = 8 / size;         // 8 samples a loop
>
>      for (int i = 0; i < end; i++) {
> -        pixel *pix          = (pixel *)_pix + i * size * ystride;
> -        const uint8_t no_p  = _no_p[i];
> -        const uint8_t no_q  = _no_q[i];
> -        const int beta      = _beta[i] << (BIT_DEPTH - 8);
> -        const int beta_3    = beta >> 3;
> -        const int beta_2    = beta >> 2;
> -
>  #if BIT_DEPTH < 10
>          const int tc = (_tc[i] + (1 << (9 - BIT_DEPTH))) >> (10 -
> BIT_DEPTH);
>  #else
>          const int tc = _tc[i] << (BIT_DEPTH - 10);
>  #endif
> -        const int tc25      = ((tc * 5 + 1) >> 1);
> -
> -        uint8_t max_len_p   = _max_len_p[i];
> -        uint8_t max_len_q   = _max_len_q[i];
> -
> -        if (!max_len_p || !max_len_q || !tc)
> -            continue;
> -
> -        if (max_len_q == 3){
> -            const int p1n  = shift ? FP1 : TP1;
> -            const int p2n = max_len_p == 1 ? p1n : (shift ? FP2 : TP2);
> -            const int p0n  = shift ? FP0 : TP0;
> -            const int q0n  = shift ? FQ0 : TQ0;
> -            const int q1n  = shift ? FQ1 : TQ1;
> -            const int q2n  = shift ? FQ2 : TQ2;
> -            const int p3   = max_len_p == 1 ? P1 : P3;
> -            const int p2   = max_len_p == 1 ? P1 : P2;
> -            const int p1   = P1;
> -            const int p0   = P0;
> -            const int dp0  = abs(p2 - 2 * p1 + p0);
> -            const int dq0  = abs(Q2 - 2 * Q1 + Q0);
> +        if (tc) {
> +            pixel *pix         = (pixel *)_pix + i * size * ystride;
> +            const uint8_t no_p = _no_p[i];
> +            const uint8_t no_q = _no_q[i];
> +            const int beta     = _beta[i] << (BIT_DEPTH - 8);
> +            const int beta_3   = beta >> 3;
> +            const int beta_2   = beta >> 2;
> +            const int tc25     = ((tc * 5 + 1) >> 1);
> +            uint8_t max_len_p  = _max_len_p[i];
> +            uint8_t max_len_q  = _max_len_q[i];
> +
> +            if (!max_len_p || !max_len_q)
> +                continue;
>
> -            const int dp1 = abs(p2n - 2 * p1n + p0n);
> -            const int dq1 = abs(q2n - 2 * q1n + q0n);
> -            const int d0  = dp0 + dq0;
> -            const int d1  = dp1 + dq1;
> -
> -            if (d0 + d1 < beta) {
> -                const int p3n = max_len_p == 1 ? p1n : (shift ? FP3 :
> TP3);
> -                const int q3n = shift ? FQ3 : TQ3;
> -                const int dsam0 = (d0 << 1) < beta_2 && (abs(p3 - p0) +
> abs(Q0 - Q3)     < beta_3) &&
> -                    abs(p0 - Q0)   < tc25;
> -                const int dsam1 = (d1 << 1) < beta_2 && (abs(p3n - p0n) +
> abs(q0n - q3n) < beta_3) &&
> -                    abs(p0n - q0n) < tc25;
> -                if (!dsam0 || !dsam1)
> +            if (max_len_q == 3) {
> +                const int p1n  = shift ? FP1 : TP1;
> +                const int p2n = max_len_p == 1 ? p1n : (shift ? FP2 :
> TP2);
> +                const int p0n  = shift ? FP0 : TP0;
> +                const int q0n  = shift ? FQ0 : TQ0;
> +                const int q1n  = shift ? FQ1 : TQ1;
> +                const int q2n  = shift ? FQ2 : TQ2;
> +                const int p3   = max_len_p == 1 ? P1 : P3;
> +                const int p2   = max_len_p == 1 ? P1 : P2;
> +                const int p1   = P1;
> +                const int p0   = P0;
> +                const int dp0  = abs(p2 - 2 * p1 + p0);
> +                const int dq0  = abs(Q2 - 2 * Q1 + Q0);
> +
> +                const int dp1 = abs(p2n - 2 * p1n + p0n);
> +                const int dq1 = abs(q2n - 2 * q1n + q0n);
> +                const int d0  = dp0 + dq0;
> +                const int d1  = dp1 + dq1;
> +
> +                if (d0 + d1 < beta) {
> +                    const int p3n = max_len_p == 1 ? p1n : (shift ? FP3 :
> TP3);
> +                    const int q3n = shift ? FQ3 : TQ3;
> +                    const int dsam0 = (d0 << 1) < beta_2 && (abs(p3 - p0)
> + abs(Q0 - Q3)     < beta_3) &&
> +                        abs(p0 - Q0)   < tc25;
> +                    const int dsam1 = (d1 << 1) < beta_2 && (abs(p3n -
> p0n) + abs(q0n - q3n) < beta_3) &&
> +                        abs(p0n - q0n) < tc25;
> +                    if (!dsam0 || !dsam1)
> +                        max_len_p = max_len_q = 1;
> +                } else {
>                      max_len_p = max_len_q = 1;
> -            } else {
> -                max_len_p = max_len_q = 1;
> +                }
>              }
> -        }
>
> -        if (max_len_p == 3 && max_len_q == 3)
> -            FUNC(loop_filter_chroma_strong)(pix, xstride, ystride, size,
> tc, no_p, no_q);
> -        else if (max_len_q == 3)
> -            FUNC(loop_filter_chroma_strong_one_side)(pix, xstride,
> ystride, size, tc, no_p, no_q);
> -        else
> -            FUNC(loop_filter_chroma_weak)(pix, xstride, ystride, size,
> tc, no_p, no_q);
> +            if (max_len_p == 3 && max_len_q == 3)
> +                FUNC(loop_filter_chroma_strong)(pix, xstride, ystride,
> size, tc, no_p, no_q);
> +            else if (max_len_q == 3)
> +                FUNC(loop_filter_chroma_strong_one_side)(pix, xstride,
> ystride, size, tc, no_p, no_q);
> +            else
> +                FUNC(loop_filter_chroma_weak)(pix, xstride, ystride,
> size, tc, no_p, no_q);
> +        }
>      }
>  }
>
> --
> 2.25.1
>
>


More information about the ffmpeg-devel mailing list