diff options
author | Miodrag Milanović <mmicko@gmail.com> | 2023-01-23 16:24:22 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-23 16:24:22 +0100 |
commit | 245884a1011fe45b00bbb9cacd0111eb014adadf (patch) | |
tree | d1bcd1f90dc656bef8409bd5f7a677c8d4e4aa35 /passes/cmds/bugpoint.cc | |
parent | 9bc9121b9efeeb490ca593f75354457a4e420653 (diff) | |
parent | 6574553189fb6ccb5d00a0c043671a625672b3d3 (diff) | |
download | yosys-245884a1011fe45b00bbb9cacd0111eb014adadf.tar.gz yosys-245884a1011fe45b00bbb9cacd0111eb014adadf.tar.bz2 yosys-245884a1011fe45b00bbb9cacd0111eb014adadf.zip |
Merge pull request #3629 from YosysHQ/micko/clang_fixes
Fixes for some of clang scan-build detected issues
Diffstat (limited to 'passes/cmds/bugpoint.cc')
-rw-r--r-- | passes/cmds/bugpoint.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/passes/cmds/bugpoint.cc b/passes/cmds/bugpoint.cc index e666023fa..c398afffa 100644 --- a/passes/cmds/bugpoint.cc +++ b/passes/cmds/bugpoint.cc @@ -393,6 +393,7 @@ struct BugpointPass : public Pass { } } } + delete design_copy; return nullptr; } |