Searched refs:RefBindings (Results 1 – 1 of 1) sorted by relevance
336 REGISTER_MAP_WITH_PROGRAMSTATE(RefBindings, SymbolRef, RefVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument340 return State->get<RefBindings>(Sym); in REGISTER_MAP_WITH_PROGRAMSTATE()345 return State->set<RefBindings>(Sym, Val); in setRefBinding()349 return State->remove<RefBindings>(Sym); in removeRefBinding()2630 state = state->remove<RefBindings>(sym); in VisitSymbol()3523 RefBindingsTy B = state->get<RefBindings>(); in evalAssume()3529 RefBindingsTy::Factory &RefBFactory = state->get_context<RefBindings>(); in evalAssume()3542 state = state->set<RefBindings>(B); in evalAssume()3688 RefBindingsTy B = state->get<RefBindings>(); in checkEndFunction()3712 B = state->get<RefBindings>(); in checkEndFunction()[all …]