summaryrefslogtreecommitdiff
path: root/frontends
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-01-24 12:16:46 +0100
committerClifford Wolf <clifford@clifford.at>2015-01-24 12:16:46 +0100
commit2a9ad48eb63a5f019c528fe46ceca0065364a44d (patch)
treea84eec02de3e555ca502d9fc4cdc2d9ca66b203c /frontends
parent8fe9ab50e51204e5709eaad0fbf2ffb5397a0194 (diff)
Added ENABLE_NDEBUG makefile options
Diffstat (limited to 'frontends')
-rw-r--r--frontends/ast/simplify.cc2
1 files changed, 2 insertions, 0 deletions
diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc
index 6128ac68..e9750eba 100644
--- a/frontends/ast/simplify.cc
+++ b/frontends/ast/simplify.cc
@@ -2309,8 +2309,10 @@ void AstNode::mem2reg_as_needed_pass1(dict<AstNode*, pool<std::string>> &mem2reg
flags &= ~children_flags | backup_flags;
if (proc_flags_p) {
+#ifndef NDEBUG
for (auto it : *proc_flags_p)
log_assert((it.second & ~0xff000000) == 0);
+#endif
delete proc_flags_p;
}
}