Cheri-research/snmalloc
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Simplify asserts introduced in #512. (#513)

Browse Source 
These are functionally equivalent but have the form A -> B (i.e. !A ||
B in C++).
This commit is contained in:
Robert Norton
2022-04-29 11:33:14 +01:00
committed by GitHub
parent 70eba1e70b
commit 3e08caaf32
1 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/snmalloc/mem/backend_wrappers.h
View File

@@ -86,14 +86,12 @@ namespace snmalloc
{ {
static_assert( static_assert(
!detail::has_domesticate<Backend, T, B>(0) || !detail::has_domesticate<Backend, T, B>(0) ||
(detail::has_domesticate<Backend, T, B>(0) && Backend::Options.HasDomesticate,
Backend::Options.HasDomesticate),
"Back end provides domesticate function but opts out of using it "); "Back end provides domesticate function but opts out of using it ");
static_assert( static_assert(
detail::has_domesticate<Backend, T, B>(0) || detail::has_domesticate<Backend, T, B>(0) ||
!(detail::has_domesticate<Backend, T, B>(0) && !Backend::Options.HasDomesticate,
Backend::Options.HasDomesticate),
"Back end does not provide capptr_domesticate and requests its use"); "Back end does not provide capptr_domesticate and requests its use");
if constexpr (Backend::Options.HasDomesticate) if constexpr (Backend::Options.HasDomesticate)
{ {