Tossed in some SDL_asserts to make static analyzer happier.

(Most of its complaints here are that these ints can be negative, although
they wouldn't been in sane cases. Checking sanity is what assertions do, and
it placates the analyzer appropriately.)

--HG--
extra : rebase_source : 26cde4bbb2ae5fc232d49493c5b9775dcb52c9d7
This commit is contained in:
Ryan C. Gordon 2014-03-23 18:56:47 -04:00
parent 519432a55f
commit 11f6490bf5

View file

@ -134,6 +134,8 @@ static const char rcsid[] =
#include "math_libm.h"
#include "math_private.h"
#include "SDL_assert.h"
libm_hidden_proto(scalbn)
libm_hidden_proto(floor)
#ifdef __STDC__
@ -181,10 +183,13 @@ __kernel_rem_pio2(x, y, e0, nx, prec, ipio2)
double z, fw, f[20], fq[20], q[20];
/* initialize jk */
SDL_assert((prec >= 0) && (prec < SDL_arraysize(init_jk)));
jk = init_jk[prec];
SDL_assert((jk >= 2) && (jk <= 6));
jp = jk;
/* determine jx,jv,q0, note that 3>q0 */
SDL_assert(nx > 0);
jx = nx - 1;
jv = (e0 - 3) / 24;
if (jv < 0)