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