squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Improve miri's error reporting in check_in_alloc

Browse source 
Co-Authored-By: Ralf Jung <post@ralfj.de>
This commit is contained in:
Rust 2019-05-26 14:44:58 +03:00 committed by GitHub
parent ffd0dc79da
commit 9e643e6792
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/librustc/mir/interpret/allocation.rs
View file

@ -38,7 +38,7 @@ impl Display for CheckInAllocMsg {
write!(f, "{}", match *self {
CheckInAllocMsg::MemoryAccessTest => "Memory access",
CheckInAllocMsg::NullPointerTest => "Null pointer test",
CheckInAllocMsg::PointerArithmeticTest => "Pointer arithmetic test",
CheckInAllocMsg::PointerArithmeticTest => "Pointer arithmetic",
CheckInAllocMsg::InboundsTest => "Inbounds test",
})
}