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