Fixed all known static analysis bugs, with checker-279 on macOS.

--HG--
extra : rebase_source : 340383a2099de0ed7e61343fb21f59685d11a87e
This commit is contained in:
Ryan C. Gordon 2016-11-24 21:41:09 -05:00
parent 5825b773fd
commit 893f89bb1c
8 changed files with 159 additions and 88 deletions

View file

@ -204,8 +204,13 @@ __kernel_rem_pio2(x, y, e0, nx, prec, ipio2)
/* compute q[0],q[1],...q[jk] */
for (i = 0; i <= jk; i++) {
for (j = 0, fw = 0.0; j <= jx; j++)
fw += x[j] * f[jx + i - j];
for (j = 0, fw = 0.0; j <= jx; j++) {
const int32_t idx = jx + i - j;
SDL_assert(idx >= 0);
SDL_assert(idx < 20);
SDL_assert(idx <= m);
fw += x[j] * f[idx];
}
q[i] = fw;
}