NOM¶

math_error - Détecter des erreurs des fonctions mathématiques

SYNOPSIS¶

#include <math.h>
#include <errno.h>
#include <fenv.h>

DESCRIPTION¶

Quand une erreur se produit, la plupart des fonctions de bibliothèques l'indiquent en renvoyant une valeur spéciale (par exemple, -1 ou NULL). Parce qu'elles renvoient en général un nombre en virgule flottante, les fonctions mathématiques déclarées dans <math.h> indiquent une erreur en utilisant d'autres mécanismes. Il y a deux mécanismes d'indication d'erreur : l'ancien configure errno ; le nouveau utilise le mécanisme d'exception de virgule flottante (l'utilisation de feclearexcept(3) et fetestexcept(3), comme explicité ci-dessous) décrit dans fenv(3).

Un programme portable qui doit vérifier les erreurs d'une fonction mathématique devrait mettre errno à zéro et effectuer l'appel suivant :

feclearexcept(FE_ALL_EXCEPT);

Après le retour d'une fonction mathématique, si errno est non nul ou si l'appel suivant (consultez fenv(3)) ne renvoie pas zéro :

fetestexcept(FE_INVALID | FE_DIVBYZERO | FE_OVERFLOW |


             FE_UNDERFLOW);

Les conditions d'erreur qui peuvent se produire pour les fonctions mathématiques sont décrites ci-dessous.

NOTES¶

L'identifiant math_errhandling spécifié par C99 et POSIX.1-2001 n'est pas pris en charge par la glibc. Cet identifiant est supposé indiquer lequel des deux mécanismes d'indication d'erreur est utilisé (errno ou des exceptions récupérables avec fettestexcept(3)). Les normes imposent qu'au moins l'un d'entre eux soit utilisé, mais autorisent à ce que les deux soient disponibles. La situation actuelle de la glibc (version 2.8) n'est pas très propre. La plupart des fonctions (mais pas toutes) lèvent des exceptions en cas d'erreur. Certaines positionnent également errno. Quelques fonctions positionnent errno, mais ne lèvent pas d'exception. Très peu ne font ni l'un ni l'autre. Consultez les différentes pages de manuel pour avoir les détails.

Pour éviter la complexité d'avoir à utiliser errno et fetestexcept(3) pour la détection d'erreurs, il est souvent recommandé de vérifier la validité des paramètres avant les appels. Par exemple, le code suivant s'assure que le paramètre de log(3) n'est ni un NaN, ni zéro (une erreur de pôle) ou inférieur à zéro (une erreur de domaine) :

double x, r;
if (isnan(x) || islessequal(x, 0)) {


    /* Deal with NaN / pole error / domain error */
}
r = log(x);

L'option de gcc(1) -fno-math-errno permet d'utiliser des implémentations de certaines fonctions mathématiques plus rapides que les implémentations standard, mais qui ne positionnent pas errno (l'option -ffast-math de gcc(1) active également -fno-math-errno). Une erreur peut toujours être testée en utilisant fetestexcept(3).

VOIR AUSSI¶

gcc(1), errno(3), fenv(3), fpclassify(3), INFINITY(3), isgreater(3), matherr(3), nan(3)

info libc

COLOPHON¶

Cette page fait partie de la publication 3.52 du projet man-pages Linux. Une description du projet et des instructions pour signaler des anomalies peuvent être trouvées à l'adresse http://www.kernel.org/doc/man-pages/.

TRADUCTION¶

Depuis 2010, cette traduction est maintenue à l'aide de l'outil po4a <http://po4a.alioth.debian.org/> par l'équipe de traduction francophone au sein du projet perkamon <http://perkamon.alioth.debian.org/>.

Alain Portal <http://manpagesfr.free.fr/> (2008).

Veuillez signaler toute erreur de traduction en écrivant à <perkamon-fr@traduc.org>.

Vous pouvez toujours avoir accès à la version anglaise de ce document en utilisant la commande « LC_ALL=C man <section> <page_de_man> ».