Update compiler/rustc_codegen_ssa/src/mir/place.rs

rust-lang · Dec 16, 2022 · 4d803a0 · 4d803a0
1 parent 67d2c9f
commit 4d803a0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/compiler/rustc_codegen_ssa/src/mir/place.rs b/compiler/rustc_codegen_ssa/src/mir/place.rs
@@ -97,8 +97,8 @@ impl<'a, 'tcx, V: CodegenObject> PlaceRef<'tcx, V> {
                 self.llval
             } else {
                 let byte_ptr = bx.pointercast(self.llval, bx.cx().type_i8p());
-                // FIXME(eddyb) when can this not be `inbounds`? ZSTs?
-                // (but since `offset` is larger than `0`, that would mean the
+                // This is always `inbounds`. For example, ZSTs cannot arise
+                // because `offset` is larger than `0`, which means the
                 // allocation the place points into has at least one byte, so
                 // any possible offset in the layout *should* be in-bounds)
                 bx.inbounds_gep(bx.cx().type_i8(), byte_ptr, &[bx.const_usize(offset.bytes())])