diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-04-04 14:43:40 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-04-04 14:43:40 +0000 |
| commit | 1baff5646ded58592de243562d34ca18c72748c5 (patch) | |
| tree | 944325c474b481621dacc8e296c0916bac7be67a /doc/README.dev | |
| parent | 2d2c746d413f615601f0a3d7af469d19cc1e88ef (diff) | |
| download | mpfr-1baff5646ded58592de243562d34ca18c72748c5.tar.gz | |
[doc/README.dev] Added a paragraph about the use of errno.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11404 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc/README.dev')
| -rw-r--r-- | doc/README.dev | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/README.dev b/doc/README.dev index d0ddcc847..46f1e5cb1 100644 --- a/doc/README.dev +++ b/doc/README.dev @@ -580,6 +580,14 @@ user-defined string literal in C++11: ===================================================================== +Setting errno is safe to signal some error information (as in the +formatted output functions), but errno must not be read (unless we +have just modified it) as this may yield undefined behavior in some +corner cases out of our control (ISO C99 / C11, 7.14.1.1p5, also +mentioned in J.2). + + ===================================================================== + C-Reduce may be useful to try to identify whether a bug comes from the compiler. |