Merge pull request #2870 from whitequark/cxxrtl-fix-2739
authorwhitequark <whitequark@whitequark.org>
Fri, 16 Jul 2021 00:13:16 +0000 (00:13 +0000)
committerGitHub <noreply@github.com>
Fri, 16 Jul 2021 00:13:16 +0000 (00:13 +0000)
cxxrtl: mark dead local wires as unused even with inlining disabled


Trivial merge