diff options
| -rw-r--r-- | ripple/minitrace/src/main.rs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/ripple/minitrace/src/main.rs b/ripple/minitrace/src/main.rs index 3857b77..3675d08 100644 --- a/ripple/minitrace/src/main.rs +++ b/ripple/minitrace/src/main.rs @@ -150,11 +150,15 @@ impl Process { for &mut maps_file::Mapping { start, end, + dev, + inode, ref mut pathname, .. } in &mut mappings { - if pathname == "" || (pathname.starts_with('[') && pathname.ends_with(']')) { + if (dev, inode) == ((0, 0), 0) { + let is_special = pathname.starts_with('[') && pathname.ends_with(']'); + assert!(is_special || pathname.is_empty()); // these won't exist in map_files continue; } |