Searched refs:RefBindings (Results 1 – 1 of 1) sorted by relevance
268 REGISTER_MAP_WITH_PROGRAMSTATE(RefBindings, SymbolRef, RefVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument272 return State->get<RefBindings>(Sym); in REGISTER_MAP_WITH_PROGRAMSTATE()277 return State->set<RefBindings>(Sym, Val); in setRefBinding()281 return State->remove<RefBindings>(Sym); in removeRefBinding()2546 state = state->remove<RefBindings>(sym); in VisitSymbol()3405 RefBindingsTy B = state->get<RefBindings>(); in evalAssume()3411 RefBindingsTy::Factory &RefBFactory = state->get_context<RefBindings>(); in evalAssume()3424 state = state->set<RefBindings>(B); in evalAssume()3570 RefBindingsTy B = state->get<RefBindings>(); in checkEndFunction()3594 B = state->get<RefBindings>(); in checkEndFunction()[all …]