projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aace803) | patch
Fix memory leak in quantifier info (#8005)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 31 Jan 2022 18:19:35 +0000 (10:19 -0800)
committerGitHub <noreply@github.com>
Mon, 31 Jan 2022 18:19:35 +0000 (18:19 +0000)
commitb994f336a7db6180427014721d673519ee6febf3
tree860fe8ef397aef22bdf6fd003d38f08ea355156etree
parentaace803379e5db2655a26a2ef7d7679dad6f8820commit | diff
Fix memory leak in quantifier info (#8005)

Fixes #8001. One of the maps in `QuantInfo` was containing
heap-allocated objects that were not being destroyed. This commit
changes the raw pointers to `std::unique_ptr<MatchGen>` to avoid the
memory leak.
src/theory/quantifiers/quant_conflict_find.cpp diff | blob | history
src/theory/quantifiers/quant_conflict_find.h diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/quantifiers/issue8001-mem-leak.smt2 [new file with mode: 0644] blob