mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-04-29 15:23:37 +00:00
Code Activity

Merge pull request #8900 from Z3Prover/copilot/fix-memory-leak-detected

Browse source 
Fix memory leaks in test code detected by ASan/LSan
This commit is contained in:
Nikolaj Bjorner 2026-03-09 10:44:12 -07:00 • committed by GitHub
commit 525c9dbb12
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/test/dl_relation.cpp
View file

@ -111,6 +111,7 @@ namespace datalog {
i5->deallocate(); i5->deallocate();
dealloc(join1); dealloc(join1);
dealloc(proj1); dealloc(proj1);
dealloc(proj2);
dealloc(ren1); dealloc(ren1);
dealloc(union1); dealloc(union1);
dealloc(filterId1); dealloc(filterId1);
@ -281,6 +282,7 @@ namespace datalog {
i5->deallocate(); i5->deallocate();
dealloc(join1); dealloc(join1);
dealloc(proj1); dealloc(proj1);
dealloc(proj2);
dealloc(ren1); dealloc(ren1);
dealloc(union1); dealloc(union1);
dealloc(filterId1); dealloc(filterId1);

1
src/test/simplifier.cpp
View file

@ -138,6 +138,7 @@ static void test_skolemize_bug() {
Z3_ast f3 = Z3_simplify(ctx, f2); Z3_ast f3 = Z3_simplify(ctx, f2);
std::cout << Z3_ast_to_string(ctx, f3) << "\n"; std::cout << Z3_ast_to_string(ctx, f3) << "\n";
Z3_del_context(ctx);
} }