mpfr-4.2.2-1.fc43

List of Findings

Error: GCC_ANALYZER_WARNING (CWE-457): [#def1]
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:581:1: enter_function: entry to 'mpfr_sincos_fast'
mpfr-4.2.2/src/sin_cos.c:590:3: branch_true: following 'true' branch...
mpfr-4.2.2/src/sin_cos.c:591:6: branch_true: ...to here
mpfr-4.2.2/src/sin_cos.c:599:3: branch_false: following 'false' branch...
mpfr-4.2.2/src/sin_cos.c:599:3: branch_false: ...to here
mpfr-4.2.2/src/sin_cos.c:605:10: branch_true: following 'true' branch...
mpfr-4.2.2/src/sin_cos.c:607:17: call_function: calling 'sincos_aux' from 'mpfr_sincos_fast'
#  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