xref: /llvm-project/libcxx/test/std/utilities/meta/meta.const.eval/is_constant_evaluated.verify.cpp (revision 9bb9ec380ace81d040d3a0a0a2ae9a75733ab330)
1b82dcb62SLouis Dionne //===----------------------------------------------------------------------===//
2b82dcb62SLouis Dionne //
3b82dcb62SLouis Dionne // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4b82dcb62SLouis Dionne // See https://llvm.org/LICENSE.txt for license information.
5b82dcb62SLouis Dionne // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6b82dcb62SLouis Dionne //
7b82dcb62SLouis Dionne //===----------------------------------------------------------------------===//
8b82dcb62SLouis Dionne 
9b82dcb62SLouis Dionne // UNSUPPORTED: c++03
10b82dcb62SLouis Dionne 
11b82dcb62SLouis Dionne // <type_traits>
12b82dcb62SLouis Dionne 
13b82dcb62SLouis Dionne 
14b82dcb62SLouis Dionne #include <type_traits>
15b82dcb62SLouis Dionne #include <cassert>
16b82dcb62SLouis Dionne 
17b82dcb62SLouis Dionne #include "test_macros.h"
18b82dcb62SLouis Dionne 
main(int,char **)19b82dcb62SLouis Dionne int main(int, char**)
20b82dcb62SLouis Dionne {
21b82dcb62SLouis Dionne #ifndef __cpp_lib_is_constant_evaluated
22b82dcb62SLouis Dionne   // expected-error@+1 {{no member named 'is_constant_evaluated' in namespace 'std'}}
23b82dcb62SLouis Dionne   bool b = std::is_constant_evaluated();
24b82dcb62SLouis Dionne #else
25*9bb9ec38SLouis Dionne   // expected-error@+1 {{static assertion failed}}
26b82dcb62SLouis Dionne   static_assert(!std::is_constant_evaluated(), "");
27880fa7faSSam McCall   // expected-warning@-1 0-1 {{'std::is_constant_evaluated' will always evaluate to 'true' in a manifestly constant-evaluated expression}}
28b82dcb62SLouis Dionne #endif
29b82dcb62SLouis Dionne   return 0;
30b82dcb62SLouis Dionne }
31