From 2a9ad48eb63a5f019c528fe46ceca0065364a44d Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 24 Jan 2015 12:16:46 +0100
Subject: Added ENABLE_NDEBUG makefile options

---
 frontends/ast/simplify.cc | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'frontends')

diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc
index 6128ac684..e9750eba6 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;
 	}
 }
-- 
cgit v1.2.3