Searched refs:RefBindings (Results 1 – 1 of 1) sorted by relevance
363 REGISTER_MAP_WITH_PROGRAMSTATE(RefBindings, SymbolRef, RefVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument367 return State->get<RefBindings>(Sym); in REGISTER_MAP_WITH_PROGRAMSTATE()372 return State->set<RefBindings>(Sym, Val); in setRefBinding()376 return State->remove<RefBindings>(Sym); in removeRefBinding()2691 state = state->remove<RefBindings>(sym); in VisitSymbol()3672 RefBindingsTy B = state->get<RefBindings>(); in evalAssume()3678 RefBindingsTy::Factory &RefBFactory = state->get_context<RefBindings>(); in evalAssume()3691 state = state->set<RefBindings>(B); in evalAssume()3863 RefBindingsTy B = state->get<RefBindings>(); in checkEndFunction()3887 B = state->get<RefBindings>(); in checkEndFunction()[all …]