/* 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
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 <http://www.gnu.org/licenses/>. */
#include <config.h>
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 <bug-gnulib@ngu.org>.
- 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 <bug-gnulib@ngu.org>.
+ This might be a big portability problem. */
+ abort ();
}
return result;