Implement apply_switch_int_edge_effects for backward analyses

This commit is contained in:
Samuel E. Moelius III 2022-03-19 12:04:59 -04:00
parent 9c7f6d60b1
commit ee7413b94c
3 changed files with 56 additions and 8 deletions

View file

@ -28,7 +28,7 @@ pub use self::drop_flag_effects::{
pub use self::framework::{
fmt, graphviz, lattice, visit_results, Analysis, AnalysisDomain, Backward, CallReturnPlaces,
Direction, Engine, Forward, GenKill, GenKillAnalysis, JoinSemiLattice, Results, ResultsCursor,
ResultsRefCursor, ResultsVisitable, ResultsVisitor,
ResultsRefCursor, ResultsVisitable, ResultsVisitor, SwitchIntEdgeEffects,
};
use self::move_paths::MoveData;