From 43ab3f4cd1aa5549cb1aa3c20a2d589614bcb8fc Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Wed, 30 Oct 2019 15:27:10 -0700 Subject: Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366) --- src/expr/node_value.h | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'src/expr/node_value.h') diff --git a/src/expr/node_value.h b/src/expr/node_value.h index 9d1a4f98e..2c52c46be 100644 --- a/src/expr/node_value.h +++ b/src/expr/node_value.h @@ -421,18 +421,18 @@ inline void NodeValue::decrRefCounts() { } inline void NodeValue::inc() { - Assert(!isBeingDeleted(), - "NodeValue is currently being deleted " - "and increment is being called on it. Don't Do That!"); + Assert(!isBeingDeleted()) + << "NodeValue is currently being deleted " + "and increment is being called on it. Don't Do That!"; // FIXME multithreading if (__builtin_expect((d_rc < MAX_RC - 1), true)) { ++d_rc; } else if (__builtin_expect((d_rc == MAX_RC - 1), false)) { ++d_rc; - Assert(NodeManager::currentNM() != NULL, - "No current NodeManager on incrementing of NodeValue: " + Assert(NodeManager::currentNM() != NULL) + << "No current NodeManager on incrementing of NodeValue: " "maybe a public CVC4 interface function is missing a " - "NodeManagerScope ?"); + "NodeManagerScope ?"; NodeManager::currentNM()->markRefCountMaxedOut(this); } } @@ -442,10 +442,10 @@ inline void NodeValue::dec() { if(__builtin_expect( ( d_rc < MAX_RC ), true )) { --d_rc; if(__builtin_expect( ( d_rc == 0 ), false )) { - Assert(NodeManager::currentNM() != NULL, - "No current NodeManager on destruction of NodeValue: " + Assert(NodeManager::currentNM() != NULL) + << "No current NodeManager on destruction of NodeValue: " "maybe a public CVC4 interface function is missing a " - "NodeManagerScope ?"); + "NodeManagerScope ?"; NodeManager::currentNM()->markForDeletion(this); } } -- cgit v1.2.3