compiler/rustc_mir_dataflow/src/lib.rs

   1 #![feature(associated_type_defaults)]
   2 #![feature(bool_to_option)]
   3 #![feature(box_patterns)]
   4 #![feature(box_syntax)]
   5 #![feature(exact_size_is_empty)]
   6 #![feature(let_else)]
   7 #![feature(min_specialization)]
   8 #![feature(once_cell)]
   9 #![feature(stmt_expr_attributes)]
  10 #![feature(trusted_step)]
  11 #![recursion_limit = "256"]
  12
  13 #[macro_use]
  14 extern crate tracing;
  15 #[macro_use]
  16 extern crate rustc_middle;
  17
  18 use rustc_ast::{self as ast, MetaItem};
  19 use rustc_middle::ty;
  20 use rustc_session::Session;
  21 use rustc_span::symbol::{sym, Symbol};
  22
  23 pub use self::drop_flag_effects::{
  24     drop_flag_effects_for_function_entry, drop_flag_effects_for_location,
  25     move_path_children_matching, on_all_children_bits, on_all_drop_children_bits,
  26     on_lookup_result_bits,
  27 };
  28 pub use self::framework::{
  29     fmt, graphviz, lattice, visit_results, Analysis, AnalysisDomain, Backward, CallReturnPlaces,
  30     Direction, Engine, Forward, GenKill, GenKillAnalysis, JoinSemiLattice, Results, ResultsCursor,
  31     ResultsRefCursor, ResultsVisitable, ResultsVisitor,
  32 };
  33
  34 use self::move_paths::MoveData;
  35
  36 pub mod drop_flag_effects;
  37 pub mod elaborate_drops;
  38 mod framework;
  39 pub mod impls;
  40 pub mod move_paths;
  41 pub mod rustc_peek;
  42 pub mod storage;
  43
  44 pub(crate) mod indexes {
  45     pub(crate) use super::move_paths::MovePathIndex;
  46 }
  47
  48 pub struct MoveDataParamEnv<'tcx> {
  49     pub move_data: MoveData<'tcx>,
  50     pub param_env: ty::ParamEnv<'tcx>,
  51 }
  52
  53 pub fn has_rustc_mir_with(
  54     _sess: &Session,
  55     attrs: &[ast::Attribute],
  56     name: Symbol,
  57 ) -> Option<MetaItem> {
  58     for attr in attrs {
  59         if attr.has_name(sym::rustc_mir) {
  60             let items = attr.meta_item_list();
  61             for item in items.iter().flat_map(|l| l.iter()) {
  62                 match item.meta_item() {
  63                     Some(mi) if mi.has_name(name) => return Some(mi.clone()),
  64                     _ => continue,
  65                 }
  66             }
  67         }
  68     }
  69     None
  70 }