math_error

NOM

SYNOPSIS

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

DESCRIPTION

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);

avant d'appeler une fonction mathématique.

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);

alors une erreur s'est produite dans la fonction mathématique.

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

Erreur de domaine

Erreur de pôle

Erreur d'intervalle

Un dépassement se produit pour le résultat flottant si le résultat est fini, mais trop grand pour être représenté dans le type du résultat. Quand un dépassement se produit, la fonction renvoie la valeur HUGE_VAL, HUGE_VALF ou HUGE_VALL, suivant que le type de retour de la fonction est un double, un float ou un long double. errno prend la valeur ERANGE et une exception de virgule flottante de dépassement (FE_OVERFLOW) est levée.

Un soupassement se produit pour le résultat flottant si le résultat est trop petit pour être représenté dans le type du résultat. Quand un soupassement se produit, une fonction mathématique renvoie généralement 0,0 (C99 indique qu'une fonction doit renvoyer « une valeur propre à l'implémentation dont le module n'est pas plus grand que la plus petite valeur normalisée positive du type donné »). errno prend la valeur ERANGE et une exception de virgule flottante de « soupassement » (FE_UNDERFLOW) peut être levée.

Certaines fonctions produisent une erreur d'intervalle si la valeur du paramètre fourni, ou le résultat exact de la fonction, est dénormalisé (« subnormal »). Une valeur dénormalisée est une valeur qui n'est pas nulle, mais dont le module est si petit qu'il ne peut être représenté dans la forme normalisée (c'est-à-dire avec un 1 dans le bit de poids fort de la mantisse). La représentation d'un nombre dénormalisé contiendra un ou plusieurs zéros en tête de la mantisse.  

NOTES

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)) {
    /* Traite un NaN / erreur de pôle / erreur de domaine */ } r = log(x);

La discussion sur cette page ne s'applique pas aux fonctions mathématiques à variables complexes (c'est-à-dire celles déclarées par <complex.h>), pour lesquelles C99 et POSIX.1 n'exigent pas en général de renvoyer d'erreurs.

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

info libc

TRADUCTION

Cette traduction est une documentation libre ; veuillez vous reporter à la GNU General Public License version 3 concernant les conditions de copie et de distribution. Il n'y a aucune RESPONSABILITÉ LÉGALE.

Si vous découvrez un bogue dans la traduction de cette page de manuel, veuillez envoyer un message à

Index

NOM

SYNOPSIS

DESCRIPTION

Erreur de domaine

Erreur de pôle

Erreur d'intervalle

NOTES

VOIR AUSSI

TRADUCTION