mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Complete comments.

Browse Source
This commit is contained in:
Camille GILLOT 2023-10-14 12:53:18 +00:00
parent 5e78b9cdb3
commit f6aa3ee7e8
1 changed files with 5 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
compiler/rustc_middle/src/mir/consts.rs
View File

@ -498,7 +498,8 @@ impl<'tcx> Const<'tcx> {
} }
} }
/// Return true if any evaluation of this constant returns the same value. /// Return true if any evaluation of this constant always returns the same value,
/// taking into account even pointer identity tests.
pub fn is_deterministic(&self) -> bool { pub fn is_deterministic(&self) -> bool {
// Some constants may contain pointers. We need to preserve the provenance of these // Some constants may contain pointers. We need to preserve the provenance of these
// pointers, but not all constants guarantee this: // pointers, but not all constants guarantee this:
@ -506,14 +507,10 @@ impl<'tcx> Const<'tcx> {
// - ConstValue::Slice does not either. // - ConstValue::Slice does not either.
match self { match self {
Const::Ty(c) => match c.kind() { Const::Ty(c) => match c.kind() {
ty::ConstKind::Value(valtree) => match valtree {
// This is just an integer, keep it.
ty::ValTree::Leaf(_) => true,
// This branch may be a reference. Valtree references correspond to a
// different allocation each time they are evaluated.
ty::ValTree::Branch(_) => false,
},
ty::ConstKind::Param(..) => true, ty::ConstKind::Param(..) => true,
// A valtree may be a reference. Valtree references correspond to a
// different allocation each time they are evaluated.
ty::ConstKind::Value(_) => false,
ty::ConstKind::Unevaluated(..) | ty::ConstKind::Expr(..) => false, ty::ConstKind::Unevaluated(..) | ty::ConstKind::Expr(..) => false,
// Should not appear in runtime MIR. // Should not appear in runtime MIR.
ty::ConstKind::Infer(..) ty::ConstKind::Infer(..)