PR libstdc++/82644 document IS 29124 support
Also fix declarations of special functions in C++17, to import them into the global namespace in <math.h>, and to prevent defining the non-standard hypergeometric functions in strict mode. PR libstdc++/82644 * doc/xml/manual/intro.xml: Include new section. * doc/xml/manual/status_cxxis29124.xml: New section on IS 29124 status. * include/bits/specfun.h [__STRICT_ANSI__] (hyperg, hypergf, hypergl) (conf_hyperg, conf_hypergf, conf_hypergl): Don't declare. * include/c_compatibility/math.h: Import special functions into global namespace for C++17. * testsuite/26_numerics/headers/cmath/82644.cc: New test. * testsuite/26_numerics/headers/cmath/functions_global_c++17.cc: New test. From-SVN: r254004
This commit is contained in:
Jonathan Wakely
Jonathan Wakely
parent
2a31c3216c
commit
908d1d3aea
|
|
@ -1,3 +1,17 @@
|
|||
2017-10-23 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
PR libstdc++/82644
|
||||
* doc/xml/manual/intro.xml: Include new section.
|
||||
* doc/xml/manual/status_cxxis29124.xml: New section on IS 29124
|
||||
status.
|
||||
* include/bits/specfun.h [__STRICT_ANSI__] (hyperg, hypergf, hypergl)
|
||||
(conf_hyperg, conf_hypergf, conf_hypergl): Don't declare.
|
||||
* include/c_compatibility/math.h: Import special functions into
|
||||
global namespace for C++17.
|
||||
* testsuite/26_numerics/headers/cmath/82644.cc: New test.
|
||||
* testsuite/26_numerics/headers/cmath/functions_global_c++17.cc: New
|
||||
test.
|
||||
|
||||
2017-10-21 Jonathan Wakely <jwakely@redhat.com>
|
||||
|
||||
* testsuite/experimental/filesystem/path/itr/traversal.cc: Do not
|
||||
|
|
|
|||
|
|
@ -50,6 +50,10 @@
|
|||
<!-- Section 01.6 : Status C++ TR24733 -->
|
||||
<xi:include xmlns:xi="http://www.w3.org/2001/XInclude" parse="xml" href="status_cxxtr24733.xml">
|
||||
</xi:include>
|
||||
|
||||
<!-- Section 01.7 : Status C++ IS 24733 -->
|
||||
<xi:include xmlns:xi="http://www.w3.org/2001/XInclude" parse="xml" href="status_cxxis29124.xml">
|
||||
</xi:include>
|
||||
</section>
|
||||
|
||||
<!-- Section 02 : License -->
|
||||
|
|
|
|||
|
|
@ -0,0 +1,315 @@
|
|||
<section xmlns="http://docbook.org/ns/docbook" version="5.0"
|
||||
xml:id="status.iso.specfun" xreflabel="Status C++ 29124">
|
||||
<?dbhtml filename="status_iso_cxxis29124.html"?>
|
||||
|
||||
<info><title>C++ IS 29124</title>
|
||||
<keywordset>
|
||||
<keyword>ISO C++</keyword>
|
||||
<keyword>Special Functions</keyword>
|
||||
</keywordset>
|
||||
</info>
|
||||
|
||||
<para>
|
||||
This table is based on the table of contents of ISO/IEC FDIS 29124
|
||||
Doc No: N3060 Date: 2010-03-06
|
||||
Extensions to the C++ Library to support mathematical special functions
|
||||
</para>
|
||||
|
||||
<para>
|
||||
Complete support for IS 29124 is in GCC 6.1 and later releases, when using
|
||||
at least C++11 (for older releases or C++98/C++03 use TR1 instead).
|
||||
For C++11 and C++14 the additions to the library are not declared by their
|
||||
respective headers unless <code>__STDCPP_WANT_MATH_SPEC_FUNCS__</code>
|
||||
is defined as a macro that expands to a non-zero integer constant.
|
||||
For C++17 the special functions are always declared (since GCC 7.1).
|
||||
</para>
|
||||
|
||||
<para>
|
||||
When the special functions are declared the macro
|
||||
<code>__STDCPP_MATH_SPEC_FUNCS__</code> is defined to <code>201003L</code>.
|
||||
</para>
|
||||
|
||||
<para>
|
||||
In addition to the special functions defined in IS 29124, for
|
||||
non-strict modes (i.e. <code>-std=gnu++NN</code> modes) the
|
||||
hypergeometric functions and confluent hypergeometric functions
|
||||
from TR1 are also provided, defined in namespace
|
||||
<code>__gnu_cxx</code>.
|
||||
</para>
|
||||
|
||||
<!-- Status is Yes or No, Broken/Partial-->
|
||||
<!--
|
||||
Yes
|
||||
|
||||
No
|
||||
<?dbhtml bgcolor="#C8B0B0" ?>
|
||||
Broken/Partial
|
||||
<?dbhtml bgcolor="#B0B0B0" ?>
|
||||
-->
|
||||
<table frame="all" xml:id="table.specfun_status">
|
||||
<title>C++ Special Functions Implementation Status</title>
|
||||
|
||||
<tgroup cols="4" align="left" colsep="0" rowsep="1">
|
||||
<colspec colname="c1"/>
|
||||
<colspec colname="c2"/>
|
||||
<colspec colname="c3"/>
|
||||
<colspec colname="c4"/>
|
||||
|
||||
<thead>
|
||||
<row>
|
||||
<entry>Section</entry>
|
||||
<entry>Description</entry>
|
||||
<entry>Status</entry>
|
||||
<entry>Comments</entry>
|
||||
</row>
|
||||
</thead>
|
||||
<tbody>
|
||||
<row>
|
||||
<?dbhtml bgcolor="#B0B0B0" ?>
|
||||
<entry>7</entry>
|
||||
<entry>Macro names</entry>
|
||||
<entry>Partial</entry>
|
||||
<entry>No diagnostic for inconsistent definitions of
|
||||
<code>__STDCPP_WANT_MATH_SPEC_FUNCS__</code></entry>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8</entry>
|
||||
<entry>Mathematical special functions</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1</entry>
|
||||
<entry>Additions to header <code><cmath></code> synopsis</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.1</entry>
|
||||
<entry>associated Laguerre polynomials</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.2</entry>
|
||||
<entry>associated Legendre functions</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.3</entry>
|
||||
<entry>beta function</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.4</entry>
|
||||
<entry>(complete) elliptic integral of the first kind</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.5</entry>
|
||||
<entry>(complete) elliptic integral of the second kind</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.6</entry>
|
||||
<entry>(complete) elliptic integral of the third kind</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.7</entry>
|
||||
<entry>regular modified cylindrical Bessel functions</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.8</entry>
|
||||
<entry>cylindrical Bessel functions (of the first kind)</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.9</entry>
|
||||
<entry>irregular modified cylindrical Bessel functions</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.10</entry>
|
||||
<entry>cylindrical Neumann functions</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.11</entry>
|
||||
<entry>(incomplete) elliptic integral of the first kind</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.12</entry>
|
||||
<entry>(incomplete) elliptic integral of the second kind</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.13</entry>
|
||||
<entry>(incomplete) elliptic integral of the third kind</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.14</entry>
|
||||
<entry>exponential integral</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.15</entry>
|
||||
<entry>Hermite polynomials</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.16</entry>
|
||||
<entry>Laguerre polynomials</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.17</entry>
|
||||
<entry>Legendre polynomials</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.18</entry>
|
||||
<entry>Riemann zeta function</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.19</entry>
|
||||
<entry>spherical Bessel functions (of the first kind)</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.20</entry>
|
||||
<entry>spherical associated Legendre functions</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.1.21</entry>
|
||||
<entry>spherical Neumann functions</entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<entry>8.2</entry>
|
||||
<entry>Additions to header <code><math.h></code></entry>
|
||||
<entry>Y</entry>
|
||||
<entry/>
|
||||
</row>
|
||||
<row>
|
||||
<?dbhtml bgcolor="#B0B0B0" ?>
|
||||
<entry>8.3</entry>
|
||||
<entry>The header <code><ctgmath></code></entry>
|
||||
<entry>Partial</entry>
|
||||
<entry>Conflicts with C++ 2011 requirements.</entry>
|
||||
</row>
|
||||
<row>
|
||||
<?dbhtml bgcolor="#C8B0B0" ?>
|
||||
<entry>8.4</entry>
|
||||
<entry>The header <code><tgmath.h></code></entry>
|
||||
<entry>N</entry>
|
||||
<entry>Conflicts with C++ 2011 requirements.</entry>
|
||||
</row>
|
||||
</tbody>
|
||||
</tgroup>
|
||||
</table>
|
||||
|
||||
<section xml:id="iso.specfun.specific" xreflabel="Implementation Specific"><info><title>Implementation Specific Behavior</title></info>
|
||||
|
||||
<para>For behaviour which is specified by the 2011 standard,
|
||||
see <link linkend="iso.2011.specific">C++ 2011 Implementation
|
||||
Specific Behavior</link>. This section documents behaviour which
|
||||
is required by IS 29124.
|
||||
</para>
|
||||
|
||||
<para>
|
||||
<emphasis>7.2 [macro.user]/3 /4</emphasis> The functions declared in
|
||||
Clause 8 are only declared when
|
||||
<code>__STDCPP_WANT_MATH_SPEC_FUNCS__ == 1</code>
|
||||
(or in C++17 mode, for GCC 7.1 and later).
|
||||
</para>
|
||||
|
||||
<para>
|
||||
<emphasis>8.1.1 [sf.cmath.Lnm]/1</emphasis> The effect of calling
|
||||
these functions with <code>n >= 128</code> or <code>m >= 128</code>
|
||||
should be described here.
|
||||
</para>
|
||||
|
||||
<para>
|
||||
<emphasis>8.1.2 [sf.cmath.Plm]/3</emphasis> The effect of calling
|
||||
these functions with <code>l >= 128</code> should be described here.
|
||||
</para>
|
||||
|
||||
<para>
|
||||
<emphasis>8.1.3 [sf.cmath.I]/3</emphasis> The effect of calling
|
||||
these functions with <code>nu >= 128</code> should be described here.
|
||||
</para>
|
||||
|
||||
<para>
|
||||
<emphasis>8.1.8 [sf.cmath.J]/3</emphasis> The effect of calling
|
||||
these functions with <code>nu >= 128</code> should be described here.
|
||||
</para>
|
||||
|
||||
<para>
|
||||
<emphasis>8.1.9 [sf.cmath.K]/3</emphasis> The effect of calling
|
||||
these functions with <code>nu >= 128</code> should be described here.
|
||||
</para>
|
||||
|
||||
<para>
|
||||
<emphasis>8.1.10 [sf.cmath.N]/3</emphasis> The effect of calling
|
||||
these functions with <code>nu >= 128</code> should be described here.
|
||||
</para>
|
||||
|
||||
<para>
|
||||
<emphasis>8.1.15 [sf.cmath.Hn]/3</emphasis> The effect of calling
|
||||
these functions with <code>n >= 128</code> should be described here.
|
||||
</para>
|
||||
|
||||
<para>
|
||||
<emphasis>8.1.16 [sf.cmath.Ln]/3</emphasis> The effect of calling
|
||||
these functions with <code>n >= 128</code> should be described here.
|
||||
</para>
|
||||
|
||||
<para>
|
||||
<emphasis>8.1.17 [sf.cmath.Pl]/3</emphasis> The effect of calling
|
||||
these functions with <code>l >= 128</code> should be described here.
|
||||
</para>
|
||||
|
||||
<para>
|
||||
<emphasis>8.1.19 [sf.cmath.j]/3</emphasis> The effect of calling
|
||||
these functions with <code>n >= 128</code> should be described here.
|
||||
</para>
|
||||
|
||||
<para>
|
||||
<emphasis>8.1.20 [sf.cmath.Ylm]/3</emphasis> The effect of calling
|
||||
these functions with <code>l >= 128</code> should be described here.
|
||||
</para>
|
||||
|
||||
<para>
|
||||
<emphasis>8.1.21 [sf.cmath.n]/3</emphasis> The effect of calling
|
||||
these functions with <code>n >= 128</code> should be described here.
|
||||
</para>
|
||||
|
||||
</section>
|
||||
|
||||
</section>
|
||||
|
|
@ -1201,6 +1201,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
|
|||
_GLIBCXX_END_NAMESPACE_VERSION
|
||||
} // namespace std
|
||||
|
||||
#ifndef __STRICT_ANSI__
|
||||
namespace __gnu_cxx _GLIBCXX_VISIBILITY(default)
|
||||
{
|
||||
_GLIBCXX_BEGIN_NAMESPACE_VERSION
|
||||
|
|
@ -1305,6 +1306,7 @@ _GLIBCXX_BEGIN_NAMESPACE_VERSION
|
|||
|
||||
_GLIBCXX_END_NAMESPACE_VERSION
|
||||
} // namespace __gnu_cxx
|
||||
#endif // __STRICT_ANSI__
|
||||
|
||||
#pragma GCC visibility pop
|
||||
|
||||
|
|
|
|||
|
|
@ -111,7 +111,7 @@ using std::tgamma;
|
|||
using std::trunc;
|
||||
#endif // C++11 && _GLIBCXX_USE_C99_MATH_TR1
|
||||
|
||||
#if __STDCPP_WANT_MATH_SPEC_FUNCS__ == 1
|
||||
#if _GLIBCXX_USE_STD_SPEC_FUNCS
|
||||
using std::assoc_laguerref;
|
||||
using std::assoc_laguerrel;
|
||||
using std::assoc_laguerre;
|
||||
|
|
@ -175,7 +175,7 @@ using std::sph_legendre;
|
|||
using std::sph_neumannf;
|
||||
using std::sph_neumannl;
|
||||
using std::sph_neumann;
|
||||
#endif // __STDCPP_WANT_MATH_SPEC_FUNCS__
|
||||
#endif // _GLIBCXX_USE_STD_SPEC_FUNCS
|
||||
|
||||
#endif // _GLIBCXX_MATH_H
|
||||
#endif // __cplusplus
|
||||
|
|
|
|||
|
|
@ -0,0 +1,27 @@
|
|||
// Copyright (C) 2017 Free Software Foundation, Inc.
|
||||
//
|
||||
// This file is part of the GNU ISO C++ Library. This library is free
|
||||
// software; you can redistribute it and/or modify it under the
|
||||
// terms of the GNU General Public License as published by the
|
||||
// Free Software Foundation; either version 3, or (at your option)
|
||||
// any later version.
|
||||
|
||||
// This 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 General Public License for more details.
|
||||
|
||||
// You should have received a copy of the GNU General Public License along
|
||||
// with this library; see the file COPYING3. If not see
|
||||
// <http://www.gnu.org/licenses/>.
|
||||
|
||||
// { dg-options "-D__STDCPP_WANT_MATH_SPEC_FUNCS__ -D__STRICT_ANSI__" }
|
||||
// { dg-do compile { target c++11 } }
|
||||
|
||||
#define conf_hyperg 1
|
||||
#define conf_hypergf 2
|
||||
#define conf_hypergl 3
|
||||
#define hyperg 4
|
||||
#define hypergf 5
|
||||
#define hypergl 6
|
||||
#include <cmath> // PR libstdc++/82644
|
||||
|
|
@ -0,0 +1,111 @@
|
|||
// Copyright (C) 2017 Free Software Foundation, Inc.
|
||||
//
|
||||
// This file is part of the GNU ISO C++ Library. This library is free
|
||||
// software; you can redistribute it and/or modify it under the
|
||||
// terms of the GNU General Public License as published by the
|
||||
// Free Software Foundation; either version 3, or (at your option)
|
||||
// any later version.
|
||||
|
||||
// This 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 General Public License for more details.
|
||||
|
||||
// You should have received a copy of the GNU General Public License along
|
||||
// with this library; see the file COPYING3. If not see
|
||||
// <http://www.gnu.org/licenses/>.
|
||||
|
||||
// { dg-options "-std=gnu++17" }
|
||||
// { dg-do compile }
|
||||
|
||||
#include <math.h>
|
||||
|
||||
namespace gnu
|
||||
{
|
||||
using ::acos;
|
||||
using ::asin;
|
||||
using ::atan;
|
||||
using ::atan2;
|
||||
using ::ceil;
|
||||
using ::cos;
|
||||
using ::cosh;
|
||||
using ::exp;
|
||||
using ::fabs;
|
||||
using ::floor;
|
||||
using ::fmod;
|
||||
using ::frexp;
|
||||
using ::ldexp;
|
||||
using ::log;
|
||||
using ::log10;
|
||||
using ::modf;
|
||||
using ::pow;
|
||||
using ::sin;
|
||||
using ::sinh;
|
||||
using ::sqrt;
|
||||
using ::tan;
|
||||
using ::tanh;
|
||||
|
||||
using ::assoc_laguerre;
|
||||
using ::assoc_laguerref;
|
||||
using ::assoc_laguerrel;
|
||||
using ::assoc_legendre;
|
||||
using ::assoc_legendref;
|
||||
using ::assoc_legendrel;
|
||||
using ::beta;
|
||||
using ::betaf;
|
||||
using ::betal;
|
||||
using ::comp_ellint_1;
|
||||
using ::comp_ellint_1f;
|
||||
using ::comp_ellint_1l;
|
||||
using ::comp_ellint_2;
|
||||
using ::comp_ellint_2f;
|
||||
using ::comp_ellint_2l;
|
||||
using ::comp_ellint_3;
|
||||
using ::comp_ellint_3f;
|
||||
using ::comp_ellint_3l;
|
||||
using ::cyl_bessel_i;
|
||||
using ::cyl_bessel_if;
|
||||
using ::cyl_bessel_il;
|
||||
using ::cyl_bessel_j;
|
||||
using ::cyl_bessel_jf;
|
||||
using ::cyl_bessel_jl;
|
||||
using ::cyl_bessel_k;
|
||||
using ::cyl_bessel_kf;
|
||||
using ::cyl_bessel_kl;
|
||||
using ::cyl_neumann;
|
||||
using ::cyl_neumannf;
|
||||
using ::cyl_neumannl;
|
||||
using ::ellint_1;
|
||||
using ::ellint_1f;
|
||||
using ::ellint_1l;
|
||||
using ::ellint_2;
|
||||
using ::ellint_2f;
|
||||
using ::ellint_2l;
|
||||
using ::ellint_3;
|
||||
using ::ellint_3f;
|
||||
using ::ellint_3l;
|
||||
using ::expint;
|
||||
using ::expintf;
|
||||
using ::expintl;
|
||||
using ::hermite;
|
||||
using ::hermitef;
|
||||
using ::hermitel;
|
||||
using ::laguerre;
|
||||
using ::laguerref;
|
||||
using ::laguerrel;
|
||||
using ::legendre;
|
||||
using ::legendref;
|
||||
using ::legendrel;
|
||||
using ::riemann_zeta;
|
||||
using ::riemann_zetaf;
|
||||
using ::riemann_zetal;
|
||||
using ::sph_bessel;
|
||||
using ::sph_besself;
|
||||
using ::sph_bessell;
|
||||
using ::sph_legendre;
|
||||
using ::sph_legendref;
|
||||
using ::sph_legendrel;
|
||||
using ::sph_neumann;
|
||||
using ::sph_neumannf;
|
||||
using ::sph_neumannl;
|
||||
}
|
||||
Loading…
Reference in New Issue