| 131 | } |
| 132 | |
| 133 | void VarSanityCheck::DebugLog::on_var_received(VarNode* var) { |
| 134 | if (var == m_var) { |
| 135 | auto nr = m_readcnt.fetch_sub(1); |
| 136 | mgb_assert(nr); |
| 137 | if (nr == 1) |
| 138 | mgb_log("var %zu out of scope, stop tracking", var->id()); |
| 139 | } |
| 140 | } |
| 141 | #else |
| 142 | VarSanityCheck::DebugLog::DebugLog(VarSanityCheck* checker) : m_checker(checker) {} |
| 143 |