expand comment

This commit is contained in:
Ralf Jung 2019-06-23 20:18:30 +02:00
parent 9954af4a9f
commit 38104abf63

View File

@ -289,7 +289,8 @@ fn check_offset_align(offset: u64, align: Align) -> InterpResult<'static> {
// Normalize to a `Pointer` if we definitely need one.
let normalized = if size.bytes() == 0 {
// Can be an integer, just take what we got.
// Can be an integer, just take what we got. We do NOT `force_bits` here;
// if this is already a `Pointer` we want to do the bounds checks!
sptr
} else {
// A "real" access, we must get a pointer.