1decf22e5SEric Fiselier //===----------------------------------------------------------------------===// 2decf22e5SEric Fiselier // 357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information. 557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6decf22e5SEric Fiselier // 7decf22e5SEric Fiselier //===----------------------------------------------------------------------===// 8decf22e5SEric Fiselier 9decf22e5SEric Fiselier // UNSUPPORTED: c++98, c++03, c++11 10decf22e5SEric Fiselier 116f14127eSEric Fiselier // XFAIL: gcc-7 12decf22e5SEric Fiselier 13decf22e5SEric Fiselier // <functional> 14decf22e5SEric Fiselier 15decf22e5SEric Fiselier // equal_to, not_equal_to, less, et al. 16decf22e5SEric Fiselier 17decf22e5SEric Fiselier // Test that these types can be constructed w/o an initializer in a constexpr 18decf22e5SEric Fiselier // context. This is specifically testing gcc.gnu.org/PR83921 19decf22e5SEric Fiselier 20decf22e5SEric Fiselier 21decf22e5SEric Fiselier #include <functional> 22decf22e5SEric Fiselier #include "test_macros.h" 23decf22e5SEric Fiselier 24decf22e5SEric Fiselier template <class T> 25decf22e5SEric Fiselier constexpr bool test_constexpr_context() { 26decf22e5SEric Fiselier std::equal_to<T> eq; 27decf22e5SEric Fiselier ((void)eq); 28decf22e5SEric Fiselier std::not_equal_to<T> neq; 29decf22e5SEric Fiselier ((void)neq); 30decf22e5SEric Fiselier std::less<T> l; 31decf22e5SEric Fiselier ((void)l); 32decf22e5SEric Fiselier std::less_equal<T> le; 33decf22e5SEric Fiselier ((void)le); 34decf22e5SEric Fiselier std::greater<T> g; 35decf22e5SEric Fiselier ((void)g); 36decf22e5SEric Fiselier std::greater_equal<T> ge; 37decf22e5SEric Fiselier ((void)ge); 38decf22e5SEric Fiselier return true; 39decf22e5SEric Fiselier } 40decf22e5SEric Fiselier 41decf22e5SEric Fiselier static_assert(test_constexpr_context<int>(), ""); 42decf22e5SEric Fiselier static_assert(test_constexpr_context<void>(), ""); 43decf22e5SEric Fiselier 44decf22e5SEric Fiselier 45*2df59c50SJF Bastien int main(int, char**) { 46decf22e5SEric Fiselier 47*2df59c50SJF Bastien 48*2df59c50SJF Bastien return 0; 49decf22e5SEric Fiselier } 50