Function collect_static_mut_access_info 

pub fn collect_static_mut_access_info<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
) -> Vec<StaticMutAccessInfo<'tcx>>

Collect all basic blocks that reference mutable statics in def_id.

Mutable statics appear as Constant operands whose check_static_ptr points to a static mut item. Both reads and writes are detected here; the conservative Init property will be checked regardless of direction.