Skip to content

Commit

Permalink
Run unaligned_debug_link_parsing() under Miri
Browse files Browse the repository at this point in the history
The unaligned_debug_link_parsing() test does not perform any I/O. As
such, it is fine to be run under Miri. Do just that.

Signed-off-by: Daniel Müller <deso@posteo.net>
  • Loading branch information
d-e-s-o authored and danielocfb committed Aug 1, 2024
1 parent 624abe5 commit c6d3894
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions src/dwarf/debug_link.rs
Original file line number Diff line number Diff line change
Expand Up @@ -235,12 +235,15 @@ mod tests {
use std::path::Path;
use std::slice;

use test_tag::tag;

use crate::elf::DEFAULT_DEBUG_DIRS;
use crate::mmap::Mmap;


/// Check that we can correctly read a CRC checksum from aligned
/// debug link section data.
#[tag(miri)]
#[test]
fn unaligned_debug_link_parsing() {
let section_data = [
Expand Down

0 comments on commit c6d3894

Please sign in to comment.