| ... | @@ -43,7 +43,11 @@ pub const Header = extern struct { | ... | @@ -43,7 +43,11 @@ pub const Header = extern struct { |
| 43 | instructions_len: u32, | 43 | instructions_len: u32, |
| 44 | string_bytes_len: u32, | 44 | string_bytes_len: u32, |
| 45 | extra_len: u32, | 45 | extra_len: u32, |
| 46 | | 46 | /// We could leave this as padding, however it triggers a Valgrind warning because |
| | 47 | /// we read and write undefined bytes to the file system. This is harmless, but |
| | 48 | /// it's essentially free to have a zero field here and makes the warning go away, |
| | 49 | /// making it more likely that following Valgrind warnings will be taken seriously. |
| | 50 | unused: u32 = 0, |
| 47 | stat_inode: std.fs.File.INode, | 51 | stat_inode: std.fs.File.INode, |
| 48 | stat_size: u64, | 52 | stat_size: u64, |
| 49 | stat_mtime: i128, | 53 | stat_mtime: i128, |