diff options
| author | Ralf Jung <post@ralfj.de> | 2022-05-10 13:28:22 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2022-05-10 14:23:32 +0200 |
| commit | aef8a9306d62fbad04a70c369e8472e47519f25d (patch) | |
| tree | 5bad3c53918c0fae60a26d50783582f000a0d2d9 /compiler | |
| parent | 600d9602610d1e6a79f98a2a07a660e945e3d22a (diff) | |
| download | rust-aef8a9306d62fbad04a70c369e8472e47519f25d.tar.gz rust-aef8a9306d62fbad04a70c369e8472e47519f25d.zip | |
update/remove some old comments
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/rustc_const_eval/src/interpret/place.rs | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/compiler/rustc_const_eval/src/interpret/place.rs b/compiler/rustc_const_eval/src/interpret/place.rs index 1a378de139b..2c85a610352 100644 --- a/compiler/rustc_const_eval/src/interpret/place.rs +++ b/compiler/rustc_const_eval/src/interpret/place.rs @@ -736,20 +736,16 @@ where dest: &MPlaceTy<'tcx, M::PointerTag>, ) -> InterpResult<'tcx> { // Note that it is really important that the type here is the right one, and matches the - // type things are read at. In case `src_val` is a `ScalarPair`, we don't do any magic here + // type things are read at. In case `value` is a `ScalarPair`, we don't do any magic here // to handle padding properly, which is only correct if we never look at this data with the // wrong type. - // Invalid places are a thing: the return place of a diverging function let tcx = *self.tcx; let Some(mut alloc) = self.get_place_alloc_mut(dest)? else { // zero-sized access return Ok(()); }; - // FIXME: We should check that there are dest.layout.size many bytes available in - // memory. The code below is not sufficient, with enough padding it might not - // cover all the bytes! match value { Immediate::Scalar(scalar) => { let Abi::Scalar(s) = dest.layout.abi else { span_bug!( |
