X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=lib%2Fimaxdiv.c;h=88bee2f56565d85ae755cd19b93c92bdab5a435e;hb=32d1664e8e930d8fa6a29db4caac4d21623e42c8;hp=a25666ca250c93f1d55d0f361f84b1e524dc8d8b;hpb=99099106c3c1cb16ed1e91be970332fe225e278b;p=gnulib.git diff --git a/lib/imaxdiv.c b/lib/imaxdiv.c index a25666ca2..88bee2f56 100644 --- a/lib/imaxdiv.c +++ b/lib/imaxdiv.c @@ -1,10 +1,10 @@ /* imaxdiv() function: division of 'intmax_t'. - Copyright (C) 2006 Free Software Foundation, Inc. + Copyright (C) 2006, 2009, 2010 Free Software Foundation, Inc. - This program is free software; you can redistribute it and/or modify + This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by - the Free Software Foundation; either version 2, or (at your option) - any later version. + the Free Software Foundation; either version 3 of the License, or + (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of @@ -12,8 +12,7 @@ GNU General Public License for more details. You should have received a copy of the GNU General Public License - along with this program; if not, write to the Free Software Foundation, - Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. */ + along with this program. If not, see . */ #include @@ -36,28 +35,28 @@ imaxdiv (intmax_t numer, intmax_t denom) often called "truncation toward zero".) If the quotient a/b is representable, the expression (a/b)*b + a%b shall equal a." */ if (!(denom == 0 - || (INTMAX_MIN + INTMAX_MAX < 0 - && denom == -1 - && numer < - INTMAX_MAX))) + || (INTMAX_MIN + INTMAX_MAX < 0 + && denom == -1 + && numer < - INTMAX_MAX))) { if (!(result.quot * denom + result.rem == numer)) - /* The compiler's implementation of / and % is broken. */ - abort (); + /* The compiler's implementation of / and % is broken. */ + abort (); if (!(numer >= 0 - ? result.rem >= 0 - && (denom >= 0 - ? result.rem < denom - : /* Don't write result.rem < - denom, - as it gives integer overflow if denom == INTMAX_MIN. */ - - result.rem > denom) - : result.rem <= 0 - && (denom >= 0 - ? result.rem > - denom - : result.rem > denom))) - /* The compiler's implementation of / and % may be ok according to - C89, but not to C99. Please report this to . - This might be a big portability problem. */ - abort (); + ? result.rem >= 0 + && (denom >= 0 + ? result.rem < denom + : /* Don't write result.rem < - denom, + as it gives integer overflow if denom == INTMAX_MIN. */ + - result.rem > denom) + : result.rem <= 0 + && (denom >= 0 + ? result.rem > - denom + : result.rem > denom))) + /* The compiler's implementation of / and % may be ok according to + C89, but not to C99. Please report this to . + This might be a big portability problem. */ + abort (); } return result;