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