libstdc++: Update the <numeric> synopsis test to latest standard

Tested with

  make check RUNTESTFLAGS="conformance.exp=*numeric*synopsis* --target_board=unix/-std=$std"

for std in {c++98, c++11, c++17, c++2a}.

libstdc++-v3/ChangeLog:

	* testsuite/26_numerics/headers/numeric/synopsis.cc: Add signatures for
	functions introduced in C++11, C++17 and C++2a.  Add 'constexpr' to
	existing signatures for C++2a.
This commit is contained in:
Patrick Palka 2020-02-28 12:43:14 -05:00
parent 586b016cd4
commit 799270b430
2 changed files with 117 additions and 0 deletions

View File

@ -1,3 +1,9 @@
2020-02-28 Patrick Palka <ppalka@redhat.com>
* testsuite/26_numerics/headers/numeric/synopsis.cc: Add signatures for
functions introduced in C++11, C++17 and C++2a. Add 'constexpr' to
existing signatures for C++2a.
2020-02-28 Jonathan Wakely <jwakely@redhat.com>
* testsuite/24_iterators/range_operations/advance_debug_neg.cc: Run

View File

@ -19,46 +19,157 @@
#include <numeric>
#if __cplusplus > 201703L
#define CONSTEXPR constexpr
#else
#define CONSTEXPR
#endif
namespace std {
template <class InputIterator, class T>
CONSTEXPR
T accumulate(InputIterator first, InputIterator last, T init);
template <class InputIterator, class T, class BinaryOperation>
CONSTEXPR
T accumulate(InputIterator first, InputIterator last, T init,
BinaryOperation binary_op);
template <class InputIterator1, class InputIterator2, class T>
CONSTEXPR
T inner_product(InputIterator1 first1, InputIterator1 last1,
InputIterator2 first2, T init);
template <class InputIterator1, class InputIterator2, class T,
class BinaryOperation1, class BinaryOperation2>
CONSTEXPR
T inner_product(InputIterator1 first1, InputIterator1 last1,
InputIterator2 first2, T init,
BinaryOperation1 binary_op1,
BinaryOperation2 binary_op2);
template <class InputIterator, class OutputIterator>
CONSTEXPR
OutputIterator partial_sum(InputIterator first,
InputIterator last,
OutputIterator result);
template <class InputIterator, class OutputIterator,
class BinaryOperation>
CONSTEXPR
OutputIterator partial_sum(InputIterator first,
InputIterator last,
OutputIterator result,
BinaryOperation binary_op);
template <class InputIterator, class OutputIterator>
CONSTEXPR
OutputIterator adjacent_difference(InputIterator first,
InputIterator last,
OutputIterator result);
template <class InputIterator, class OutputIterator,
class BinaryOperation>
CONSTEXPR
OutputIterator adjacent_difference(InputIterator first,
InputIterator last,
OutputIterator result,
BinaryOperation binary_op);
#if __cplusplus >= 201103L
template<class ForwardIterator, class T>
CONSTEXPR void iota(ForwardIterator first, ForwardIterator last, T value);
#endif // C++11
#if __cplusplus >= 201703L
template<class InputIterator>
CONSTEXPR typename iterator_traits<InputIterator>::value_type
reduce(InputIterator first, InputIterator last);
template<class InputIterator, class T>
CONSTEXPR T reduce(InputIterator first, InputIterator last, T init);
template<class InputIterator, class T, class BinaryOperation>
CONSTEXPR T reduce(InputIterator first, InputIterator last, T init,
BinaryOperation binary_op);
template<class InputIterator, class OutputIterator, class T>
CONSTEXPR OutputIterator
exclusive_scan(InputIterator first, InputIterator last,
OutputIterator result, T init);
template<class InputIterator, class OutputIterator, class T,
class BinaryOperation>
CONSTEXPR OutputIterator
exclusive_scan(InputIterator first, InputIterator last,
OutputIterator result, T init, BinaryOperation binary_op);
template<class InputIterator, class OutputIterator>
CONSTEXPR OutputIterator
inclusive_scan(InputIterator first, InputIterator last,
OutputIterator result);
template<class InputIterator, class OutputIterator, class BinaryOperation>
CONSTEXPR OutputIterator
inclusive_scan(InputIterator first, InputIterator last,
OutputIterator result, BinaryOperation binary_op);
template<class InputIterator, class OutputIterator, class BinaryOperation,
class T>
CONSTEXPR OutputIterator
inclusive_scan(InputIterator first, InputIterator last,
OutputIterator result, BinaryOperation binary_op, T init);
template<class InputIterator1, class InputIterator2, class T>
CONSTEXPR T transform_reduce(InputIterator1 first1, InputIterator1 last1,
InputIterator2 first2, T init);
template<class InputIterator1, class InputIterator2, class T,
class BinaryOperation1, class BinaryOperation2>
CONSTEXPR T transform_reduce(InputIterator1 first1, InputIterator1 last1,
InputIterator2 first2, T init,
BinaryOperation1 binary_op1,
BinaryOperation2 binary_op2);
template<class InputIterator, class T,
class BinaryOperation, class UnaryOperation>
CONSTEXPR T transform_reduce(InputIterator first, InputIterator last, T init,
BinaryOperation binary_op,
UnaryOperation unary_op);
template<class InputIterator, class OutputIterator, class T,
class BinaryOperation, class UnaryOperation>
CONSTEXPR OutputIterator
transform_exclusive_scan(InputIterator first, InputIterator last,
OutputIterator result, T init,
BinaryOperation binary_op, UnaryOperation unary_op);
template<class InputIterator, class OutputIterator,
class BinaryOperation, class UnaryOperation>
CONSTEXPR OutputIterator
transform_inclusive_scan(InputIterator first, InputIterator last,
OutputIterator result,
BinaryOperation binary_op, UnaryOperation unary_op);
template<class InputIterator, class OutputIterator,
class BinaryOperation, class UnaryOperation, class T>
CONSTEXPR OutputIterator
transform_inclusive_scan(InputIterator first, InputIterator last,
OutputIterator result,
BinaryOperation binary_op, UnaryOperation unary_op,
T init);
#endif // C++17
#if __cplusplus > 201703L
template<class M, class N>
constexpr common_type_t<M,N> gcd(M m, N n);
template<class M, class N>
constexpr common_type_t<M,N> lcm(M m, N n);
template<class T>
constexpr T midpoint(T a, T b) noexcept;
template<class T>
constexpr T* midpoint(T* a, T* b);
#endif // C++2a
}