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