diff options
author | clairexen <claire@symbioticeda.com> | 2020-06-25 18:21:51 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-25 18:21:51 +0200 |
commit | c7d71f436d822bbbe3cda118591ed2b33eae3a7f (patch) | |
tree | 48833b0478eb97cdc287545c4571249e88800ce5 /frontends/verific | |
parent | 21209d632e62983d008e121c6ffcf2815d2ae4d8 (diff) | |
parent | c8c3c7af87804a175b3dfc60dce191b03c9741fe (diff) | |
download | yosys-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 'frontends/verific')
-rw-r--r-- | frontends/verific/verific.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 6637c214d..ba631475f 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -1886,7 +1886,7 @@ struct VerificExtNets new_net = new Net(name.c_str()); nl->Add(new_net); - Net *n YS_ATTRIBUTE(unused) = route_up(new_net, port->IsOutput(), ca_nl, ca_net); + Net *n = route_up(new_net, port->IsOutput(), ca_nl, ca_net); log_assert(n == ca_net); } |