summaryrefslogtreecommitdiff
path: root/passes/techmap
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-01-24 12:16:46 +0100
committerClifford Wolf <clifford@clifford.at>2015-01-24 12:16:46 +0100
commit2a9ad48eb63a5f019c528fe46ceca0065364a44d (patch)
treea84eec02de3e555ca502d9fc4cdc2d9ca66b203c /passes/techmap
parent8fe9ab50e51204e5709eaad0fbf2ffb5397a0194 (diff)
Added ENABLE_NDEBUG makefile options
Diffstat (limited to 'passes/techmap')
-rw-r--r--passes/techmap/dfflibmap.cc8
1 files changed, 6 insertions, 2 deletions
diff --git a/passes/techmap/dfflibmap.cc b/passes/techmap/dfflibmap.cc
index cc6f97c7..b0318a0b 100644
--- a/passes/techmap/dfflibmap.cc
+++ b/passes/techmap/dfflibmap.cc
@@ -365,8 +365,12 @@ static void map_sr_to_arst(const char *from, const char *to)
if (!cell_mappings.count(from) || cell_mappings.count(to) > 0)
return;
- char from_clk_pol = from[8], from_set_pol = from[9], from_clr_pol = from[10];
- char to_clk_pol = to[6], to_rst_pol = to[7], to_rst_val = to[8];
+ char from_clk_pol YS_ATTRIBUTE(unused) = from[8];
+ char from_set_pol = from[9];
+ char from_clr_pol = from[10];
+ char to_clk_pol YS_ATTRIBUTE(unused) = to[6];
+ char to_rst_pol YS_ATTRIBUTE(unused) = to[7];
+ char to_rst_val = to[8];
log_assert(from_clk_pol == to_clk_pol);
log_assert(to_rst_pol == from_set_pol && to_rst_pol == from_clr_pol);