fn visit_thread_local_ref(&mut self, path: Rc<Path>, def_id: DefId) {
        let static_var = if self.bv.tcx.is_mir_available(def_id) {
            self.bv.import_static(Path::new_static(self.bv.tcx, def_id))
        } else {
            Path::new_static(self.bv.tcx, def_id)
        };
        self.bv
            .update_value_at(path, AbstractValue::make_reference(static_var));
    }
/// Accessing a thread local static. This is inherently a runtime operation, even if llvm
/// treats it as an access to a static. This `Rvalue` yields a reference to the thread local
/// static.
Accessing a thread local static. This is inherently a runtime operation, even if llvm
treats it as an access to a static. This `Rvalue` yields a reference to the thread local
static.
Accessing a thread local static . This is inherently a runtime operation even if llvm treats it as an access to a static . This ` Rvalue ` yields a reference to the thread local static .
fn visit_thread_local_ref(&mut self, path: Rc<Path>, def_id: DefId) {
        let static_var = if self.bv.tcx.is_mir_available(def_id) {
            self.bv.import_static(Path::new_static(self.bv.tcx, def_id))
        } else {
            Path::new_static(self.bv.tcx, def_id)
        };
        self.bv
            .update_value_at(path, AbstractValue::make_reference(static_var));
    }
fn visit_thread_local_ref ( & mut self , path : Rc < Path > , def_id : DefId ) { let static_var = if self . bv . tcx . is_mir_available ( def_id ) { self . bv . import_static ( Path :: new_static ( self . bv . tcx , def_id ) ) } else { Path :: new_static ( self . bv . tcx , def_id ) } ; self . bv . update_value_at ( path , AbstractValue :: make_reference ( static_var ) ) ; }
Accessing a thread local static.
Accessing a thread local static .
&mut self
path
Rc<Path>
def_id
DefId