diff options
| author | Andrew Kelley <andrew@ziglang.org> | 2024-08-09 19:49:48 -0700 |
|---|---|---|
| committer | Andrew Kelley <andrew@ziglang.org> | 2024-08-13 15:02:53 -0700 |
| commit | b5398180d6b362346522a6067d54b90b97e23dc2 (patch) | |
| tree | 227d414866a1052fd4197bb0b32e74e173300ef9 /lib/std/debug/Coverage.zig | |
| parent | 0b5ea2b902b5802786cac70740e93872d2a0973d (diff) | |
| download | zig-b5398180d6b362346522a6067d54b90b97e23dc2.tar.gz zig-b5398180d6b362346522a6067d54b90b97e23dc2.zip | |
std.debug.Coverage.resolveAddressesDwarf: fix broken logic
The implementation assumed that compilation units did not overlap, which
is not the case. The new implementation uses .debug_ranges to iterate
over the requested PCs.
This partially resolves #20990. The dump-cov tool is fixed but the same
fix needs to be applied to `std.Build.Fuzz.WebServer` (sorting the PC
list before passing it to be resolved by debug info).
I am observing LLVM emit multiple 8-bit counters for the same PC
addresses when enabling `-fsanitize-coverage=inline-8bit-counters`. This
seems like a bug in LLVM. I can't fathom why that would be desireable.
Diffstat (limited to 'lib/std/debug/Coverage.zig')
| -rw-r--r-- | lib/std/debug/Coverage.zig | 39 |
1 files changed, 18 insertions, 21 deletions
diff --git a/lib/std/debug/Coverage.zig b/lib/std/debug/Coverage.zig index f341efaffb..bb6f7aabcb 100644 --- a/lib/std/debug/Coverage.zig +++ b/lib/std/debug/Coverage.zig @@ -151,46 +151,35 @@ pub fn resolveAddressesDwarf( d: *Dwarf, ) ResolveAddressesDwarfError!void { assert(sorted_pc_addrs.len == output.len); - assert(d.compile_units_sorted); + assert(d.ranges.items.len != 0); // call `populateRanges` first. - var cu_i: usize = 0; - var line_table_i: usize = 0; - var cu: *Dwarf.CompileUnit = &d.compile_unit_list.items[0]; - var range = cu.pc_range.?; + var range_i: usize = 0; + var range: *std.debug.Dwarf.Range = &d.ranges.items[0]; + var line_table_i: usize = undefined; + var prev_cu: ?*std.debug.Dwarf.CompileUnit = null; // Protects directories and files tables from other threads. cov.mutex.lock(); defer cov.mutex.unlock(); next_pc: for (sorted_pc_addrs, output) |pc, *out| { while (pc >= range.end) { - cu_i += 1; - if (cu_i >= d.compile_unit_list.items.len) { + range_i += 1; + if (range_i >= d.ranges.items.len) { out.* = SourceLocation.invalid; continue :next_pc; } - cu = &d.compile_unit_list.items[cu_i]; - line_table_i = 0; - range = cu.pc_range orelse { - out.* = SourceLocation.invalid; - continue :next_pc; - }; + range = &d.ranges.items[range_i]; } if (pc < range.start) { out.* = SourceLocation.invalid; continue :next_pc; } - if (line_table_i == 0) { - line_table_i = 1; + const cu = &d.compile_unit_list.items[range.compile_unit_index]; + if (cu.src_loc_cache == null) { cov.mutex.unlock(); defer cov.mutex.lock(); d.populateSrcLocCache(gpa, cu) catch |err| switch (err) { error.MissingDebugInfo, error.InvalidDebugInfo => { out.* = SourceLocation.invalid; - cu_i += 1; - if (cu_i < d.compile_unit_list.items.len) { - cu = &d.compile_unit_list.items[cu_i]; - line_table_i = 0; - if (cu.pc_range) |r| range = r; - } continue :next_pc; }, else => |e| return e, @@ -198,6 +187,14 @@ pub fn resolveAddressesDwarf( } const slc = &cu.src_loc_cache.?; const table_addrs = slc.line_table.keys(); + if (cu != prev_cu) { + prev_cu = cu; + line_table_i = std.sort.upperBound(u64, table_addrs, pc, struct { + fn order(context: u64, item: u64) std.math.Order { + return std.math.order(item, context); + } + }.order); + } while (line_table_i < table_addrs.len and table_addrs[line_table_i] < pc) line_table_i += 1; const entry = slc.line_table.values()[line_table_i - 1]; |
