diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-02-06 22:49:14 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-02-06 22:49:14 +0100 |
| commit | f4f230d7cc0b0f4fec228d1292e79b11b86160e4 (patch) | |
| tree | 6257e34603c2a98e5381dea3e4b81bcc50597eb2 /backends | |
| parent | 0192f1c66ea1335370770aef05fb73b9eaf0edce (diff) | |
| download | yosys-f4f230d7cc0b0f4fec228d1292e79b11b86160e4.tar.gz yosys-f4f230d7cc0b0f4fec228d1292e79b11b86160e4.tar.bz2 yosys-f4f230d7cc0b0f4fec228d1292e79b11b86160e4.zip | |
Fixed gcc compiler warnings with release build
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/btor/btor.cc | 2 |
1 files changed, 1 insertions, 1 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; |