share/libc/math.h · 015155ae9ff003421ba60583aa45e5e00c1e8740 · pub / frama-c

3 years ago

[Libc] fix spec of tan* functions · 015155ae

Andre Maroneze authored 3 years ago and

David Bühler committed 3 years ago

The Linux manpage for tan states that only a floating-point exception
(FE_OVERFLOW) occurs in case of result overflow, but the POSIX manpage mentions
that errno can be set to ERANGE.

015155ae

History

[Libc] fix spec of tan* functions

Andre Maroneze authored 3 years ago and

David Bühler committed 3 years ago

The Linux manpage for tan states that only a floating-point exception
(FE_OVERFLOW) occurs in case of result overflow, but the POSIX manpage mentions
that errno can be set to ERANGE.