dav1d-1.4.3-1.fc41
List of Defects
Error: CPPCHECK_WARNING: [#def1]
dav1d-1.4.3-build/dav1d-1.4.3/src/cdef_apply_tmpl.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def2]
dav1d-1.4.3-build/dav1d-1.4.3/src/cdef_tmpl.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def3]
dav1d-1.4.3-build/dav1d-1.4.3/src/cdf.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def4]
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CLANG_WARNING: [#def5]
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.c:329:23: warning[core.UndefinedBinaryOperatorResult]: The left operand of '==' is a garbage value due to array index out of bounds
# 327| } else for (int i = 0, j = np - 1, k = 0; k < np - ret; k++, i++, j--) {
# 328| while (mvd[i] != -1) i++;
# 329|-> while (mvd[j] == -1) j--;
# 330| assert(i != j);
# 331| if (i > j) break;
Error: CLANG_WARNING: [#def6]
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.c:1303:24: warning[deadcode.DeadStores]: Value stored to 'ref' during its initialization is never read
# 1301| }
# 1302|
# 1303|-> const union mv ref = b->mv[0];
# 1304| read_mv_residual(ts, &b->mv[0], -1);
# 1305|
Error: CLANG_WARNING: [#def7]
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.c:2404:9: warning[core.UndefinedBinaryOperatorResult]: The left operand of '+' is a garbage value
# 2402| rep_macro(type, t->a->partition, bx8, mul * dav1d_al_part_ctx[0][bl][bp]); \
# 2403| rep_macro(type, t->l.partition, by8, mul * dav1d_al_part_ctx[1][bl][bp])
# 2404|-> case_set_upto16(hsz,,,);
# 2405| #undef set_ctx
# 2406| }
Error: CLANG_WARNING: [#def8]
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.c:2404:9: warning[core.uninitialized.ArraySubscript]: Array subscript is undefined
# 2402| rep_macro(type, t->a->partition, bx8, mul * dav1d_al_part_ctx[0][bl][bp]); \
# 2403| rep_macro(type, t->l.partition, by8, mul * dav1d_al_part_ctx[1][bl][bp])
# 2404|-> case_set_upto16(hsz,,,);
# 2405| #undef set_ctx
# 2406| }
Error: CLANG_WARNING: [#def9]
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.c:2536:36: warning[deadcode.DeadStores]: Value stored to 'f' during its initialization is never read
# 2534| const enum Dav1dRestorationType frame_type)
# 2535| {
# 2536|-> const Dav1dFrameContext *const f = t->f;
# 2537| Dav1dTileState *const ts = t->ts;
# 2538|
Error: GCC_ANALYZER_WARNING (CWE-131): [#def10]
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.c: scope_hint: In function ‘dav1d_decode_frame_init’
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.c:3023:21: warning[-Wanalyzer-allocation-size]: allocated buffer size is not a multiple of the pointee's size
dav1d-1.4.3-build/dav1d-1.4.3/include/common/intops.h:33: included_from: Included from here.
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.c:39: included_from: Included from here.
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.c:3307:5: note: in expansion of macro ‘assert’
dav1d-1.4.3-build/dav1d-1.4.3/src/ref.h:33: included_from: Included from here.
dav1d-1.4.3-build/dav1d-1.4.3/src/cdf.h:34: included_from: Included from here.
dav1d-1.4.3-build/dav1d-1.4.3/src/internal.h:43: included_from: Included from here.
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.h:31: included_from: Included from here.
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.c:42: included_from: Included from here.
dav1d-1.4.3-build/dav1d-1.4.3/src/mem.h:94:30: note: in definition of macro ‘dav1d_free’
dav1d-1.4.3-build/dav1d-1.4.3/src/mem.h:94:30: note: in definition of macro ‘dav1d_free’
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.c:3023:23: note: in expansion of macro ‘dav1d_malloc’
# 3021| // over-allocate by 3 bytes since some of the SIMD implementations
# 3022| // index this from the level type and can thus over-read by up to 3
# 3023|-> f->lf.level = dav1d_malloc(ALLOC_LF, sizeof(*f->lf.level) * num_sb128 * 32 * 32 + 3);
# 3024| if (!f->lf.mask || !f->lf.level) {
# 3025| f->lf.mask_sz = 0;
Error: GCC_ANALYZER_WARNING (CWE-457): [#def11]
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.c: scope_hint: In function ‘dav1d_submit_frame’
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.c:3570:9: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘out_delayed’
# 3568| }
# 3569| } else {
# 3570|-> dav1d_thread_picture_ref(out_delayed, &f->sr_cur);
# 3571| }
# 3572|
Error: CLANG_WARNING: [#def12]
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.c:3570:9: warning[core.CallAndMessage]: 1st function call argument is an uninitialized value
# 3568| }
# 3569| } else {
# 3570|-> dav1d_thread_picture_ref(out_delayed, &f->sr_cur);
# 3571| }
# 3572|
Error: GCC_ANALYZER_WARNING (CWE-457): [#def13]
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.c:3609:52: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘ref_coded_width[i]’
# 3607| for (int i = 0; i < 7; i++) {
# 3608| const int refidx = f->frame_hdr->refidx[i];
# 3609|-> const int ref_w = ((ref_coded_width[i] + 7) >> 3) << 1;
# 3610| const int ref_h = ((f->refp[i].p.p.h + 7) >> 3) << 1;
# 3611| if (c->refs[refidx].refmvs != NULL &&
Error: CLANG_WARNING: [#def14]
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.c:3609:56: warning[core.UndefinedBinaryOperatorResult]: The left operand of '+' is a garbage value
# 3607| for (int i = 0; i < 7; i++) {
# 3608| const int refidx = f->frame_hdr->refidx[i];
# 3609|-> const int ref_w = ((ref_coded_width[i] + 7) >> 3) << 1;
# 3610| const int ref_h = ((f->refp[i].p.p.h + 7) >> 3) << 1;
# 3611| if (c->refs[refidx].refmvs != NULL &&
Error: GCC_ANALYZER_WARNING (CWE-457): [#def15]
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.c:3643:48: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘ref_coded_width[pri_ref]’
dav1d-1.4.3-build/dav1d-1.4.3/src/decode.c:3642:13: note: in expansion of macro ‘assert’
# 3641| const int pri_ref = f->frame_hdr->primary_ref_frame;
# 3642| assert(pri_ref != DAV1D_PRIMARY_REF_NONE);
# 3643|-> const int ref_w = ((ref_coded_width[pri_ref] + 7) >> 3) << 1;
# 3644| const int ref_h = ((f->refp[pri_ref].p.p.h + 7) >> 3) << 1;
# 3645| if (ref_w == f->bw && ref_h == f->bh) {
Error: CPPCHECK_WARNING: [#def16]
dav1d-1.4.3-build/dav1d-1.4.3/src/fg_apply_tmpl.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def17]
dav1d-1.4.3-build/dav1d-1.4.3/src/filmgrain_tmpl.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CLANG_WARNING: [#def18]
dav1d-1.4.3-build/dav1d-1.4.3/src/filmgrain_tmpl.c:162:5: warning[core.uninitialized.Assign]: Assigned value is garbage or undefined
# 160| const int bx, const int by, const int x, const int y)
# 161| {
# 162|-> const int randval = offsets[bx][by];
# 163| const int offx = 3 + (2 >> subx) * (3 + (randval >> 4));
# 164| const int offy = 3 + (2 >> suby) * (3 + (randval & 0xF));
Error: CPPCHECK_WARNING: [#def19]
dav1d-1.4.3-build/dav1d-1.4.3/src/ipred_prepare_tmpl.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING (CWE-457): [#def20]
dav1d-1.4.3-build/dav1d-1.4.3/src/ipred_prepare_tmpl.c:142: error[legacyUninitvar]: Uninitialized variable: dst_top
# 140| pixel_set(left, left[sz - px_have], sz - px_have);
# 141| } else {
# 142|-> pixel_set(left, have_top ? *dst_top : ((1 << bitdepth) >> 1) + 1, sz);
# 143| }
# 144|
Error: CPPCHECK_WARNING: [#def21]
dav1d-1.4.3-build/dav1d-1.4.3/src/ipred_tmpl.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def22]
dav1d-1.4.3-build/dav1d-1.4.3/src/itx_tmpl.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def23]
dav1d-1.4.3-build/dav1d-1.4.3/src/lf_apply_tmpl.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def24]
dav1d-1.4.3-build/dav1d-1.4.3/src/lf_mask.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CLANG_WARNING: [#def25]
dav1d-1.4.3-build/dav1d-1.4.3/src/lf_mask.c:103:23: warning[core.CallAndMessage]: 1st function call argument is an uninitialized value
# 101| const int sidx = mask >= 0x10000;
# 102| const unsigned smask = mask >> (sidx << 4);
# 103|-> masks[0][bx4][imin(txa[0][0][y][0], l[y])][sidx] |= smask;
# 104| }
# 105|
Error: CPPCHECK_WARNING: [#def26]
dav1d-1.4.3-build/dav1d-1.4.3/src/lib.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def27]
dav1d-1.4.3-build/dav1d-1.4.3/src/log.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def28]
dav1d-1.4.3-build/dav1d-1.4.3/src/loopfilter_tmpl.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: GCC_ANALYZER_WARNING (CWE-457): [#def29]
dav1d-1.4.3-build/dav1d-1.4.3/src/loopfilter_tmpl.c: scope_hint: In function ‘loop_filter’
dav1d-1.4.3-build/dav1d-1.4.3/src/loopfilter_tmpl.c:118:28: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘flat8in’
# 116| dst[strideb * +5] = (p0 + q0 + q1 + q2 + q3 + q4 * 2 + q5 * 2 +
# 117| q6 * 2 + q6 + q6 + q6 + q6 + q6 + 8) >> 4;
# 118|-> } else if (wd >= 8 && flat8in) {
# 119| dst[strideb * -3] = (p3 + p3 + p3 + 2 * p2 + p1 + p0 + q0 + 4) >> 3;
# 120| dst[strideb * -2] = (p3 + p3 + p2 + 2 * p1 + p0 + q0 + q1 + 4) >> 3;
Error: CPPCHECK_WARNING: [#def30]
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration_tmpl.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CLANG_WARNING: [#def31]
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration_tmpl.c:183:60: warning[core.UndefinedBinaryOperatorResult]: The left operand of '*' is a garbage value
# 181|
# 182| for (int k = 0; k < 7; k++) {
# 183|-> sum += hor[(j + k) * REST_UNIT_STRIDE + i] * filter[1][k];
# 184| }
# 185|
Error: GCC_ANALYZER_WARNING (CWE-457): [#def32]
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration_tmpl.c: scope_hint: In function ‘boxsum3’
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration_tmpl.c:251:13: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘sum[2]’
dav1d-1.4.3-build/dav1d-1.4.3/include/common/bitdepth.h:80:5: note: in expansion of macro ‘assert’
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration.h:34: included_from: Included from here.
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration_tmpl.c:34: included_from: Included from here.
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration_tmpl.c: scope_hint: In function ‘boxsum3’
dav1d-1.4.3-build/dav1d-1.4.3/include/common/attributes.h:134:30: note: in definition of macro ‘assert’
dav1d-1.4.3-build/dav1d-1.4.3/include/common/bitdepth.h:80:5: note: in expansion of macro ‘assert’
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration_tmpl.c: scope_hint: In function ‘boxsum3’
# 249| for (int y = 2; y < h - 2; y++) {
# 250| int a = sum[1], a2 = sumsq[1];
# 251|-> int b = sum[2], b2 = sumsq[2];
# 252|
# 253| // We don't store the first column as it is never read and
Error: GCC_ANALYZER_WARNING (CWE-457): [#def33]
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration_tmpl.c: scope_hint: In function ‘boxsum3’
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration_tmpl.c:251:20: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘sum[2]’
# 249| for (int y = 2; y < h - 2; y++) {
# 250| int a = sum[1], a2 = sumsq[1];
# 251|-> int b = sum[2], b2 = sumsq[2];
# 252|
# 253| // We don't store the first column as it is never read and
Error: CLANG_WARNING: [#def34]
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration_tmpl.c:327:13: warning[core.uninitialized.Assign]: Assigned value is garbage or undefined
# 325| sumsq += REST_UNIT_STRIDE;
# 326| for (int y = 2; y < h - 2; y++) {
# 327|-> int a = sum[0], a2 = sumsq[0];
# 328| int b = sum[1], b2 = sumsq[1];
# 329| int c = sum[2], c2 = sumsq[2];
Error: GCC_ANALYZER_WARNING (CWE-457): [#def35]
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration_tmpl.c: scope_hint: In function ‘boxsum5’
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration_tmpl.c:328:13: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘sum[1]’
dav1d-1.4.3-build/dav1d-1.4.3/include/common/bitdepth.h:80:5: note: in expansion of macro ‘assert’
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration_tmpl.c: scope_hint: In function ‘boxsum5’
dav1d-1.4.3-build/dav1d-1.4.3/include/common/attributes.h:134:30: note: in definition of macro ‘assert’
dav1d-1.4.3-build/dav1d-1.4.3/include/common/bitdepth.h:80:5: note: in expansion of macro ‘assert’
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration_tmpl.c: scope_hint: In function ‘boxsum5’
# 326| for (int y = 2; y < h - 2; y++) {
# 327| int a = sum[0], a2 = sumsq[0];
# 328|-> int b = sum[1], b2 = sumsq[1];
# 329| int c = sum[2], c2 = sumsq[2];
# 330| int d = sum[3], d2 = sumsq[3];
Error: CLANG_WARNING: [#def36]
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration_tmpl.c:328:13: warning[core.uninitialized.Assign]: Assigned value is garbage or undefined
# 326| for (int y = 2; y < h - 2; y++) {
# 327| int a = sum[0], a2 = sumsq[0];
# 328|-> int b = sum[1], b2 = sumsq[1];
# 329| int c = sum[2], c2 = sumsq[2];
# 330| int d = sum[3], d2 = sumsq[3];
Error: GCC_ANALYZER_WARNING (CWE-457): [#def37]
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration_tmpl.c: scope_hint: In function ‘boxsum5’
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration_tmpl.c:328:20: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘sum[1]’
# 326| for (int y = 2; y < h - 2; y++) {
# 327| int a = sum[0], a2 = sumsq[0];
# 328|-> int b = sum[1], b2 = sumsq[1];
# 329| int c = sum[2], c2 = sumsq[2];
# 330| int d = sum[3], d2 = sumsq[3];
Error: CLANG_WARNING: [#def38]
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration_tmpl.c:329:13: warning[core.uninitialized.Assign]: Assigned value is garbage or undefined
# 327| int a = sum[0], a2 = sumsq[0];
# 328| int b = sum[1], b2 = sumsq[1];
# 329|-> int c = sum[2], c2 = sumsq[2];
# 330| int d = sum[3], d2 = sumsq[3];
# 331|
Error: CLANG_WARNING: [#def39]
dav1d-1.4.3-build/dav1d-1.4.3/src/looprestoration_tmpl.c:403:31: warning[core.UndefinedBinaryOperatorResult]: The left operand of '+' is a garbage value
# 401| for (; j < h - 1; j+=2) {
# 402| for (int i = 0; i < w; i++) {
# 403|-> const int a = SIX_NEIGHBORS(B, i);
# 404| const int b = SIX_NEIGHBORS(A, i);
# 405| dst[i] = (b - a * src[i] + (1 << 8)) >> 9;
Error: CPPCHECK_WARNING: [#def40]
dav1d-1.4.3-build/dav1d-1.4.3/src/lr_apply_tmpl.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def41]
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CLANG_WARNING: [#def42]
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:144:30: warning[core.UndefinedBinaryOperatorResult]: The right operand of '*' is a garbage value
# 142| do {
# 143| for (int x = 0; x < w; x++)
# 144|-> dst[x] = DAV1D_FILTER_8TAP_CLIP(mid_ptr, x, fv, 128,
# 145| 6 + intermediate_bits);
# 146|
Error: CLANG_WARNING: [#def43]
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:211:27: warning[core.UndefinedBinaryOperatorResult]: The right operand of '*' is a garbage value
# 209|
# 210| for (x = 0; x < w; x++)
# 211|-> dst[x] = fv ? DAV1D_FILTER_8TAP_CLIP(mid_ptr, x, fv, 128,
# 212| 6 + intermediate_bits) :
# 213| iclip_pixel((mid_ptr[x] + intermediate_rnd) >>
Error: GCC_ANALYZER_WARNING (CWE-457): [#def44]
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c: scope_hint: In function ‘put_8tap_scaled_c’
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:213:47: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘*<unknown>’
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:384:1: note: in expansion of macro ‘filter_fns’
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:384:1: note: in expansion of macro ‘filter_fns’
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:105:32: note: in definition of macro ‘GET_V_FILTER’
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:208:9: note: in expansion of macro ‘GET_V_FILTER’
# 211| dst[x] = fv ? DAV1D_FILTER_8TAP_CLIP(mid_ptr, x, fv, 128,
# 212| 6 + intermediate_bits) :
# 213|-> iclip_pixel((mid_ptr[x] + intermediate_rnd) >>
# 214| intermediate_bits);
# 215|
Error: CLANG_WARNING: [#def45]
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:213:51: warning[core.UndefinedBinaryOperatorResult]: The left operand of '+' is a garbage value
# 211| dst[x] = fv ? DAV1D_FILTER_8TAP_CLIP(mid_ptr, x, fv, 128,
# 212| 6 + intermediate_bits) :
# 213|-> iclip_pixel((mid_ptr[x] + intermediate_rnd) >>
# 214| intermediate_bits);
# 215|
Error: CLANG_WARNING: [#def46]
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:250:29: warning[core.UndefinedBinaryOperatorResult]: The right operand of '*' is a garbage value
# 248| do {
# 249| for (int x = 0; x < w; x++) {
# 250|-> int t = DAV1D_FILTER_8TAP_RND(mid_ptr, x, fv, 128, 6) -
# 251| PREP_BIAS;
# 252| assert(t >= INT16_MIN && t <= INT16_MAX);
Error: GCC_ANALYZER_WARNING (CWE-457): [#def47]
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c: scope_hint: In function ‘prep_8tap_scaled_c’
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:320:20: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘*<unknown>’
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:384:1: note: in expansion of macro ‘filter_fns’
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:384:1: note: in expansion of macro ‘filter_fns’
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:105:32: note: in definition of macro ‘GET_V_FILTER’
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:317:9: note: in expansion of macro ‘GET_V_FILTER’
# 318|
# 319| for (x = 0; x < w; x++)
# 320|-> tmp[x] = (fv ? DAV1D_FILTER_8TAP_RND(mid_ptr, x, fv, 128, 6)
# 321| : mid_ptr[x]) - PREP_BIAS;
# 322|
Error: CLANG_WARNING: [#def48]
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:320:28: warning[core.UndefinedBinaryOperatorResult]: The right operand of '*' is a garbage value
# 318|
# 319| for (x = 0; x < w; x++)
# 320|-> tmp[x] = (fv ? DAV1D_FILTER_8TAP_RND(mid_ptr, x, fv, 128, 6)
# 321| : mid_ptr[x]) - PREP_BIAS;
# 322|
Error: GCC_ANALYZER_WARNING (CWE-457): [#def49]
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c: scope_hint: In function ‘prep_8tap_scaled_c’
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:321:35: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘*<unknown>’
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:384:1: note: in expansion of macro ‘filter_fns’
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:384:1: note: in expansion of macro ‘filter_fns’
dav1d-1.4.3-build/dav1d-1.4.3/include/common/bitdepth.h:80:5: note: in expansion of macro ‘assert’
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c: scope_hint: In function ‘prep_8tap_scaled_c’
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:105:32: note: in definition of macro ‘GET_V_FILTER’
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:317:9: note: in expansion of macro ‘GET_V_FILTER’
# 319| for (x = 0; x < w; x++)
# 320| tmp[x] = (fv ? DAV1D_FILTER_8TAP_RND(mid_ptr, x, fv, 128, 6)
# 321|-> : mid_ptr[x]) - PREP_BIAS;
# 322|
# 323| my += dy;
Error: CLANG_WARNING: [#def50]
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:321:40: warning[core.UndefinedBinaryOperatorResult]: The left operand of '-' is a garbage value
# 319| for (x = 0; x < w; x++)
# 320| tmp[x] = (fv ? DAV1D_FILTER_8TAP_RND(mid_ptr, x, fv, 128, 6)
# 321|-> : mid_ptr[x]) - PREP_BIAS;
# 322|
# 323| my += dy;
Error: CLANG_WARNING: [#def51]
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:422:30: warning[core.UndefinedBinaryOperatorResult]: The left operand of '-' is a garbage value
# 420| do {
# 421| for (int x = 0; x < w; x++)
# 422|-> dst[x] = FILTER_BILIN_CLIP(mid_ptr, x, my, 128,
# 423| 4 + intermediate_bits);
# 424|
Error: CLANG_WARNING: [#def52]
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:483:22: warning[core.UndefinedBinaryOperatorResult]: The left operand of '-' is a garbage value
# 481|
# 482| for (x = 0; x < w; x++)
# 483|-> dst[x] = FILTER_BILIN_CLIP(mid_ptr, x, my >> 6, 128,
# 484| 4 + intermediate_bits);
# 485|
Error: CLANG_WARNING: [#def53]
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:518:30: warning[core.UndefinedBinaryOperatorResult]: The left operand of '-' is a garbage value
# 516| do {
# 517| for (int x = 0; x < w; x++)
# 518|-> tmp[x] = FILTER_BILIN_RND(mid_ptr, x, my, 128, 4) -
# 519| PREP_BIAS;
# 520|
Error: CLANG_WARNING: [#def54]
dav1d-1.4.3-build/dav1d-1.4.3/src/mc_tmpl.c:578:22: warning[core.UndefinedBinaryOperatorResult]: The left operand of '-' is a garbage value
# 576|
# 577| for (x = 0; x < w; x++)
# 578|-> tmp[x] = FILTER_BILIN_RND(mid_ptr, x, my >> 6, 128, 4) - PREP_BIAS;
# 579|
# 580| my += dy;
Error: CPPCHECK_WARNING: [#def55]
dav1d-1.4.3-build/dav1d-1.4.3/src/mem.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def56]
dav1d-1.4.3-build/dav1d-1.4.3/src/obu.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CLANG_WARNING: [#def57]
dav1d-1.4.3-build/dav1d-1.4.3/src/obu.c:686:62: warning[core.DivideZero]: Division by zero
# 684| hdr->tiling.log2_cols = tile_log2(1, hdr->tiling.cols);
# 685| if (min_log2_tiles) max_tile_area_sb >>= min_log2_tiles + 1;
# 686|-> const int max_tile_height_sb = imax(max_tile_area_sb / widest_tile, 1);
# 687|
# 688| hdr->tiling.rows = 0;
Error: CLANG_WARNING: [#def58]
dav1d-1.4.3-build/dav1d-1.4.3/src/obu.c:1262:14: warning[deadcode.DeadStores]: Although the value stored to 'res' is used in the enclosing expression, the value is never actually read from 'res'
# 1260| if (!ref) return DAV1D_ERR(ENOMEM);
# 1261| Dav1dSequenceHeader *seq_hdr = ref->data;
# 1262|-> if ((res = parse_seq_hdr(seq_hdr, &gb, c->strict_std_compliance)) < 0) {
# 1263| dav1d_log(c, "Error parsing sequence header\n");
# 1264| dav1d_ref_dec(&ref);
Error: CLANG_WARNING: [#def59]
dav1d-1.4.3-build/dav1d-1.4.3/src/obu.c:1327:14: warning[deadcode.DeadStores]: Although the value stored to 'res' is used in the enclosing expression, the value is never actually read from 'res'
# 1325| c->frame_hdr->temporal_id = temporal_id;
# 1326| c->frame_hdr->spatial_id = spatial_id;
# 1327|-> if ((res = parse_frame_hdr(c, &gb)) < 0) {
# 1328| c->frame_hdr = NULL;
# 1329| goto error;
Error: CPPCHECK_WARNING: [#def60]
dav1d-1.4.3-build/dav1d-1.4.3/src/pal.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def61]
dav1d-1.4.3-build/dav1d-1.4.3/src/picture.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def62]
dav1d-1.4.3-build/dav1d-1.4.3/src/recon_tmpl.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CLANG_WARNING: [#def63]
dav1d-1.4.3-build/dav1d-1.4.3/src/recon_tmpl.c:428:17: warning[core.UndefinedBinaryOperatorResult]: The left operand of '>' is a garbage value
# 426| 16 << tx2dszctx, chroma, is_1d, eob_bin, ts->msac.rng);
# 427| int eob;
# 428|-> if (eob_bin > 1) {
# 429| uint16_t *const eob_hi_bit_cdf =
# 430| ts->cdf.coef.eob_hi_bit[t_dim->ctx][chroma][eob_bin];
Error: CPPCHECK_WARNING: [#def64]
dav1d-1.4.3-build/dav1d-1.4.3/src/refmvs.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CLANG_WARNING: [#def65]
dav1d-1.4.3-build/dav1d-1.4.3/src/refmvs.c:80:27: warning[core.uninitialized.Assign]: The left expression of the compound assignment is an uninitialized value. The computed value will also be garbage
# 78|
# 79| *have_refmv_match = 1;
# 80|-> *have_newmv_match |= b->mf >> 1;
# 81|
# 82| const int last = *cnt;
Error: CPPCHECK_WARNING (CWE-758): [#def66]
dav1d-1.4.3-build/dav1d-1.4.3/src/refmvs.c:188: error[shiftTooManyBitsSigned]: Shifting signed 32-bit value by 31 bits is undefined behaviour
# 186| // Round and clip according to AV1 spec section 7.9.3
# 187| return (union mv) { // 0x3fff == (1 << 14) - 1
# 188|-> .y = iclip((y + 8192 + (y >> 31)) >> 14, -0x3fff, 0x3fff),
# 189| .x = iclip((x + 8192 + (x >> 31)) >> 14, -0x3fff, 0x3fff)
# 190| };
Error: CPPCHECK_WARNING (CWE-758): [#def67]
dav1d-1.4.3-build/dav1d-1.4.3/src/refmvs.c:189: error[shiftTooManyBitsSigned]: Shifting signed 32-bit value by 31 bits is undefined behaviour
# 187| return (union mv) { // 0x3fff == (1 << 14) - 1
# 188| .y = iclip((y + 8192 + (y >> 31)) >> 14, -0x3fff, 0x3fff),
# 189|-> .x = iclip((x + 8192 + (x >> 31)) >> 14, -0x3fff, 0x3fff)
# 190| };
# 191| }
Error: CPPCHECK_WARNING: [#def68]
dav1d-1.4.3-build/dav1d-1.4.3/src/thread_task.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CLANG_WARNING: [#def69]
dav1d-1.4.3-build/dav1d-1.4.3/src/thread_task.c:298:26: warning[core.NullDereference]: Access to field 'next' results in a dereference of a null pointer (loaded from variable 'prev_t')
# 296| t->sby = ts->tiling.row_start >> f->sb_shift;
# 297| if (pf_t && t->sby) {
# 298|-> prev_t->next = pf_t;
# 299| prev_t = pf_t;
# 300| pf_t = NULL;
Error: CLANG_WARNING: [#def70]
dav1d-1.4.3-build/dav1d-1.4.3/src/thread_task.c:312:22: warning[core.NullDereference]: Access to field 'next' results in a dereference of a null pointer (loaded from variable 'prev_t')
# 310| }
# 311| if (pf_t) {
# 312|-> prev_t->next = pf_t;
# 313| prev_t = pf_t;
# 314| }
Error: CLANG_WARNING: [#def71]
dav1d-1.4.3-build/dav1d-1.4.3/src/thread_task.c:526:46: warning[core.uninitialized.ArraySubscript]: Array subscript is undefined
# 524| case 10:
# 525| case 12:
# 526|-> dav1d_apply_grain_row_16bpc(&c->dsp[off].fg, out, in,
# 527| ttd->delayed_fg.scaling_16bpc,
# 528| ttd->delayed_fg.grain_lut_16bpc, row);
Error: CPPCHECK_WARNING: [#def72]
dav1d-1.4.3-build/dav1d-1.4.3/src/x86/cpu.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def73]
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/cdef.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def74]
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/checkasm.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def75]
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: GCC_ANALYZER_WARNING (CWE-457): [#def76]
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c: scope_hint: In function ‘check_fgy_sbrow’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:217:28: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘*<unknown>’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/checkasm.h:68: included_from: Included from here.
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:28: included_from: Included from here.
dav1d-1.4.3-build/dav1d-1.4.3/include/common/bitdepth.h:77:18: note: in definition of macro ‘bitfn’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/checkasm.h:61: included_from: Included from here.
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/checkasm.h:122:9: note: in expansion of macro ‘checkasm_save_context’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:53:5: note: in expansion of macro ‘declare_func’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:53:5: note: in expansion of macro ‘declare_func’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:57:13: note: in expansion of macro ‘check_func’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/checkasm.h:122:9: note: in expansion of macro ‘checkasm_save_context’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:90:5: note: in expansion of macro ‘declare_func’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:90:5: note: in expansion of macro ‘declare_func’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/checkasm.h:113:56: note: in definition of macro ‘check_func’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/checkasm.h:67: included_from: Included from here.
dav1d-1.4.3-build/dav1d-1.4.3/include/common/attributes.h:86:5: note: in definition of macro ‘ALIGN’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/checkasm.h:402:5: note: in expansion of macro ‘ALIGN_STK_64’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:147:5: note: in expansion of macro ‘PIXEL_RECT’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/checkasm.h:122:9: note: in expansion of macro ‘checkasm_save_context’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:150:5: note: in expansion of macro ‘declare_func’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:150:5: note: in expansion of macro ‘declare_func’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:156:9: note: in expansion of macro ‘check_func’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:160:27: note: in expansion of macro ‘rnd’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:168:40: note: in expansion of macro ‘rnd’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:183:26: note: in expansion of macro ‘bitdepth_from_max’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:35: included_from: Included from here.
dav1d-1.4.3-build/dav1d-1.4.3/src/fg_apply_tmpl.c:49:5: note: in expansion of macro ‘assert’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:207:30: note: in expansion of macro ‘rnd’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:215:57: note: in expansion of macro ‘rnd’
# 215| src[y * PXSTRIDE(stride) + x] = rnd();
# 216| for (int x = 0; x < w; x++)
# 217|-> src[y * PXSTRIDE(stride) + x] &= bitdepth_max;
# 218| }
# 219|
Error: GCC_ANALYZER_WARNING (CWE-457): [#def77]
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c: scope_hint: In function ‘check_fguv_sbrow’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:356:36: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘*<unknown>’
dav1d-1.4.3-build/dav1d-1.4.3/include/common/attributes.h:86:5: note: in definition of macro ‘ALIGN’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/checkasm.h:402:5: note: in expansion of macro ‘ALIGN_STK_64’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:247:5: note: in expansion of macro ‘PIXEL_RECT’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/checkasm.h:122:9: note: in expansion of macro ‘checkasm_save_context’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:251:5: note: in expansion of macro ‘declare_func’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:251:5: note: in expansion of macro ‘declare_func’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/checkasm.h:113:56: note: in definition of macro ‘check_func’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:273:35: note: in expansion of macro ‘rnd’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:280:35: note: in expansion of macro ‘rnd’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:307:60: note: in expansion of macro ‘rnd’
dav1d-1.4.3-build/dav1d-1.4.3/src/fg_apply_tmpl.c:49:5: note: in expansion of macro ‘assert’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:344:38: note: in expansion of macro ‘rnd’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/filmgrain.c:352:65: note: in expansion of macro ‘rnd’
# 354| }
# 355| for (int x = 0; x < w; x++)
# 356|-> src[y * PXSTRIDE(stride) + x] &= bitdepth_max;
# 357| for (int x = 0; x < (w << ss_x); x++)
# 358| luma_src[y * PXSTRIDE(lstride) + x] &= bitdepth_max;
Error: CPPCHECK_WARNING: [#def78]
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/ipred.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def79]
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/itx.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CLANG_WARNING: [#def80]
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/itx.c:98:12: warning[core.uninitialized.Assign]: The left expression of the compound assignment is an uninitialized value. The computed value will also be garbage
# 96| out[i] += in[j] * cos(M_PI * (2 * j + 1) * i / (sz * 2.0));
# 97| }
# 98|-> out[0] *= M_SQRT1_2;
# 99| }
# 100|
Error: CLANG_WARNING: [#def81]
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/itx.c:153:41: warning[deadcode.DeadStores]: Although the value stored to 'rc' is used in the enclosing expression, the value is never actually read from 'rc'
# 151| rc = scan[n], rcx = rc % sh, rcy = rc / sh;
# 152| else if (tx_class == TX_CLASS_H)
# 153|-> rcx = n % sh, rcy = n / sh, rc = n;
# 154| else /* tx_class == TX_CLASS_V */
# 155| rcx = n / sw, rcy = n % sw, rc = rcy * sh + rcx;
Error: CLANG_WARNING: [#def82]
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/itx.c:155:41: warning[deadcode.DeadStores]: Although the value stored to 'rc' is used in the enclosing expression, the value is never actually read from 'rc'
# 153| rcx = n % sh, rcy = n / sh, rc = n;
# 154| else /* tx_class == TX_CLASS_V */
# 155|-> rcx = n / sw, rcy = n % sw, rc = rcy * sh + rcx;
# 156|
# 157| /* Pick a random eob within this sub-itx */
Error: CPPCHECK_WARNING: [#def83]
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/loopfilter.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def84]
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/looprestoration.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def85]
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/mc.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def86]
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/msac.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def87]
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/pal.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def88]
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/refmvs.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: GCC_ANALYZER_WARNING (CWE-401): [#def89]
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/refmvs.c: scope_hint: In function ‘check_load_tmvs’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/refmvs.c:224:1: warning[-Wanalyzer-malloc-leak]: leak of ‘<unknown>’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/checkasm.h:61: included_from: Included from here.
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/refmvs.c:27: included_from: Included from here.
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/checkasm.h:122:9: note: in expansion of macro ‘checkasm_save_context’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/refmvs.c:159:5: note: in expansion of macro ‘declare_func’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/refmvs.c:159:5: note: in expansion of macro ‘declare_func’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/refmvs.c:162:9: note: in expansion of macro ‘check_func’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/refmvs.c:163:33: note: in expansion of macro ‘rnd’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/refmvs.c:169:30: note: in expansion of macro ‘rnd’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/refmvs.c:172:41: note: in expansion of macro ‘rnd’
dav1d-1.4.3-build/dav1d-1.4.3/tests/checkasm/refmvs.c:223:5: note: in expansion of macro ‘report’
# 222|
# 223| report("load_tmvs");
# 224|-> }
# 225|
# 226| static void check_save_tmvs(const Dav1dRefmvsDSPContext *const c) {
Error: CLANG_WARNING: [#def90]
dav1d-1.4.3-build/dav1d-1.4.3/tests/libfuzzer/dav1d_fuzzer.c:182:10: warning[deadcode.DeadStores]: Although the value stored to 'err' is used in the enclosing expression, the value is never actually read from 'err'
# 180|
# 181| memset(&pic, 0, sizeof(pic));
# 182|-> if ((err = dav1d_get_picture(ctx, &pic)) == 0) {
# 183| /* Test calling dav1d_picture_unref() after dav1d_close() */
# 184| do {
Error: CPPCHECK_WARNING: [#def91]
dav1d-1.4.3-build/dav1d-1.4.3/tools/dav1d.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CLANG_WARNING: [#def92]
dav1d-1.4.3-build/dav1d-1.4.3/tools/dav1d.c:100:5: warning[core.uninitialized.Assign]: Assigned value is garbage or undefined
# 98| {
# 99| const uint64_t tcurr = get_time_nanos();
# 100|-> const uint64_t last = *elapsed;
# 101| *elapsed = tcurr - tfirst;
# 102| if (realtime) {
Error: GCC_ANALYZER_WARNING (CWE-457): [#def93]
dav1d-1.4.3-build/dav1d-1.4.3/tools/dav1d.c: scope_hint: In function ‘synchronize’
dav1d-1.4.3-build/dav1d-1.4.3/tools/dav1d.c:100:20: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘*elapsed’
# 98| {
# 99| const uint64_t tcurr = get_time_nanos();
# 100|-> const uint64_t last = *elapsed;
# 101| *elapsed = tcurr - tfirst;
# 102| if (realtime) {
Error: CLANG_WARNING: [#def94]
dav1d-1.4.3-build/dav1d-1.4.3/tools/dav1d.c:225:10: warning[deadcode.DeadStores]: Although the value stored to 'res' is used in the enclosing expression, the value is never actually read from 'res'
# 223| }
# 224|
# 225|-> if ((res = input_open(&in, cli_settings.demuxer,
# 226| cli_settings.inputfile,
# 227| fps, &total, timebase)) < 0)
Error: CLANG_WARNING: [#def95]
dav1d-1.4.3-build/dav1d-1.4.3/tools/dav1d.c:232:14: warning[deadcode.DeadStores]: Although the value stored to 'res' is used in the enclosing expression, the value is never actually read from 'res'
# 230| }
# 231| for (unsigned i = 0; i <= cli_settings.skip; i++) {
# 232|-> if ((res = input_read(in, &data)) < 0) {
# 233| input_close(in);
# 234| return EXIT_FAILURE;
Error: CLANG_WARNING: [#def96]
dav1d-1.4.3-build/dav1d-1.4.3/tools/dav1d.c:247:18: warning[deadcode.DeadStores]: Although the value stored to 'res' is used in the enclosing expression, the value is never actually read from 'res'
# 245| unsigned seq_skip = 0;
# 246| while (dav1d_parse_sequence_header(&seq, data.data, data.sz)) {
# 247|-> if ((res = input_read(in, &data)) < 0) {
# 248| input_close(in);
# 249| return EXIT_FAILURE;
Error: CLANG_WARNING: [#def97]
dav1d-1.4.3-build/dav1d-1.4.3/tools/dav1d.c:262:10: warning[deadcode.DeadStores]: Although the value stored to 'res' is used in the enclosing expression, the value is never actually read from 'res'
# 260| total = cli_settings.limit;
# 261|
# 262|-> if ((res = dav1d_open(&c, &lib_settings)))
# 263| return EXIT_FAILURE;
# 264|
Error: CLANG_WARNING: [#def98]
dav1d-1.4.3-build/dav1d-1.4.3/tools/dav1d.c:316:22: warning[deadcode.DeadStores]: Although the value stored to 'res' is used in the enclosing expression, the value is never actually read from 'res'
# 314| } else {
# 315| if (!n_out) {
# 316|-> if ((res = output_open(&out, cli_settings.muxer,
# 317| cli_settings.outputfile,
# 318| &p.p, fps)) < 0)
Error: CLANG_WARNING: [#def99]
dav1d-1.4.3-build/dav1d-1.4.3/tools/dav1d.c:356:22: warning[deadcode.DeadStores]: Although the value stored to 'res' is used in the enclosing expression, the value is never actually read from 'res'
# 354| } else {
# 355| if (!n_out) {
# 356|-> if ((res = output_open(&out, cli_settings.muxer,
# 357| cli_settings.outputfile,
# 358| &p.p, fps)) < 0)
Error: CPPCHECK_WARNING: [#def100]
dav1d-1.4.3-build/dav1d-1.4.3/tools/dav1d_cli_parse.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def101]
dav1d-1.4.3-build/dav1d-1.4.3/tools/input/annexb.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def102]
dav1d-1.4.3-build/dav1d-1.4.3/tools/input/input.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CLANG_WARNING: [#def103]
dav1d-1.4.3-build/dav1d-1.4.3/tools/input/input.c:87:13: warning[unix.Malloc]: Potential leak of memory pointed to by 'probe_data'
# 85| FILE *f = fopen(filename, "rb");
# 86| if (!f) {
# 87|-> fprintf(stderr, "Failed to open input file %s: %s\n", filename, strerror(errno));
# 88| return errno ? DAV1D_ERR(errno) : DAV1D_ERR(EIO);
# 89| }
Error: GCC_ANALYZER_WARNING (CWE-401): [#def104]
dav1d-1.4.3-build/dav1d-1.4.3/tools/input/input.c: scope_hint: In function ‘input_open’
dav1d-1.4.3-build/dav1d-1.4.3/tools/input/input.c:88:45: warning[-Wanalyzer-malloc-leak]: leak of ‘probe_data’
dav1d-1.4.3-build/dav1d-1.4.3/tools/input/input.c:30: included_from: Included from here.
# 86| if (!f) {
# 87| fprintf(stderr, "Failed to open input file %s: %s\n", filename, strerror(errno));
# 88|-> return errno ? DAV1D_ERR(errno) : DAV1D_ERR(EIO);
# 89| }
# 90| res = !!fread(probe_data, 1, probe_sz, f);
Error: CPPCHECK_WARNING: [#def105]
dav1d-1.4.3-build/dav1d-1.4.3/tools/input/ivf.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CLANG_WARNING: [#def106]
dav1d-1.4.3-build/dav1d-1.4.3/tools/input/ivf.c:127:24: warning[core.DivideZero]: Division by zero
# 125| }
# 126| c->timebase = (double)timebase[0] / timebase[1];
# 127|-> c->step = duration / *num_frames;
# 128|
# 129| fseeko(c->f, 32, SEEK_SET);
Error: CPPCHECK_WARNING: [#def107]
dav1d-1.4.3-build/dav1d-1.4.3/tools/input/section5.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: CPPCHECK_WARNING: [#def108]
dav1d-1.4.3-build/dav1d-1.4.3/tools/output/output.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.
Error: GCC_ANALYZER_WARNING (CWE-401): [#def109]
dav1d-1.4.3-build/dav1d-1.4.3/tools/output/xxhash.c: scope_hint: In function ‘xxh3_open’
dav1d-1.4.3-build/dav1d-1.4.3/tools/output/xxhash.c:62:21: warning[-Wanalyzer-malloc-leak]: leak of ‘<unknown>’
dav1d-1.4.3-build/dav1d-1.4.3/tools/output/xxhash.c:36: included_from: Included from here.
dav1d-1.4.3-build/dav1d-1.4.3/tools/output/xxhash.c: scope_hint: In function ‘xxh3_open’
# 60| } else if (!(xxh3->f = fopen(file, "wb"))) {
# 61| XXH3_freeState(xxh3->state);
# 62|-> xxh3->state = NULL;
# 63| fprintf(stderr, "Failed to open %s: %s\n", file, strerror(errno));
# 64| return -1;
Scan Properties
| analyzer-version-clang | 18.1.7 |
| analyzer-version-cppcheck | 2.14.2 |
| analyzer-version-gcc | 14.1.1 |
| analyzer-version-gcc-analyzer | 14.1.1 |
| analyzer-version-shellcheck | 0.10.0 |
| enabled-plugins | clang, cppcheck, gcc, shellcheck |
| exit-code | 0 |
| host | ip-172-16-1-133.us-west-2.compute.internal |
| mock-config | fedora-41-x86_64 |
| project-name | dav1d-1.4.3-1.fc41 |
| store-results-to | /tmp/tmpz9no_v2t/dav1d-1.4.3-1.fc41.tar.xz |
| time-created | 2024-07-03 12:20:40 |
| time-finished | 2024-07-03 12:23:12 |
| tool | csmock |
| tool-args | '/usr/bin/csmock' '-r' 'fedora-41-x86_64' '-t' 'cppcheck,gcc,clang,shellcheck' '-o' '/tmp/tmpz9no_v2t/dav1d-1.4.3-1.fc41.tar.xz' '--gcc-analyze' '/tmp/tmpz9no_v2t/dav1d-1.4.3-1.fc41.src.rpm' |
| tool-version | csmock-3.5.3-1.el9 |