From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 6 Feb 2014 21:49:14 +0000 (+0100)
Subject: Fixed gcc compiler warnings with release build
X-Git-Tag: yosys-0.2.0~55
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f4f230d7cc0b0f4fec228d1292e79b11b86160e4;p=yosys.git

Fixed gcc compiler warnings with release build
---

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index eac4f8d13..80a2da1fb 100644
--- a/backends/btor/btor.cc
+++ b/backends/btor/btor.cc
@@ -487,7 +487,7 @@ struct BtorDumper
 				int l1_width = cell->parameters.at(RTLIL::IdString("\\A_WIDTH")).as_int();
 				int l2_width = 	cell->parameters.at(RTLIL::IdString("\\B_WIDTH")).as_int();
 				
-				assert(l1_signed == l2_signed);
+				log_assert(l1_signed == l2_signed);
 				l1_width = l1_width > output_width ? l1_width : output_width;					
 				l1_width = l1_width > l2_width ? l1_width : l2_width;
 				l2_width = l2_width > l1_width ? l2_width : l1_width;
diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc
index 3d9951194..b51079ce5 100644
--- a/frontends/ast/simplify.cc
+++ b/frontends/ast/simplify.cc
@@ -1602,7 +1602,7 @@ void AstNode::mem2reg_as_needed_pass1(std::map<AstNode*, std::set<std::string>>
 
 	if (proc_flags_p) {
 		for (auto it : *proc_flags_p)
-			assert((it.second & ~0xff000000) == 0);
+			log_assert((it.second & ~0xff000000) == 0);
 		delete proc_flags_p;
 	}
 }