Searched refs:get_context (Results 1 – 16 of 16) sorted by relevance
437 typename ProgramStateTrait<T>::context_type get_context() const;680 typename ProgramStateTrait<T>::context_type get_context() { in get_context() function842 return getStateManager().add<T>(this, K, get_context<T>()); in add()846 typename ProgramStateTrait<T>::context_type ProgramState::get_context() const { in get_context() function847 return getStateManager().get_context<T>(); in get_context()852 return getStateManager().remove<T>(this, K, get_context<T>()); in remove()874 return getStateManager().set<T>(this, K, E, get_context<T>()); in set()
203 auto &CZFactory = State->get_context<ConstraintSMT>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
2199 ConstraintMap::Factory &F = State->get_context<ConstraintMap>(); in getConstraintMap()2333 ClassMapTy::Factory &CMF = State->get_context<ClassMap>(); in mergeImpl()2336 ClassMembersTy::Factory &MF = State->get_context<ClassMembers>(); in mergeImpl()2341 ClassSet::Factory &CF = State->get_context<ClassSet>(); in mergeImpl()2400 return State->get_context<SymbolSet>(); in getMembersFactory()2472 ClassSet::Factory &CF = State->get_context<ClassSet>(); in addToDisequalityInfo()2551 ClassMapTy::Factory &CMF = State->get_context<ClassMap>(); in removeMember()2664 State->get_context<ClassSet>()); in getDisequalClasses()2807 SymbolSet::Factory &SetFactory = State->get_context<SymbolSet>(); in removeDeadBindings()2812 State->get_context<ConstraintRange>(); in removeDeadBindings()[all …]
132 CastSet::Factory &F = State->get_context<CastSet>(); in setDynamicTypeAndCastInfo()
3290 ConstraintMap::Factory &CF = N->getState()->get_context<ConstraintMap>(); in addConstraints()
242 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkPostCall()262 PtrSet::Factory &F = State->getStateManager().get_context<PtrSet>(); in checkDeadSymbols()
269 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in checkBeginFunction()508 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in diagnoseMissingReleases()866 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in removeValueRequiringRelease()
137 TaintedSubRegions::Factory &F = State->get_context<TaintedSubRegions>(); in addPartialTaint()
189 DivZeroMapTy::Factory &F = State->get_context<DivZeroMap>(); in checkEndFunction()
864 auto &F = State->getStateManager().get_context<ArgIdxFactory>(); in process()981 auto &F = State->getStateManager().get_context<ArgIdxFactory>(); in taintUnsafeSocketProtocol()
892 auto &RegionMapFactory = State->get_context<IteratorRegionMap>(); in processIteratorPositions()905 auto &SymbolMapFactory = State->get_context<IteratorSymbolMap>(); in processIteratorPositions()
578 State->get_context<TrackedRegionMap>(); in checkRegionChanges()
2446 CStringLengthTy::Factory &F = state->get_context<CStringLength>(); in checkRegionChanges()2495 CStringLengthTy::Factory &F = state->get_context<CStringLength>(); in checkDeadSymbols()
2806 RegionStateTy::Factory &F = state->get_context<RegionState>(); in checkDeadSymbols()
1166 RefBindingsTy::Factory &RefBFactory = state->get_context<RefBindings>(); in evalAssume()1446 RefBindingsTy::Factory &F = state->get_context<RefBindings>(); in checkDeadSymbols()
3519 inline isl::set get_context() const;3686 inline isl::set get_context() const;17327 isl::set schedule_constraints::get_context() const in get_context() function18047 isl::set schedule_node_context::get_context() const in get_context() function