Skip to content
Permalink
Browse files

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.)
  • Loading branch information
icculus committed Mar 23, 2014
1 parent 46a80b0 commit 6ab50a5e2e592b58804d2928cc66f5a2f4108e6d
Showing with 5 additions and 0 deletions.
  1. +5 −0 src/libm/k_rem_pio2.c
@@ -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)

0 comments on commit 6ab50a5

Please sign in to comment.