mpfr-4.2.2-3.fc44

List of Findings

Error: COMPILER_WARNING: [#def1]
mpfr-4.2.2/src/exp10m1.c: scope_hint: In function 'mpfr_exp10m1'
mpfr-4.2.2/src/exp10m1.c:62:16: warning[-Wunused-but-set-variable=]: variable 'nloop' set but not used
#   62 |   int inexact, nloop;
#      |                ^~~~~
#   60|   mpfr_exp10m1 (mpfr_ptr y, mpfr_srcptr x, mpfr_rnd_t rnd_mode)
#   61|   {
#   62|->   int inexact, nloop;
#   63|     mpfr_t t;
#   64|     mpfr_prec_t Ny = MPFR_PREC(y);   /* target precision */

Error: COMPILER_WARNING: [#def2]
mpfr-4.2.2/src/exp2m1.c: scope_hint: In function 'mpfr_exp2m1'
mpfr-4.2.2/src/exp2m1.c:67:16: warning[-Wunused-but-set-variable=]: variable 'nloop' set but not used
#   67 |   int inexact, nloop;
#      |                ^~~~~
#   65|   mpfr_exp2m1 (mpfr_ptr y, mpfr_srcptr x, mpfr_rnd_t rnd_mode)
#   66|   {
#   67|->   int inexact, nloop;
#   68|     mpfr_t t;
#   69|     mpfr_prec_t Ny = MPFR_PREC(y);   /* target precision */

Error: GCC_ANALYZER_WARNING (CWE-457): [#def3]
mpfr-4.2.2/src/sin_cos.c:374:48: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value 'accu[k]'
mpfr-4.2.2/src/sin_cos.c:299:6: branch_false: following 'false' branch...
mpfr-4.2.2/src/sin_cos.c:310:3: branch_false: ...to here
mpfr-4.2.2/src/sin_cos.c:327:3: branch_false: following 'false' branch...
mpfr-4.2.2/src/sin_cos.c:334:3: branch_false: following 'false' branch...
mpfr-4.2.2/src/sin_cos.c:335:3: branch_false: following 'false' branch...
mpfr-4.2.2/src/sin_cos.c:339:45: branch_true: following 'true' branch (when 'prec_i_have < prec')...
mpfr-4.2.2/src/sin_cos.c:345:7: branch_true: ...to here
mpfr-4.2.2/src/sin_cos.c:346:10: branch_true: following 'true' branch...
mpfr-4.2.2/src/sin_cos.c:348:11: branch_true: ...to here
mpfr-4.2.2/src/sin_cos.c:348:11: branch_false: following 'false' branch...
mpfr-4.2.2/src/sin_cos.c:349:11: branch_false: ...to here
mpfr-4.2.2/src/sin_cos.c:350:11: branch_true: following 'true' branch...
mpfr-4.2.2/src/sin_cos.c:351:21: branch_true: ...to here
mpfr-4.2.2/src/sin_cos.c:355:11: branch_false: following 'false' branch...
mpfr-4.2.2/src/sin_cos.c:361:7: branch_true: following 'true' branch...
mpfr-4.2.2/src/sin_cos.c:362:7: branch_true: ...to here
mpfr-4.2.2/src/sin_cos.c:371:7: branch_false: following 'false' branch...
mpfr-4.2.2/src/sin_cos.c:374:17: branch_false: following 'false' branch (when 'k != 0')...
mpfr-4.2.2/src/sin_cos.c:374:48: branch_false: ...to here
mpfr-4.2.2/src/sin_cos.c:374:48: danger: use of uninitialized value 'accu[k]' here
#  372|         mult[k] += 2 * r - size_ptoj[1] - 1;
#  373|         /* the absolute contribution of the next term is 1/2^accu[k] */
#  374|->       accu[k] = (k == 0) ? mult[k] : mult[k] + accu[k-1];
#  375|         prec_i_have = accu[k]; /* the current term is < 1/2^accu[k] */
#  376|         j = (i + 2) / 2;

Scan Properties