Fixed gcc compiler warnings with release build

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index eac4f8d13ea8667ca6fa443af3372f487ee4c981..80a2da1fb957f31a06dbcc437e93b883ae22420d 100644 (file)
--- 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 3d99511946b795dd429b22d27c34a4366f1a7253..b51079ce5974e4c9eaf8a13830314c6f44ee753a 100644 (file)
--- 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;
        }
 }