Searched refs:RefBindings (Results 1 – 1 of 1) sorted by relevance
361 REGISTER_MAP_WITH_PROGRAMSTATE(RefBindings, SymbolRef, RefVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument365 return State->get<RefBindings>(Sym); in REGISTER_MAP_WITH_PROGRAMSTATE()370 return State->set<RefBindings>(Sym, Val); in setRefBinding()374 return State->remove<RefBindings>(Sym); in removeRefBinding()2666 state = state->remove<RefBindings>(sym); in VisitSymbol()3623 RefBindingsTy B = state->get<RefBindings>(); in evalAssume()3629 RefBindingsTy::Factory &RefBFactory = state->get_context<RefBindings>(); in evalAssume()3642 state = state->set<RefBindings>(B); in evalAssume()3816 RefBindingsTy B = state->get<RefBindings>(); in checkEndFunction()3840 B = state->get<RefBindings>(); in checkEndFunction()[all …]