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

Correct comment and assumption.

Browse Source
This commit is contained in:
Camille GILLOT 2023-09-07 15:45:25 +00:00
parent f96c6e04cb
commit 4ad22b91fc
1 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
compiler/rustc_mir_dataflow/src/value_analysis.rs
View File

@ -752,7 +752,7 @@ impl Map {
let old = self.projections.insert((place, TrackElem::Discriminant), discr); let old = self.projections.insert((place, TrackElem::Discriminant), discr);
assert!(old.is_none()); assert!(old.is_none());
// Allocate a value slot if it doesn't have one. // Allocate a value slot since it doesn't have one.
assert!(self.places[discr].value_index.is_none()); assert!(self.places[discr].value_index.is_none());
self.places[discr].value_index = Some(self.value_count.into()); self.places[discr].value_index = Some(self.value_count.into());
self.value_count += 1; self.value_count += 1;
@ -769,12 +769,11 @@ impl Map {
let old = self.projections.insert((place, TrackElem::DerefLen), len); let old = self.projections.insert((place, TrackElem::DerefLen), len);
assert!(old.is_none()); assert!(old.is_none());
// Allocate a value slot if it doesn't have one. // Allocate a value slot since it doesn't have one.
if self.places[len].value_index.is_none() { assert!( self.places[len].value_index.is_none() );
self.places[len].value_index = Some(self.value_count.into()); self.places[len].value_index = Some(self.value_count.into());
self.value_count += 1; self.value_count += 1;
} }
}
// Recurse with all fields of this place. // Recurse with all fields of this place.
iter_fields(ty, tcx, param_env, |variant, field, ty| { iter_fields(ty, tcx, param_env, |variant, field, ty| {