aboutsummaryrefslogtreecommitdiffstats
path: root/passes/techmap/dfflibmap.cc
diff options
context:
space:
mode:
authorclairexen <claire@symbioticeda.com>2020-06-25 18:21:51 +0200
committerGitHub <noreply@github.com>2020-06-25 18:21:51 +0200
commitc7d71f436d822bbbe3cda118591ed2b33eae3a7f (patch)
tree48833b0478eb97cdc287545c4571249e88800ce5 /passes/techmap/dfflibmap.cc
parent21209d632e62983d008e121c6ffcf2815d2ae4d8 (diff)
parentc8c3c7af87804a175b3dfc60dce191b03c9741fe (diff)
downloadyosys-c7d71f436d822bbbe3cda118591ed2b33eae3a7f.tar.gz
yosys-c7d71f436d822bbbe3cda118591ed2b33eae3a7f.tar.bz2
yosys-c7d71f436d822bbbe3cda118591ed2b33eae3a7f.zip
Merge pull request #2168 from whitequark/assert-unused-exprs
Use (and ignore) the expression provided to log_assert in NDEBUG builds
Diffstat (limited to 'passes/techmap/dfflibmap.cc')
-rw-r--r--passes/techmap/dfflibmap.cc10
1 files changed, 5 insertions, 5 deletions
diff --git a/passes/techmap/dfflibmap.cc b/passes/techmap/dfflibmap.cc
index 6d1eaa7f8..c189d649b 100644
--- a/passes/techmap/dfflibmap.cc
+++ b/passes/techmap/dfflibmap.cc
@@ -409,11 +409,11 @@ static void map_sr_to_arst(IdString from, IdString to)
if (!cell_mappings.count(from) || cell_mappings.count(to) > 0)
return;
- char from_clk_pol YS_ATTRIBUTE(unused) = from[8];
+ char from_clk_pol = 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_clk_pol = to[6];
+ char to_rst_pol = to[7];
char to_rst_val = to[8];
log_assert(from_clk_pol == to_clk_pol);
@@ -455,9 +455,9 @@ static void map_adff_to_dff(IdString from, IdString to)
if (!cell_mappings.count(from) || cell_mappings.count(to) > 0)
return;
- char from_clk_pol YS_ATTRIBUTE(unused) = from[6];
+ char from_clk_pol = from[6];
char from_rst_pol = from[7];
- char to_clk_pol YS_ATTRIBUTE(unused) = to[6];
+ char to_clk_pol = to[6];
log_assert(from_clk_pol == to_clk_pol);