diff options
| author | Jacob Young <jacobly0@users.noreply.github.com> | 2022-12-28 03:20:06 -0500 |
|---|---|---|
| committer | Andrew Kelley <andrew@ziglang.org> | 2022-12-28 14:24:27 -0500 |
| commit | 74b14edea8b7d8ae7816feda2ee37a4ca016bc03 (patch) | |
| tree | 2e5beb75cf5f179d947021a981ddc6210d0c9630 /src/link | |
| parent | 70ac9fc7afe672d39cdcc2f1fa4df00d34f5a775 (diff) | |
| download | zig-74b14edea8b7d8ae7816feda2ee37a4ca016bc03.tar.gz zig-74b14edea8b7d8ae7816feda2ee37a4ca016bc03.zip | |
link: fix memory leaks
* Fix linker memory leaks found while running `zig build test-cases`.
* Add missing target to test manifest.
Diffstat (limited to 'src/link')
| -rw-r--r-- | src/link/Coff.zig | 10 | ||||
| -rw-r--r-- | src/link/MachO.zig | 12 | ||||
| -rw-r--r-- | src/link/Plan9.zig | 22 |
3 files changed, 30 insertions, 14 deletions
diff --git a/src/link/Coff.zig b/src/link/Coff.zig index 232342dd7f..9c05114a1f 100644 --- a/src/link/Coff.zig +++ b/src/link/Coff.zig @@ -289,6 +289,7 @@ pub fn deinit(self: *Coff) void { self.unresolved.deinit(gpa); self.locals_free_list.deinit(gpa); + self.globals_free_list.deinit(gpa); self.strtab.deinit(gpa); self.got_entries.deinit(gpa); self.got_entries_free_list.deinit(gpa); @@ -1150,8 +1151,10 @@ fn updateDeclCode(self: *Coff, decl_index: Module.Decl.Index, code: []const u8, } fn freeRelocationsForAtom(self: *Coff, atom: *Atom) void { - _ = self.relocs.remove(atom); - _ = self.base_relocs.remove(atom); + var removed_relocs = self.relocs.fetchRemove(atom); + if (removed_relocs) |*relocs| relocs.value.deinit(self.base.allocator); + var removed_base_relocs = self.base_relocs.fetchRemove(atom); + if (removed_base_relocs) |*base_relocs| base_relocs.value.deinit(self.base.allocator); } fn freeUnnamedConsts(self: *Coff, decl_index: Module.Decl.Index) void { @@ -1489,9 +1492,8 @@ pub fn getGlobalSymbol(self: *Coff, name: []const u8) !u32 { gop.value_ptr.* = sym_loc; const gpa = self.base.allocator; - const sym_name = try gpa.dupe(u8, name); const sym = self.getSymbolPtr(sym_loc); - try self.setSymbolName(sym, sym_name); + try self.setSymbolName(sym, name); sym.storage_class = .EXTERNAL; try self.unresolved.putNoClobber(gpa, global_index, true); diff --git a/src/link/MachO.zig b/src/link/MachO.zig index 824d39216a..be770574b8 100644 --- a/src/link/MachO.zig +++ b/src/link/MachO.zig @@ -2576,10 +2576,14 @@ pub fn deleteExport(self: *MachO, exp: Export) void { } fn freeRelocationsForAtom(self: *MachO, atom: *Atom) void { - _ = self.relocs.remove(atom); - _ = self.rebases.remove(atom); - _ = self.bindings.remove(atom); - _ = self.lazy_bindings.remove(atom); + var removed_relocs = self.relocs.fetchRemove(atom); + if (removed_relocs) |*relocs| relocs.value.deinit(self.base.allocator); + var removed_rebases = self.rebases.fetchRemove(atom); + if (removed_rebases) |*rebases| rebases.value.deinit(self.base.allocator); + var removed_bindings = self.bindings.fetchRemove(atom); + if (removed_bindings) |*bindings| bindings.value.deinit(self.base.allocator); + var removed_lazy_bindings = self.lazy_bindings.fetchRemove(atom); + if (removed_lazy_bindings) |*lazy_bindings| lazy_bindings.value.deinit(self.base.allocator); } fn freeUnnamedConsts(self: *MachO, decl_index: Module.Decl.Index) void { diff --git a/src/link/Plan9.zig b/src/link/Plan9.zig index 2d221463c9..5423269bf0 100644 --- a/src/link/Plan9.zig +++ b/src/link/Plan9.zig @@ -201,7 +201,10 @@ fn putFn(self: *Plan9, decl_index: Module.Decl.Index, out: FnDeclOutput) !void { const decl = mod.declPtr(decl_index); const fn_map_res = try self.fn_decl_table.getOrPut(gpa, decl.getFileScope()); if (fn_map_res.found_existing) { - try fn_map_res.value_ptr.functions.put(gpa, decl_index, out); + if (try fn_map_res.value_ptr.functions.fetchPut(gpa, decl_index, out)) |old_entry| { + gpa.free(old_entry.value.code); + gpa.free(old_entry.value.lineinfo); + } } else { const file = decl.getFileScope(); const arena = self.path_arena.allocator(); @@ -408,9 +411,11 @@ pub fn updateDecl(self: *Plan9, module: *Module, decl_index: Module.Decl.Index) return; }, }; - var duped_code = try self.base.allocator.dupe(u8, code); - errdefer self.base.allocator.free(duped_code); - try self.data_decl_table.put(self.base.allocator, decl_index, duped_code); + try self.data_decl_table.ensureUnusedCapacity(self.base.allocator, 1); + const duped_code = try self.base.allocator.dupe(u8, code); + if (self.data_decl_table.fetchPutAssumeCapacity(decl_index, duped_code)) |old_entry| { + self.base.allocator.free(old_entry.value); + } return self.updateFinish(decl); } /// called at the end of update{Decl,Func} @@ -743,14 +748,19 @@ pub fn freeDecl(self: *Plan9, decl_index: Module.Decl.Index) void { if (is_fn) { var symidx_and_submap = self.fn_decl_table.get(decl.getFileScope()).?; var submap = symidx_and_submap.functions; - _ = submap.swapRemove(decl_index); + if (submap.fetchSwapRemove(decl_index)) |removed_entry| { + self.base.allocator.free(removed_entry.value.code); + self.base.allocator.free(removed_entry.value.lineinfo); + } if (submap.count() == 0) { self.syms.items[symidx_and_submap.sym_index] = aout.Sym.undefined_symbol; self.syms_index_free_list.append(self.base.allocator, symidx_and_submap.sym_index) catch {}; submap.deinit(self.base.allocator); } } else { - _ = self.data_decl_table.swapRemove(decl_index); + if (self.data_decl_table.fetchSwapRemove(decl_index)) |removed_entry| { + self.base.allocator.free(removed_entry.value); + } } if (decl.link.plan9.got_index) |i| { // TODO: if this catch {} is triggered, an assertion in flushModule will be triggered, because got_index_free_list will have the wrong length |
