Searched refs:RefBindings (Results 1 – 1 of 1) sorted by relevance
362 REGISTER_MAP_WITH_PROGRAMSTATE(RefBindings, SymbolRef, RefVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument366 return State->get<RefBindings>(Sym); in REGISTER_MAP_WITH_PROGRAMSTATE()371 return State->set<RefBindings>(Sym, Val); in setRefBinding()375 return State->remove<RefBindings>(Sym); in removeRefBinding()2690 state = state->remove<RefBindings>(sym); in VisitSymbol()3679 RefBindingsTy B = state->get<RefBindings>(); in evalAssume()3685 RefBindingsTy::Factory &RefBFactory = state->get_context<RefBindings>(); in evalAssume()3698 state = state->set<RefBindings>(B); in evalAssume()3870 RefBindingsTy B = state->get<RefBindings>(); in checkEndFunction()3894 B = state->get<RefBindings>(); in checkEndFunction()[all …]