From 348382600092678c0413b5424af8a0799a71fe32 Mon Sep 17 00:00:00 2001 From: Oliver Scherer Date: Sat, 20 Jun 2020 15:55:57 +0200 Subject: [PATCH] Update src/const-safety.md Co-authored-by: Ralf Jung --- src/const-safety.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/const-safety.md b/src/const-safety.md index 33354f1..e8e7a8e 100644 --- a/src/const-safety.md +++ b/src/const-safety.md @@ -43,7 +43,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 +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`. 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