Home
last modified time | relevance | path

Searched refs:_assert (Results 1 – 24 of 24) sorted by relevance

/xnu-11215/tests/bounded_ptr_src/
H A Darith.inc_dec.cpp30 _assert(&*ptr == &array[0]); in tests()
34 _assert(&ref == &ptr); in tests()
40 _assert(&ref == &ptr); in tests()
45 _assert(&ref == &ptr); in tests()
50 _assert(&ref == &ptr); in tests()
55 _assert(&ref == &ptr); in tests()
60 _assert(&ref == &ptr); in tests()
65 _assert(&ref == &ptr); in tests()
70 _assert(&ref == &ptr); in tests()
75 _assert(&ref == &ptr); in tests()
[all …]
H A Dsubscript.cpp49 _assert(&ref0 == &array[0]); in tests()
52 _assert(&ref1 == &array[1]); in tests()
55 _assert(&ref2 == &array[2]); in tests()
58 _assert(&ref3 == &array[3]); in tests()
61 _assert(&ref4 == &array[4]); in tests()
70 _assert(&ref0 == &array[0]); in tests()
73 _assert(&ref1 == &array[1]); in tests()
76 _assert(&ref2 == &array[2]); in tests()
79 _assert(&ref3 == &array[3]); in tests()
82 _assert(&ref4 == &array[4]); in tests()
[all …]
H A Darith.add_assign.cpp45 _assert(&ref == &ptr); in tests()
51 _assert(&ref == &ptr); in tests()
57 _assert(&ref == &ptr); in tests()
63 _assert(&ref == &ptr); in tests()
69 _assert(&ref == &ptr); in tests()
75 _assert(&ref == &ptr); in tests()
87 _assert(&ref == &ptr); in tests()
93 _assert(&ref == &ptr); in tests()
99 _assert(&ref == &ptr); in tests()
105 _assert(&ref == &ptr); in tests()
[all …]
H A Darith.subtract_assign.cpp42 _assert(&ref == &ptr); in tests()
48 _assert(&ref == &ptr); in tests()
54 _assert(&ref == &ptr); in tests()
60 _assert(&ref == &ptr); in tests()
66 _assert(&ref == &ptr); in tests()
72 _assert(&ref == &ptr); in tests()
84 _assert(&ref == &ptr); in tests()
90 _assert(&ref == &ptr); in tests()
96 _assert(&ref == &ptr); in tests()
102 _assert(&ref == &ptr); in tests()
[all …]
H A Dderef.cpp49 _assert(ref == T{0}); in tests()
50 _assert(&ref == &array[0]); in tests()
52 _assert(ptr->i == 0); in tests()
62 _assert(ref == T{1}); in tests()
63 _assert(&ref == &array[1]); in tests()
65 _assert(ptr->i == 1); in tests()
75 _assert(ref == T{2}); in tests()
76 _assert(&ref == &array[2]); in tests()
78 _assert(ptr->i == 2); in tests()
88 _assert(ref == T{4}); in tests()
[all …]
H A Dctor.nullptr.cpp22 _assert(p == nullptr); in tests()
26 _assert(p == nullptr); in tests()
30 _assert(p == nullptr); in tests()
34 _assert(p == nullptr); in tests()
46 _assert(p == nullptr); in tests()
50 _assert(p == nullptr); in tests()
54 _assert(p == nullptr); in tests()
58 _assert(p == nullptr); in tests()
70 _assert(p == nullptr); in tests()
74 _assert(p == nullptr); in tests()
[all …]
H A Dcompare.equal.nullptr.cpp40 _assert(!(ptr == nullptr)); in tests()
41 _assert(!(nullptr == ptr)); in tests()
42 _assert(ptr != nullptr); in tests()
43 _assert(nullptr != ptr); in tests()
47 _assert(ptr == nullptr); in tests()
48 _assert(nullptr == ptr); in tests()
49 _assert(!(ptr != nullptr)); in tests()
50 _assert(!(nullptr != ptr)); in tests()
56 _assert(ptr == nullptr); in tests()
57 _assert(nullptr == ptr); in tests()
[all …]
H A Darith.add.cpp37 _assert(&*res == &array[0]); in tests()
41 _assert(&*res == &array[1]); in tests()
45 _assert(&*res == &array[2]); in tests()
49 _assert(&*res == &array[3]); in tests()
53 _assert(&*res == &array[4]); in tests()
57 _assert(res == array.end()); in tests()
71 _assert(res == array.end()); in tests()
75 _assert(&*res == &array[4]); in tests()
79 _assert(&*res == &array[3]); in tests()
83 _assert(&*res == &array[2]); in tests()
[all …]
H A Darith.subtract.cpp35 _assert(ptr == array.end()); in tests()
39 _assert(&*res == &array[4]); in tests()
43 _assert(&*res == &array[3]); in tests()
47 _assert(&*res == &array[2]); in tests()
51 _assert(&*res == &array[1]); in tests()
55 _assert(&*res == &array[0]); in tests()
69 _assert(&*res == &array[0]); in tests()
73 _assert(&*res == &array[1]); in tests()
77 _assert(&*res == &array[2]); in tests()
81 _assert(&*res == &array[3]); in tests()
[all …]
H A Dassign.nullptr.cpp12 #define _assert(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__) macro
25 _assert(p != nullptr); in tests()
27 _assert(&ref == &p); in tests()
28 _assert(p == nullptr); in tests()
34 _assert(p != nullptr); in tests()
36 _assert(&ref == &p); in tests()
37 _assert(p == nullptr); in tests()
43 _assert(p != nullptr); in tests()
45 _assert(&ref == &p); in tests()
46 _assert(p == nullptr); in tests()
H A Dcompare.order.raw.cpp40 _assert(t < u); in check_lt()
41 _assert(t <= u); in check_lt()
43 _assert(!(t > u)); in check_lt()
45 _assert(!(u < t)); in check_lt()
47 _assert(u > t); in check_lt()
48 _assert(u >= t); in check_lt()
55 _assert(!(t < u)); in check_eq()
56 _assert(t <= u); in check_eq()
57 _assert(t >= u); in check_eq()
61 _assert(u <= t); in check_eq()
[all …]
H A Dcompare.order.cpp41 _assert(t < u); in check_lt()
42 _assert(t <= u); in check_lt()
44 _assert(!(t > u)); in check_lt()
46 _assert(!(u < t)); in check_lt()
48 _assert(u > t); in check_lt()
49 _assert(u >= t); in check_lt()
56 _assert(!(t < u)); in check_eq()
57 _assert(t <= u); in check_eq()
58 _assert(t >= u); in check_eq()
62 _assert(u <= t); in check_eq()
[all …]
H A Dunsafe_discard_bounds.cpp44 _assert(raw == &array[0]); in tests()
53 _assert(raw == &array[1]); in tests()
62 _assert(raw == &array[2]); in tests()
71 _assert(raw == &array[4]); in tests()
80 _assert(raw == array.end()); in tests()
89 _assert(raw == &array[4]); in tests()
98 _assert(raw == &array[1]); in tests()
107 _assert(raw == &array[0]); in tests()
114 _assert(raw == nullptr); in tests()
133 _assert(!tracking_policy::did_trap); in tests()
[all …]
H A Darith.difference.cpp31 _assert(diff == 0); in tests()
37 _assert(diff == 1); in tests()
43 _assert(diff == 2); in tests()
49 _assert(diff == 3); in tests()
55 _assert(diff == 4); in tests()
61 _assert(diff == 5); in tests()
69 _assert(diff == -1); in tests()
75 _assert(diff == -2); in tests()
81 _assert(diff == -3); in tests()
87 _assert(diff == -4); in tests()
[all …]
H A Dctor.begin_end.cpp12 #define _assert(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__) macro
30 _assert(*p == T{0}); in tests()
34 _assert(*p == T{1}); in tests()
38 _assert(*p == T{2}); in tests()
42 _assert(*p == T{3}); in tests()
46 _assert(*p == T{4}); in tests()
57 _assert(p.unsafe_discard_bounds() == array.begin() + 1); in tests()
65 _assert(p.unsafe_discard_bounds() == array.begin() + 4); in tests()
73 _assert(p.unsafe_discard_bounds() == array.end()); in tests()
79 _assert(p.unsafe_discard_bounds() == nullptr); in tests()
H A Ddiscard_bounds.cpp12 #define _assert(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__) macro
41 _assert(raw == &array[0]); in tests()
50 _assert(raw == &array[1]); in tests()
59 _assert(raw == &array[2]); in tests()
68 _assert(raw == &array[4]); in tests()
80 _assert(!tracking_policy::did_trap); in tests()
92 _assert(tracking_policy::did_trap); in tests()
102 _assert(tracking_policy::did_trap); in tests()
115 _assert(tracking_policy::did_trap); in tests()
H A Dassign.convert.cpp13 #define _assert(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__) macro
53 _assert(to.discard_bounds() == static_cast<To const*>(ptr1)); in tests()
54 _assert(&ref == &to); // make sure we return *this in tests()
61 _assert(to.discard_bounds() == static_cast<To const*>(ptr2)); in tests()
64 _assert(to.discard_bounds() == static_cast<To const*>(ptr1)); in tests()
65 _assert(&ref == &to); // make sure we return *this in tests()
73 _assert(to.unsafe_discard_bounds() == nullptr); in tests()
74 _assert(&ref == &to); // make sure we return *this in tests()
82 _assert(to.discard_bounds() == static_cast<To const*>(ptr1)); in tests()
83 _assert(&ref == &to); // make sure we return *this in tests()
[all …]
H A Doperator_bool.cpp11 #define _assert(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__) macro
22 _assert(false); in tests()
24 _assert(!p); in tests()
31 _assert(false); in tests()
33 _assert(!!p); in tests()
H A Dcompare.equal.raw.cpp22 #define _assert(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__) macro
28 _assert(t == u); in check_eq()
29 _assert(u == t); in check_eq()
30 _assert(!(t != u)); in check_eq()
31 _assert(!(u != t)); in check_eq()
38 _assert(!(t == u)); in check_ne()
39 _assert(!(u == t)); in check_ne()
40 _assert(t != u); in check_ne()
41 _assert(u != t); in check_ne()
H A Dcompare.equal.cpp16 #define _assert(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__) macro
35 _assert(t == u); in check_eq()
36 _assert(u == t); in check_eq()
37 _assert(!(t != u)); in check_eq()
38 _assert(!(u != t)); in check_eq()
45 _assert(!(t == u)); in check_ne()
46 _assert(!(u == t)); in check_ne()
47 _assert(t != u); in check_ne()
48 _assert(u != t); in check_ne()
H A Dctor.convert.cpp14 #define _assert(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__) macro
52 _assert(to.discard_bounds() == static_cast<To const*>(ptr)); in tests()
57 _assert(to.discard_bounds() == static_cast<To const*>(ptr)); in tests()
62 _assert(to.discard_bounds() == static_cast<To const*>(ptr)); in tests()
67 _assert(to.discard_bounds() == static_cast<To const*>(ptr)); in tests()
74 _assert(to.unsafe_discard_bounds() == nullptr); in tests()
81 _assert(to.discard_bounds() == static_cast<To const*>(ptr)); in tests()
91 _assert(to.unsafe_discard_bounds() == static_cast<To const*>(array.begin())); in tests()
H A Dreinterpret_cast.cpp13 #define _assert(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__) macro
42 _assert(to.discard_bounds() == reinterpret_cast<To const*>(from.discard_bounds())); in tests()
48 _assert(to.discard_bounds() == reinterpret_cast<To const volatile*>(from.discard_bounds())); in tests()
55 _assert(to.unsafe_discard_bounds() == nullptr); in tests()
62 _assert(to.discard_bounds() == reinterpret_cast<To const*>(from.discard_bounds())); in tests()
H A Dctor.default.cpp11 #define _assert(...) T_ASSERT_TRUE((__VA_ARGS__), # __VA_ARGS__) macro
21 _assert(p == nullptr); in tests()
25 _assert(p == nullptr); in tests()
/xnu-11215/libsyscall/mach/
H A Dvm_reclaim.c48 #define _assert(__op, __condition, __cause) \ macro
130 _assert("mach_vm_reclaim_mark_free", kr == KERN_SUCCESS, kr); in mach_vm_reclaim_mark_free()
133 _assert("mach_vm_reclaim_mark_free", (idx + 1) % buffer_len != head % buffer_len, head); in mach_vm_reclaim_mark_free()
177 _assert("mach_vm_reclaim_mark_free_with_id", in mach_vm_reclaim_mark_free_with_id()
190 _assert("mach_vm_reclaim_mark_free_with_id", in mach_vm_reclaim_mark_free_with_id()
232 _assert("mach_vm_reclaim_mark_used", id < original_tail, original_tail); in mach_vm_reclaim_mark_used()
243_assert("mach_vm_reclaim_mark_used", entry->size == size && entry->address == start_addr, entry->a… in mach_vm_reclaim_mark_used()