Cross Reference: /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h

Lines Matching refs:ProgramStateRef
92   ProgramStateRef makeWithStore(const StoreRef &store) const;
173   ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const;
178   std::pair<ProgramStateRef , ProgramStateRef >
181   ProgramStateRef assumeInBound(DefinedOrUnknownSVal idx,
197   ProgramStateRef bindCompoundLiteral(const CompoundLiteralExpr *CL,
203   ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx,
208   ProgramStateRef bindExprAndLocation(const Stmt *S,
212   ProgramStateRef bindLoc(Loc location,
216   ProgramStateRef bindLoc(SVal location, SVal V) const;
218   ProgramStateRef bindDefault(SVal loc, SVal V) const;
220   ProgramStateRef killBinding(Loc LV) const;
225   ProgramStateRef invalidateRegions(ArrayRef<const MemRegion *> Regions,
233   ProgramStateRef enterStackFrame(const CallEvent &Call,
302   ProgramStateRef addTaint(const Stmt *S, const LocationContext *LCtx,
306   ProgramStateRef addTaint(SymbolRef S,
310   ProgramStateRef addTaint(const MemRegion *R,
324   ProgramStateRef setDynamicTypeInfo(const MemRegion *Reg,
328   ProgramStateRef setDynamicTypeInfo(const MemRegion *Reg,
341   ProgramStateRef add(typename ProgramStateTrait<T>::key_type K) const;
361   ProgramStateRef remove(typename ProgramStateTrait<T>::key_type K) const;
364   ProgramStateRef remove(typename ProgramStateTrait<T>::key_type K,
367   ProgramStateRef remove() const;
370   ProgramStateRef set(typename ProgramStateTrait<T>::data_type D) const;
373   ProgramStateRef set(typename ProgramStateTrait<T>::key_type K,
377   ProgramStateRef set(typename ProgramStateTrait<T>::key_type K,
401   ProgramStateRef 
454   ProgramStateRef getInitialState(const LocationContext *InitLoc);
492   ProgramStateRef removeDeadBindings(ProgramStateRef St,
503   ProgramStateRef addGDM(ProgramStateRef St, void *Key, void *Data);
504   ProgramStateRef removeGDM(ProgramStateRef state, void *Key);
508   void iterBindings(ProgramStateRef state, StoreManager::BindingsHandler& F) {
512   ProgramStateRef getPersistentState(ProgramState &Impl);
513   ProgramStateRef getPersistentStateWithGDM(ProgramStateRef FromState,
514                                            ProgramStateRef GDMState);
516   bool haveEqualEnvironments(ProgramStateRef S1, ProgramStateRef S2) {
520   bool haveEqualStores(ProgramStateRef S1, ProgramStateRef S2) {
544   ProgramStateRef set(ProgramStateRef st, typename ProgramStateTrait<T>::data_type D) {
550   ProgramStateRef set(ProgramStateRef st,
560   ProgramStateRef add(ProgramStateRef st,
568   ProgramStateRef remove(ProgramStateRef st,
577   ProgramStateRef remove(ProgramStateRef st) {
594   void EndPath(ProgramStateRef St) {
614 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond,
623 inline std::pair<ProgramStateRef , ProgramStateRef >
632 inline ProgramStateRef ProgramState::bindLoc(SVal LV, SVal V) const {
709 ProgramStateRef ProgramState::add(typename ProgramStateTrait<T>::key_type K) const {
719 ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K) const {
724 ProgramStateRef ProgramState::remove(typename ProgramStateTrait<T>::key_type K,
730 ProgramStateRef ProgramState::remove() const {
735 ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::data_type D) const {
740 ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::key_type K,
746 ProgramStateRef ProgramState::set(typename ProgramStateTrait<T>::key_type K,
781   ProgramStateRef state;
785   ScanReachableSymbols(ProgramStateRef st, SymbolVisitor& v)