bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Move HasTop and HasBottom into lattice.rs

Browse source
This commit is contained in:
Jannis Christopher Köhl 2022-10-25 00:56:51 +02:00
parent f29533b4e0
commit 1f82a9f89e
3 changed files with 42 additions and 27 deletions
Download patch file Download diff file Expand all files Collapse all files

33
compiler/rustc_mir_dataflow/src/value_analysis.rs
View file

@ -56,9 +56,10 @@ use rustc_middle::ty::{self, Ty, TyCtxt};
use rustc_span::DUMMY_SP;
use rustc_target::abi::VariantIdx;
use crate::lattice::{HasBottom, HasTop};
use crate::{
fmt::DebugWithContext, lattice::FlatSet, Analysis, AnalysisDomain, CallReturnPlaces,
JoinSemiLattice, SwitchIntEdgeEffects,
fmt::DebugWithContext, Analysis, AnalysisDomain, CallReturnPlaces, JoinSemiLattice,
SwitchIntEdgeEffects,
};
pub trait ValueAnalysis<'tcx> {
@ -846,8 +847,8 @@ pub enum ValueOrPlace<V> {
Place(PlaceIndex),
}
impl<V: HasTop> HasTop for ValueOrPlace<V> {
fn top() -> Self {
impl<V: HasTop> ValueOrPlace<V> {
pub fn top() -> Self {
ValueOrPlace::Value(V::top())
}
}
@ -859,8 +860,8 @@ pub enum ValueOrPlaceOrRef<V> {
Ref(PlaceIndex),
}
impl<V: HasTop> HasTop for ValueOrPlaceOrRef<V> {
fn top() -> Self {
impl<V: HasTop> ValueOrPlaceOrRef<V> {
pub fn top() -> Self {
ValueOrPlaceOrRef::Value(V::top())
}
}
@ -874,26 +875,6 @@ impl<V> From<ValueOrPlace<V>> for ValueOrPlaceOrRef<V> {
}
}
pub trait HasBottom {
fn bottom() -> Self;
}
pub trait HasTop {
fn top() -> Self;
}
impl<V> HasBottom for FlatSet<V> {
fn bottom() -> Self {
Self::Bottom
}
}
impl<V> HasTop for FlatSet<V> {
fn top() -> Self {
Self::Top
}
}
/// The set of projection elements that can be used by a tracked place.
///
/// For now, downcast is not allowed due to aliasing between variants (see #101168).