xref: /xnu-11215.1.10/tests/safe_allocation_src/operator.bool.cpp (revision 8d741a5de7ff4191bf97d57b9f54c2f6d4a15585)
1*8d741a5dSApple OSS Distributions //
2*8d741a5dSApple OSS Distributions // Tests for
3*8d741a5dSApple OSS Distributions //      explicit operator bool() const;
4*8d741a5dSApple OSS Distributions //
5*8d741a5dSApple OSS Distributions 
6*8d741a5dSApple OSS Distributions #include <libkern/c++/safe_allocation.h>
7*8d741a5dSApple OSS Distributions #include <darwintest.h>
8*8d741a5dSApple OSS Distributions #include "test_utils.h"
9*8d741a5dSApple OSS Distributions #include <type_traits>
10*8d741a5dSApple OSS Distributions 
11*8d741a5dSApple OSS Distributions struct T {
12*8d741a5dSApple OSS Distributions 	int i;
13*8d741a5dSApple OSS Distributions };
14*8d741a5dSApple OSS Distributions 
15*8d741a5dSApple OSS Distributions template <typename T>
16*8d741a5dSApple OSS Distributions static void
tests()17*8d741a5dSApple OSS Distributions tests()
18*8d741a5dSApple OSS Distributions {
19*8d741a5dSApple OSS Distributions 	{
20*8d741a5dSApple OSS Distributions 		test_safe_allocation<T> const array(10, libkern::allocate_memory);
21*8d741a5dSApple OSS Distributions 		CHECK(static_cast<bool>(array));
22*8d741a5dSApple OSS Distributions 		if (array) {
23*8d741a5dSApple OSS Distributions 		} else {
24*8d741a5dSApple OSS Distributions 			CHECK(FALSE);
25*8d741a5dSApple OSS Distributions 		}
26*8d741a5dSApple OSS Distributions 	}
27*8d741a5dSApple OSS Distributions 	{
28*8d741a5dSApple OSS Distributions 		test_safe_allocation<T> const array = nullptr;
29*8d741a5dSApple OSS Distributions 		CHECK(!static_cast<bool>(array));
30*8d741a5dSApple OSS Distributions 		if (!array) {
31*8d741a5dSApple OSS Distributions 		} else {
32*8d741a5dSApple OSS Distributions 			CHECK(FALSE);
33*8d741a5dSApple OSS Distributions 		}
34*8d741a5dSApple OSS Distributions 	}
35*8d741a5dSApple OSS Distributions 
36*8d741a5dSApple OSS Distributions 	static_assert(!std::is_convertible_v<test_safe_allocation<T>, bool>);
37*8d741a5dSApple OSS Distributions }
38*8d741a5dSApple OSS Distributions 
39*8d741a5dSApple OSS Distributions T_DECL(operator_bool, "safe_allocation.operator.bool", T_META_TAG_VM_PREFERRED) {
40*8d741a5dSApple OSS Distributions 	tests<T>();
41*8d741a5dSApple OSS Distributions 	tests<T const>();
42*8d741a5dSApple OSS Distributions }
43