clarify comment

This commit is contained in:
Ralf Jung 2020-04-28 23:54:47 +02:00
parent a84e2a0c91
commit a089801948

View File

@ -343,7 +343,9 @@ fn before_access_global(
// Machine configuration does not allow us to read statics
// (e.g., `const` initializer).
// See const_eval::machine::MemoryExtra::can_access_statics for why
// this check is so important.
// this check is so important: if we could read statics, we could read pointers
// to mutable allocations *inside* statics. These allocations are not themselves
// statics, so pointers to them can get around the check in `validity.rs`.
Err(ConstEvalErrKind::ConstAccessesStatic.into())
} else {
// Immutable global, this read is fine.