diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-10-30 15:27:10 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-30 15:27:10 -0700 |
commit | 43ab3f4cd1aa5549cb1aa3c20a2d589614bcb8fc (patch) | |
tree | cf7b5d7f73a4d4ddc34492334a7d0eb90b57b77b /src/expr/node_value.h | |
parent | 8dda9531995953c3cec094339002f2ee7cadae08 (diff) |
Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)
Diffstat (limited to 'src/expr/node_value.h')
-rw-r--r-- | src/expr/node_value.h | 18 |
1 files changed, 9 insertions, 9 deletions
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); } } |