src/librustc_mir/dataflow/mod.rs

   1 use rustc_ast::ast::{self, MetaItem};
   2 use rustc_middle::ty;
   3 use rustc_span::symbol::{sym, Symbol};
   4
   5 pub(crate) use self::drop_flag_effects::*;
   6 pub use self::framework::{
   7     visit_results, Analysis, AnalysisDomain, Backward, BorrowckFlowState, BorrowckResults,
   8     BottomValue, Engine, Forward, GenKill, GenKillAnalysis, Results, ResultsCursor,
   9     ResultsRefCursor, ResultsVisitor,
  10 };
  11
  12 use self::move_paths::MoveData;
  13
  14 pub mod drop_flag_effects;
  15 mod framework;
  16 pub mod impls;
  17 pub mod move_paths;
  18
  19 pub(crate) mod indexes {
  20     pub(crate) use super::{
  21         impls::borrows::BorrowIndex,
  22         move_paths::{InitIndex, MoveOutIndex, MovePathIndex},
  23     };
  24 }
  25
  26 pub struct MoveDataParamEnv<'tcx> {
  27     pub(crate) move_data: MoveData<'tcx>,
  28     pub(crate) param_env: ty::ParamEnv<'tcx>,
  29 }
  30
  31 pub(crate) fn has_rustc_mir_with(attrs: &[ast::Attribute], name: Symbol) -> Option<MetaItem> {
  32     for attr in attrs {
  33         if attr.check_name(sym::rustc_mir) {
  34             let items = attr.meta_item_list();
  35             for item in items.iter().flat_map(|l| l.iter()) {
  36                 match item.meta_item() {
  37                     Some(mi) if mi.has_name(name) => return Some(mi.clone()),
  38                     _ => continue,
  39                 }
  40             }
  41         }
  42     }
  43     None
  44 }