Co-authored-by: Oliver Scherer <github35764891676564198441@oli-obk.de>
This commit is contained in:
Ralf Jung 2020-08-17 14:11:03 +02:00 committed by GitHub
parent 20aea20592
commit 6da8503dff
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -122,7 +122,7 @@ pub trait Machine<'mir, 'tcx>: Sized {
/// Whether memory accesses should be alignment-checked. /// Whether memory accesses should be alignment-checked.
fn enforce_alignment(memory_extra: &Self::MemoryExtra) -> bool; fn enforce_alignment(memory_extra: &Self::MemoryExtra) -> bool;
/// Whether, when cehcking alignment, we should `force_int` and thus support /// Whether, when checking alignment, we should `force_int` and thus support
/// custom alignment logic based on whatever the integer address happens to be. /// custom alignment logic based on whatever the integer address happens to be.
fn force_int_for_alignment_check(memory_extra: &Self::MemoryExtra) -> bool; fn force_int_for_alignment_check(memory_extra: &Self::MemoryExtra) -> bool;