12fc5a786SEric Fiselier //===----------------------------------------------------------------------===// 22fc5a786SEric Fiselier // 32fc5a786SEric Fiselier // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 42fc5a786SEric Fiselier // See https://llvm.org/LICENSE.txt for license information. 52fc5a786SEric Fiselier // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 62fc5a786SEric Fiselier // 72fc5a786SEric Fiselier //===----------------------------------------------------------------------===// 82fc5a786SEric Fiselier 931cbe0f2SLouis Dionne // UNSUPPORTED: c++03 102fc5a786SEric Fiselier 112fc5a786SEric Fiselier // <type_traits> 122fc5a786SEric Fiselier 132fc5a786SEric Fiselier 142fc5a786SEric Fiselier #include <type_traits> 152fc5a786SEric Fiselier #include <cassert> 162fc5a786SEric Fiselier 172fc5a786SEric Fiselier #include "test_macros.h" 182fc5a786SEric Fiselier main(int,char **)192fc5a786SEric Fiselierint main(int, char**) 202fc5a786SEric Fiselier { 212fc5a786SEric Fiselier #ifndef __cpp_lib_is_constant_evaluated 222fc5a786SEric Fiselier // expected-error@+1 {{no member named 'is_constant_evaluated' in namespace 'std'}} 232fc5a786SEric Fiselier bool b = std::is_constant_evaluated(); 242fc5a786SEric Fiselier #else 25*76476efdSMuhammad Usman Shahid // expected-error-re@+1 {{{{(static_assert|static assertion)}} failed}} 262fc5a786SEric Fiselier static_assert(!std::is_constant_evaluated(), ""); 27a5fa5f7cSLouis Dionne // expected-warning@-1 0-1 {{'std::is_constant_evaluated' will always evaluate to 'true' in a manifestly constant-evaluated expression}} 282fc5a786SEric Fiselier #endif 292fc5a786SEric Fiselier return 0; 302fc5a786SEric Fiselier } 31