1 //===----------------------------------------------------------------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 // UNSUPPORTED: c++03, c++11, c++14, c++17 10 // UNSUPPORTED: libcpp-no-concepts 11 // UNSUPPORTED: gcc-10 12 13 // template<class In> 14 // concept std::weakly_incrementable; 15 16 #include <iterator> 17 18 #include <concepts> 19 #include <memory> 20 #include <optional> 21 22 #include "../incrementable.h" 23 24 static_assert(std::weakly_incrementable<int>); 25 static_assert(std::weakly_incrementable<int*>); 26 static_assert(std::weakly_incrementable<int**>); 27 static_assert(!std::weakly_incrementable<int[]>); wait_for_statsnull28static_assert(!std::weakly_incrementable<int[10]>); 29 static_assert(!std::weakly_incrementable<double>); 30 static_assert(!std::weakly_incrementable<int&>); 31 static_assert(!std::weakly_incrementable<int()>); 32 static_assert(!std::weakly_incrementable<int (*)()>); 33 static_assert(!std::weakly_incrementable<int (&)()>); 34 35 struct S {}; 36 static_assert(!std::weakly_incrementable<int S::*>); 37 38 #define CHECK_POINTER_TO_MEMBER_FUNCTIONS(qualifier) \ 39 static_assert(!std::weakly_incrementable<int (S::*)() qualifier>); \ 40 static_assert(!std::weakly_incrementable<int (S::*)() qualifier noexcept>); \ 41 static_assert(!std::weakly_incrementable<int (S::*)() qualifier&>); \ 42 static_assert(!std::weakly_incrementable<int (S::*)() qualifier & noexcept>); \ 43 static_assert(!std::weakly_incrementable<int (S::*)() qualifier&&>); \ 44 static_assert(!std::weakly_incrementable < int (S::*)() qualifier&& noexcept >); 45 46 #define NO_QUALIFIER 47 CHECK_POINTER_TO_MEMBER_FUNCTIONS(NO_QUALIFIER); 48 CHECK_POINTER_TO_MEMBER_FUNCTIONS(const); 49 CHECK_POINTER_TO_MEMBER_FUNCTIONS(volatile); 50 CHECK_POINTER_TO_MEMBER_FUNCTIONS(const volatile); 51 52 static_assert(std::weakly_incrementable<postfix_increment_returns_void>); 53 static_assert(std::weakly_incrementable<postfix_increment_returns_copy>); 54 static_assert(std::weakly_incrementable<has_integral_minus>); 55 static_assert(std::weakly_incrementable<has_distinct_difference_type_and_minus>); 56 static_assert(!std::weakly_incrementable<missing_difference_type>); 57 static_assert(!std::weakly_incrementable<floating_difference_type>); 58 static_assert(!std::weakly_incrementable<non_const_minus>); 59 static_assert(!std::weakly_incrementable<non_integral_minus>); 60 static_assert(!std::weakly_incrementable<bad_difference_type_good_minus>); 61 static_assert(!std::weakly_incrementable<not_movable>); 62 static_assert(!std::weakly_incrementable<preinc_not_declared>); 63 static_assert(!std::weakly_incrementable<postinc_not_declared>); 64 static_assert(std::weakly_incrementable<not_default_initializable>); 65 static_assert(std::weakly_incrementable<incrementable_with_difference_type>); 66 static_assert(std::weakly_incrementable<incrementable_without_difference_type>); 67 static_assert(std::weakly_incrementable<difference_type_and_void_minus>); 68 static_assert(std::weakly_incrementable<noncopyable_with_difference_type>); 69 static_assert(std::weakly_incrementable<noncopyable_without_difference_type>); 70 static_assert(std::weakly_incrementable<noncopyable_with_difference_type_and_minus>); 71