Sun Microsystems, Inc. gratefully acknowledges The Open Group for

permission to reproduce portions of its copyrighted documentation.

Original documentation from The Open Group can be obtained online at

http://www.opengroup.org/bookstore/.

The Institute of Electrical and Electronics Engineers and The Open

Group, have given us permission to reprint portions of their

documentation.

In the following statement, the phrase ``this text'' refers to portions

of the system documentation.

Portions of this text are reprinted and reproduced in electronic form

in the SunOS Reference Manual, from IEEE Std 1003.1, 2004 Edition,

Standard for Information Technology -- Portable Operating System

Interface (POSIX), The Open Group Base Specifications Issue 6,

Copyright (C) 2001-2004 by the Institute of Electrical and Electronics

Engineers, Inc and The Open Group. In the event of any discrepancy

between these versions and the original IEEE and The Open Group

Standard, the original IEEE and The Open Group Standard is the referee

document. The original Standard can be obtained online at

http://www.opengroup.org/unix/online.html.

This notice shall appear on any product containing this material.

The contents of this file are subject to the terms of the

Common Development and Distribution License (the "License").

You may not use this file except in compliance with the License.

You can obtain a copy of the license at usr/src/OPENSOLARIS.LICENSE

or http://www.opensolaris.org/os/licensing.

See the License for the specific language governing permissions

and limitations under the License.

When distributing Covered Code, include this CDDL HEADER in each

file and include the License file at usr/src/OPENSOLARIS.LICENSE.

If applicable, add the following below this CDDL HEADER, with the

fields enclosed by brackets "[]" replaced with your own identifying

information: Portions Copyright [yyyy] [name of copyright owner]

Copyright (c) 1992, X/Open Company Limited. All Rights Reserved.

Copyright (c) 2001, The IEEE and The Open Group. All Rights Reserved.

Portions Copyright (c) 2006, Sun Microsystems, Inc. All Rights Reserved.

c99 [ flag... ] file... -lm [ library... ] #include <math.h> double nextafter(double x, double y);

float nextafterf(float x, float y);

long double nextafterl(long double x, long double y);

double nexttoward(double x, long double y);

float nexttowardf(float x, long double y);

long double nexttowardl(long double x, long double y);

The nextafter(), nextafterf(), and nextafterl() functions compute the next representable floating-point value following x in the direction of y. Thus, if y is less than x, nextafter() returns the largest representable floating-point number less than x. The nextafter(), nextafterf(), and nextafterl() functions return y if x equals y.

The nexttoward(), nexttowardf(), and nexttowardl() functions are equivalent to the corresponding nextafter() functions, except that the second parameter has type long double and the functions return y converted to the type of the function if x equals y.

Upon successful completion, these functions return the next representable floating-point value following x in the direction of y.

If x == y, y (of the type x) is returned.

If x is finite and the correct function value would overflow, a range error occurs and \(+-HUGE_VAL, \(+-HUGE_VALF, and \(+-HUGE_VALL (with the same sign as x) is returned as appropriate for the return type of the function.

If x or y is NaN, a NaN is returned.

If x != y and the correct function value is subnormal, zero, or underflows, a range error occurs and either the correct function value (if representable) or 0.0 is returned.

These functions will fail if:

Range Error

The correct value overflows. If the integer expression (math_errhandling & MATH_ERREXCEPT) is non-zero, the overflow floating-point exception is raised. The nextafter() function sets errno to ERANGE if the correct value would overflow.

Range Error

The correct value underflows. If the integer expression (math_errhandling & MATH_ERREXCEPT) is non-zero, the underflow floating-point exception is raised.

An application wanting to check for exceptions should call feclearexcept(FE_ALL_EXCEPT) before calling these functions. On return, if fetestexcept(FE_INVALID | FE_DIVBYZERO | FE_OVERFLOW | FE_UNDERFLOW) is non-zero, an exception has been raised. An application should either examine the return value or check the floating point exception flags to detect exceptions.

An application can also set errno to 0 before calling nextafter(). On return, if errno is non-zero, an error has occurred. The nextafterf(), nextafterl(). nexttoward(), nexttowardf(), and nexttowardl() functions do not set errno.

See attributes(5) for descriptions of the following attributes:

ATTRIBUTE TYPE ATTRIBUTE VALUE |

Interface Stability Standard |

MT-Level MT-Safe |

feclearexcept(3M), fetestexcept(3M), math.h(3HEAD), attributes(5), standards(5)