diff options
Diffstat (limited to 'src/expr/node_manager.h')
| -rw-r--r-- | src/expr/node_manager.h | 19 |
1 files changed, 13 insertions, 6 deletions
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h index 9974df6ca..54266db13 100644 --- a/src/expr/node_manager.h +++ b/src/expr/node_manager.h @@ -185,10 +185,13 @@ class NodeManager { // if d_reclaiming is set, make sure we don't call // reclaimZombies(), because it's already running. - Debug("gc") << "zombifying node value " << nv - << " [" << nv->d_id << "]: " << *nv - << (d_inReclaimZombies ? " [CURRENTLY-RECLAIMING]" : "") - << std::endl; + if(Debug.isOn("gc")) { + Debug("gc") << "zombifying node value " << nv + << " [" << nv->d_id << "]: "; + nv->printAst(Debug("gc")); + Debug("gc") << (d_inReclaimZombies ? " [CURRENTLY-RECLAIMING]" : "") + << std::endl; + } d_zombies.insert(nv);// FIXME multithreading if(!d_inReclaimZombies) {// FIXME multithreading @@ -1269,8 +1272,12 @@ NodeClass NodeManager::mkConstInternal(const T& val) { new (&nv->d_children) T(val); poolInsert(nv); - Debug("gc") << "creating node value " << nv - << " [" << nv->d_id << "]: " << *nv << "\n"; + if(Debug.isOn("gc")) { + Debug("gc") << "creating node value " << nv + << " [" << nv->d_id << "]: "; + nv->printAst(Debug("gc")); + Debug("gc") << std::endl; + } return NodeClass(nv); } |