bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Bounds-check with PtrMetadata instead of Len in MIR

Browse source
This commit is contained in:
Scott McMurray 2024-12-01 20:14:04 -08:00
parent 490b2cc098
commit 612adbb6bf
100 changed files with 1431 additions and 1665 deletions
Download patch file Download diff file Expand all files Collapse all files

25
compiler/rustc_const_eval/src/check_consts/check.rs
View file

@ -573,12 +573,27 @@ impl<'tcx> Visitor<'tcx> for Checker<'_, 'tcx> {
) => {}
Rvalue::ShallowInitBox(_, _) => {}
Rvalue::UnaryOp(_, operand) => {
Rvalue::UnaryOp(op, operand) => {
let ty = operand.ty(self.body, self.tcx);
if is_int_bool_float_or_char(ty) {
// Int, bool, float, and char operations are fine.
} else {
span_bug!(self.span, "non-primitive type in `Rvalue::UnaryOp`: {:?}", ty);
match op {
UnOp::Not | UnOp::Neg => {
if is_int_bool_float_or_char(ty) {
// Int, bool, float, and char operations are fine.
} else {
span_bug!(
self.span,
"non-primitive type in `Rvalue::UnaryOp{op:?}`: {ty:?}",
);
}
}
UnOp::PtrMetadata => {
if !ty.is_ref() && !ty.is_unsafe_ptr() {
span_bug!(
self.span,
"non-pointer type in `Rvalue::UnaryOp({op:?})`: {ty:?}",
);
}
}
}
}