1*aca3beaaSApple OSS Distributions // 2*aca3beaaSApple OSS Distributions // Tests for 3*aca3beaaSApple OSS Distributions // bounded_ptr(std::nullptr_t); 4*aca3beaaSApple OSS Distributions // 5*aca3beaaSApple OSS Distributions 6*aca3beaaSApple OSS Distributions #include <libkern/c++/bounded_ptr.h> 7*aca3beaaSApple OSS Distributions #include <darwintest.h> 8*aca3beaaSApple OSS Distributions #include <darwintest_utils.h> 9*aca3beaaSApple OSS Distributions #include "test_utils.h" 10*aca3beaaSApple OSS Distributions 11*aca3beaaSApple OSS Distributions #define _assert(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__) 12*aca3beaaSApple OSS Distributions 13*aca3beaaSApple OSS Distributions struct T { }; 14*aca3beaaSApple OSS Distributions 15*aca3beaaSApple OSS Distributions template <typename T> 16*aca3beaaSApple OSS Distributions static void tests()17*aca3beaaSApple OSS Distributionstests() 18*aca3beaaSApple OSS Distributions { 19*aca3beaaSApple OSS Distributions // Test with nullptr 20*aca3beaaSApple OSS Distributions { 21*aca3beaaSApple OSS Distributions test_bounded_ptr<T> p = nullptr; 22*aca3beaaSApple OSS Distributions _assert(p == nullptr); 23*aca3beaaSApple OSS Distributions } 24*aca3beaaSApple OSS Distributions { 25*aca3beaaSApple OSS Distributions test_bounded_ptr<T> p{nullptr}; 26*aca3beaaSApple OSS Distributions _assert(p == nullptr); 27*aca3beaaSApple OSS Distributions } 28*aca3beaaSApple OSS Distributions { 29*aca3beaaSApple OSS Distributions test_bounded_ptr<T> p(nullptr); 30*aca3beaaSApple OSS Distributions _assert(p == nullptr); 31*aca3beaaSApple OSS Distributions } 32*aca3beaaSApple OSS Distributions { 33*aca3beaaSApple OSS Distributions test_bounded_ptr<T> p = static_cast<test_bounded_ptr<T> >(nullptr); 34*aca3beaaSApple OSS Distributions _assert(p == nullptr); 35*aca3beaaSApple OSS Distributions } 36*aca3beaaSApple OSS Distributions { 37*aca3beaaSApple OSS Distributions auto f = [](test_bounded_ptr<T> p) { 38*aca3beaaSApple OSS Distributions _assert(p == nullptr); 39*aca3beaaSApple OSS Distributions }; 40*aca3beaaSApple OSS Distributions f(nullptr); 41*aca3beaaSApple OSS Distributions } 42*aca3beaaSApple OSS Distributions 43*aca3beaaSApple OSS Distributions // Test with NULL 44*aca3beaaSApple OSS Distributions { 45*aca3beaaSApple OSS Distributions test_bounded_ptr<T> p = NULL; 46*aca3beaaSApple OSS Distributions _assert(p == nullptr); 47*aca3beaaSApple OSS Distributions } 48*aca3beaaSApple OSS Distributions { 49*aca3beaaSApple OSS Distributions test_bounded_ptr<T> p{NULL}; 50*aca3beaaSApple OSS Distributions _assert(p == nullptr); 51*aca3beaaSApple OSS Distributions } 52*aca3beaaSApple OSS Distributions { 53*aca3beaaSApple OSS Distributions test_bounded_ptr<T> p(NULL); 54*aca3beaaSApple OSS Distributions _assert(p == nullptr); 55*aca3beaaSApple OSS Distributions } 56*aca3beaaSApple OSS Distributions { 57*aca3beaaSApple OSS Distributions test_bounded_ptr<T> p = static_cast<test_bounded_ptr<T> >(NULL); 58*aca3beaaSApple OSS Distributions _assert(p == nullptr); 59*aca3beaaSApple OSS Distributions } 60*aca3beaaSApple OSS Distributions { 61*aca3beaaSApple OSS Distributions auto f = [](test_bounded_ptr<T> p) { 62*aca3beaaSApple OSS Distributions _assert(p == nullptr); 63*aca3beaaSApple OSS Distributions }; 64*aca3beaaSApple OSS Distributions f(NULL); 65*aca3beaaSApple OSS Distributions } 66*aca3beaaSApple OSS Distributions 67*aca3beaaSApple OSS Distributions // Test with 0 68*aca3beaaSApple OSS Distributions { 69*aca3beaaSApple OSS Distributions test_bounded_ptr<T> p = 0; 70*aca3beaaSApple OSS Distributions _assert(p == nullptr); 71*aca3beaaSApple OSS Distributions } 72*aca3beaaSApple OSS Distributions { 73*aca3beaaSApple OSS Distributions test_bounded_ptr<T> p{0}; 74*aca3beaaSApple OSS Distributions _assert(p == nullptr); 75*aca3beaaSApple OSS Distributions } 76*aca3beaaSApple OSS Distributions { 77*aca3beaaSApple OSS Distributions test_bounded_ptr<T> p(0); 78*aca3beaaSApple OSS Distributions _assert(p == nullptr); 79*aca3beaaSApple OSS Distributions } 80*aca3beaaSApple OSS Distributions { 81*aca3beaaSApple OSS Distributions test_bounded_ptr<T> p = static_cast<test_bounded_ptr<T> >(0); 82*aca3beaaSApple OSS Distributions _assert(p == nullptr); 83*aca3beaaSApple OSS Distributions } 84*aca3beaaSApple OSS Distributions { 85*aca3beaaSApple OSS Distributions auto f = [](test_bounded_ptr<T> p) { 86*aca3beaaSApple OSS Distributions _assert(p == nullptr); 87*aca3beaaSApple OSS Distributions }; 88*aca3beaaSApple OSS Distributions f(0); 89*aca3beaaSApple OSS Distributions } 90*aca3beaaSApple OSS Distributions } 91*aca3beaaSApple OSS Distributions 92*aca3beaaSApple OSS Distributions T_DECL(ctor_nullptr, "bounded_ptr.ctor.nullptr") { 93*aca3beaaSApple OSS Distributions tests<T>(); 94*aca3beaaSApple OSS Distributions tests<T const>(); 95*aca3beaaSApple OSS Distributions tests<T volatile>(); 96*aca3beaaSApple OSS Distributions tests<T const volatile>(); 97*aca3beaaSApple OSS Distributions } 98