Merge pull request #2168 from whitequark/assert-unused-exprs
authorclairexen <claire@symbioticeda.com>
Thu, 25 Jun 2020 16:21:51 +0000 (18:21 +0200)
committerGitHub <noreply@github.com>
Thu, 25 Jun 2020 16:21:51 +0000 (18:21 +0200)
commitc7d71f436d822bbbe3cda118591ed2b33eae3a7f
tree48833b0478eb97cdc287545c4571249e88800ce5
parent21209d632e62983d008e121c6ffcf2815d2ae4d8
parentc8c3c7af87804a175b3dfc60dce191b03c9741fe
Merge pull request #2168 from whitequark/assert-unused-exprs

Use (and ignore) the expression provided to log_assert in NDEBUG builds
frontends/verific/verific.cc
kernel/log.h
passes/opt/opt_expr.cc