Update src/const-safety.md

Co-authored-by: Ralf Jung <post@ralfj.de>
pull/221/head
Oli Scherer 4 years ago committed by GitHub
parent 3b1e941440
commit 338b76b250
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -44,7 +44,7 @@ it requires knowing the actual integer address of `S`.
The way miri handles this is by treating pointer and integer values separately.
The most primitive kind of value in miri is a `Scalar`, and a scalar is *either*
a pointer (`Scalar::Ptr`) *or* a bunch of bits representing an integer
(`Scalar::Bits`). Every value of a variable of primitive type is stored as a
(`Scalar::Bits`), or uninitialized. Every value of a variable of primitive type is stored as a
`Scalar`. In the code above, casting the pointer `&S` to `*const i32` and then
to `usize` does not actually change the value -- we end up with a local variable
of type `usize` whose value is a `Scalar::Ptr`. This is not a problem in

Loading…
Cancel
Save