libstdc++-v3/testsuite/special_functions/02_assoc_legendre/pr86655.cc

   1 // { dg-do run { target c++11 } }
   2 // { dg-options "-D__STDCPP_WANT_MATH_SPEC_FUNCS__ -ffp-contract=off" }
   3
   4 // Copyright (C) 2019-2025 Free Software Foundation, Inc.
   5 //
   6 // This file is part of the GNU ISO C++ Library.  This library is free
   7 // software; you can redistribute it and/or modify it under the
   8 // terms of the GNU General Public License as published by the
   9 // Free Software Foundation; either version 3, or (at your option)
  10 // any later version.
  11 //
  12 // This library is distributed in the hope that it will be useful,
  13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15 // GNU General Public License for more details.
  16 //
  17 // You should have received a copy of the GNU General Public License along
  18 // with this library; see the file COPYING3.  If not see
  19 // <http://www.gnu.org/licenses/>.
  20
  21 #include <initializer_list>
  22 #include <cmath>
  23 #if defined(__TEST_DEBUG)
  24 #  include <iostream>
  25 #  define VERIFY(A) \
  26   if (!(A)) \
  27     { \
  28       std::cout << "line " << __LINE__ \
  29         << "  std::assoc_legendre(l, m, x) == 0: " << (A) \
  30         << '\n'; \
  31     }
  32 #else
  33 #  include <testsuite_hooks.h>
  34 #endif
  35
  36 template<typename _Tp>
  37   void
  38   test_m_gt_l()
  39   {
  40     bool test __attribute__((unused)) = true;
  41     for (auto l : {0u, 1u, 2u, 5u})
  42       for (auto m : {l + 1u, l + 2u})
  43         for (auto i : {-2, -1, 0, 1, 2})
  44           {
  45             auto x = _Tp(i * 0.5L);
  46             VERIFY(std::assoc_legendre(l, m, x) == _Tp(0));
  47           }
  48   }
  49
  50 int
  51 main()
  52 {
  53   test_m_gt_l<float>();
  54   test_m_gt_l<double>();
  55   test_m_gt_l<long double>();
  56 }