diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2018-12-27 16:29:38 +0000 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2018-12-27 16:29:38 +0000 |
commit | 7c7d34a16f08f84427b3f617313d9633423ad5eb (patch) | |
tree | 2c1ac6a7e6b47a49228b905f12b3604dfa4d1dc3 /bits/inf.h | |
parent | 6772d640a4f4874166a61f1859e1660a2913a89d (diff) | |
parent | 963c37d5c0eb62b38f8764b23931c0dcdd497a13 (diff) |
Merge commit 'refs/top-bases/t/hurdsig-fixes' into t/hurdsig-fixes
Diffstat (limited to 'bits/inf.h')
-rw-r--r-- | bits/inf.h | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/bits/inf.h b/bits/inf.h deleted file mode 100644 index 46fcf9f2df..0000000000 --- a/bits/inf.h +++ /dev/null @@ -1,32 +0,0 @@ -/* Default `INFINITY' constant. - Copyright (C) 2004-2016 Free Software Foundation, Inc. - This file is part of the GNU C Library. - - The GNU C Library is free software; you can redistribute it and/or - modify it under the terms of the GNU Lesser General Public - License as published by the Free Software Foundation; either - version 2.1 of the License, or (at your option) any later version. - - The GNU C Library is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU - Lesser General Public License for more details. - - You should have received a copy of the GNU Lesser General Public - License along with the GNU C Library; if not, see - <http://www.gnu.org/licenses/>. */ - -#ifndef _MATH_H -# error "Never use <bits/inf.h> directly; include <math.h> instead." -#endif - -/* If we don't have real infinity, then we're supposed to produce a float - value that overflows at translation time, which is required to produce - a diagnostic. GCC's __builtin_inff produces a quite nice diagnostic - that tells the user that the target doesn't support infinities. */ - -#if __GNUC_PREREQ(3,3) -# define INFINITY (__builtin_inff()) -#else -# define INFINITY (1e9999f) -#endif |