X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=lib%2Fimaxdiv.c;h=4d25a8a0259d15018d093093b7ee41373f3a8f3c;hb=0ce62ceb71b8c4c07e23f3d51e22040c5c51a466;hp=1bbfe0e420018fc19f6133fa1ccdf242fde66d50;hpb=eb6d07a070b018aa129327c85dd7ef5f9ed44150;p=gnulib.git diff --git a/lib/imaxdiv.c b/lib/imaxdiv.c index 1bbfe0e42..4d25a8a02 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-2011 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,12 +12,9 @@ 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 . */ -#ifdef HAVE_CONFIG_H -# include -#endif +#include /* Specification. */ #include @@ -38,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;