From 6ab50a5e2e592b58804d2928cc66f5a2f4108e6d Mon Sep 17 00:00:00 2001 From: "Ryan C. Gordon" Date: Sun, 23 Mar 2014 18:56:47 -0400 Subject: [PATCH] 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.) --- src/libm/k_rem_pio2.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/libm/k_rem_pio2.c b/src/libm/k_rem_pio2.c index f881d35d6..23c2b61dd 100644 --- a/src/libm/k_rem_pio2.c +++ b/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)