Struct SafeDropGraph 

pub struct SafeDropGraph<'tcx> {
    pub alias_graph: AliasGraph<'tcx>,
    pub bug_records: BugRecords,
    pub drop_record: Vec<DropRecord>,
    pub adt_owner: OHAResultMap,
}

We represent each target function with the SafeDropGraph struct and then perform analysis based on the struct.

Fields

alias_graph: AliasGraph<'tcx>

bug_records: BugRecords

drop_record: Vec<DropRecord>

adt_owner: OHAResultMap

Implementations

impl<'tcx> SafeDropGraph<'tcx>

pub fn add_to_drop_record( &mut self, value_idx: usize, bb_idx: usize, flag_cleanup: bool, )

impl<'tcx> SafeDropGraph<'tcx>

pub fn from_path_graph( tcx: TyCtxt<'tcx>, def_id: DefId, path_graph: PathGraph<'tcx>, adt_owner: OHAResultMap, ) -> Self

fn from_alias_graph( alias_graph: AliasGraph<'tcx>, adt_owner: OHAResultMap, ) -> Self

impl<'tcx> SafeDropGraph<'tcx>

fn dfs_safedrop( &mut self, node: &PathNode, path: &mut Vec<usize>, fn_map: &MopFnAliasMap, ) -> Result<(), ()>

pub fn drop_check(&mut self, bb_idx: usize)

pub fn drop_heap_item_check(&self, place: &Place<'tcx>) -> bool

pub fn process_function_paths_opt( &mut self, precomputed_paths: Option<PathTree>, fn_map: &MopFnAliasMap, )

pub fn report_bugs(&self)

pub fn df_check( &mut self, value_idx: usize, bb_idx: usize, span: Span, flag_cleanup: bool, ) -> bool

pub fn dp_check(&mut self, flag_cleanup: bool)

fn dp_check_arg(&mut self, arg_idx: usize, flag_cleanup: bool)

Trait Implementations

impl<'tcx> Display for SafeDropGraph<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.