From f4f230d7cc0b0f4fec228d1292e79b11b86160e4 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 6 Feb 2014 22:49:14 +0100 Subject: [PATCH] Fixed gcc compiler warnings with release build --- backends/btor/btor.cc | 2 +- frontends/ast/simplify.cc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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> 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; } } -- 2.30.2