T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix skipping dead DWARF records

Browse Source
This commit is contained in:
Yury Delendik
2019-06-26 16:19:22 -05:00
committed by Dan Gohman
parent 19cfec6e8f
commit d52ab02835
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
wasmtime-debug/src/transform.rs
View File

@@ -515,14 +515,14 @@ where
};
let mut skip_at_depth = None;
while let Some((depth_delta, entry)) = entries.next_dfs()? {
let depth_delta = if let Some(depth) = skip_at_depth {
let depth_delta = if let Some((depth, cached)) = skip_at_depth {
let new_depth = depth + depth_delta;
if new_depth >= 0 {
skip_at_depth = Some(new_depth);
if new_depth > 0 {
skip_at_depth = Some((new_depth, cached));
continue;
}
skip_at_depth = None;
new_depth
new_depth + cached
} else {
depth_delta
};
@@ -530,7 +530,7 @@ where
let range = get_subprogram_range(entry, addr_tr)?;
if range.is_none() {
// Subprogram was not compiled: discarding all its info.
skip_at_depth = Some(0);
skip_at_depth = Some((0, depth_delta));
continue;
}
range