A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from https://clang.llvm.org/doxygen/classclang_1_1ento_1_1ProgramStateManager.html below:

clang: clang::ento::ProgramStateManager Class Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"

  ProgramStateManager (ASTContext &Ctx, StoreManagerCreator CreateStoreManager, ConstraintManagerCreator CreateConstraintManager, llvm::BumpPtrAllocator &alloc, ExprEngine *expreng)     ~ProgramStateManager ()   ProgramStateRef  getInitialState (const LocationContext *InitLoc)   ASTContext &  getContext ()   const ASTContext &  getContext () const   BasicValueFactory &  getBasicVals ()   SValBuilder &  getSValBuilder ()   const SValBuilder &  getSValBuilder () const   SymbolManager &  getSymbolManager ()   const SymbolManager &  getSymbolManager () const   llvm::BumpPtrAllocator &  getAllocator ()   MemRegionManager &  getRegionManager ()   const MemRegionManager &  getRegionManager () const   CallEventManager &  getCallEventManager ()   StoreManager &  getStoreManager ()   ConstraintManager &  getConstraintManager ()   ExprEngine &  getOwningEngine ()   ProgramStateRef  removeDeadBindingsFromEnvironmentAndStore (ProgramStateRef St, const StackFrameContext *LCtx, SymbolReaper &SymReaper)   SVal  ArrayToPointer (Loc Array, QualType ElementTy)   ProgramStateRef  addGDM (ProgramStateRef St, void *Key, void *Data)   ProgramStateRef  removeGDM (ProgramStateRef state, void *Key)   void  iterBindings (ProgramStateRef state, StoreManager::BindingsHandler &F)   ProgramStateRef  getPersistentState (ProgramState &Impl)   ProgramStateRef  getPersistentStateWithGDM (ProgramStateRef FromState, ProgramStateRef GDMState)   bool  haveEqualConstraints (ProgramStateRef S1, ProgramStateRef S2) const   bool  haveEqualEnvironments (ProgramStateRef S1, ProgramStateRef S2) const   bool  haveEqualStores (ProgramStateRef S1, ProgramStateRef S2) const   template<typename T > ProgramStateRef  set (ProgramStateRef st, typename ProgramStateTrait< T >::data_type D)   template<typename T > ProgramStateRef  set (ProgramStateRef st, typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::value_type V, typename ProgramStateTrait< T >::context_type C)   template<typename T > ProgramStateRef  add (ProgramStateRef st, typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::context_type C)   template<typename T > ProgramStateRef  remove (ProgramStateRef st, typename ProgramStateTrait< T >::key_type K, typename ProgramStateTrait< T >::context_type C)   template<typename T > ProgramStateRef  remove (ProgramStateRef st)   void *  FindGDMContext (void *index, void *(*CreateContext)(llvm::BumpPtrAllocator &), void(*DeleteContext)(void *))   template<typename T > ProgramStateTrait< T >::context_type  get_context ()  

Definition at line 497 of file ProgramState.h.

◆ ProgramStateManager() ◆ ~ProgramStateManager() ProgramStateManager::~ProgramStateManager ( ) ◆ add() ◆ addGDM() ◆ ArrayToPointer() ◆ FindGDMContext() void * ProgramStateManager::FindGDMContext ( void *  index, void *(*)(llvm::BumpPtrAllocator &)  CreateContext, void(*)(void *)  DeleteContext  ) ◆ get_context() ◆ getAllocator() llvm::BumpPtrAllocator & clang::ento::ProgramStateManager::getAllocator ( ) inline

Definition at line 562 of file ProgramState.h.

◆ getBasicVals() ◆ getCallEventManager()

Definition at line 571 of file ProgramState.h.

Referenced by clang::ento::ExprEngine::computeObjectUnderConstruction(), clang::ento::ExprEngine::processCallExit(), clang::ento::ExprEngine::VisitCallExpr(), clang::ento::ExprEngine::VisitCXXDeleteExpr(), clang::ento::ExprEngine::VisitCXXDestructor(), clang::ento::ExprEngine::VisitCXXNewAllocatorCall(), clang::ento::ExprEngine::VisitCXXNewExpr(), clang::ento::NoStateChangeFuncVisitor::VisitNode(), clang::ento::UndefOrNullArgVisitor::VisitNode(), clang::ento::retaincountchecker::RefCountReportVisitor::VisitNode(), and clang::ento::ExprEngine::VisitObjCMessage().

◆ getConstraintManager() ◆ getContext() [1/2] ASTContext & clang::ento::ProgramStateManager::getContext ( ) inline ◆ getContext() [2/2] ◆ getInitialState() ◆ getOwningEngine() ExprEngine & clang::ento::ProgramStateManager::getOwningEngine ( ) inline ◆ getPersistentState() ◆ getPersistentStateWithGDM() ◆ getRegionManager() [1/2] ◆ getRegionManager() [2/2] ◆ getStoreManager() StoreManager & clang::ento::ProgramStateManager::getStoreManager ( ) inline ◆ getSValBuilder() [1/2] SValBuilder & clang::ento::ProgramStateManager::getSValBuilder ( ) inline ◆ getSValBuilder() [2/2] ◆ getSymbolManager() [1/2] SymbolManager & clang::ento::ProgramStateManager::getSymbolManager ( ) inline ◆ getSymbolManager() [2/2] ◆ haveEqualConstraints() ◆ haveEqualEnvironments() ◆ haveEqualStores() ◆ iterBindings() ◆ remove() [1/2] ◆ remove() [2/2] ◆ removeDeadBindingsFromEnvironmentAndStore() ◆ removeGDM() ◆ set() [1/2] ◆ set() [2/2] ◆ ProgramState ◆ ProgramStateRelease

Decrement the number of times this state is referenced.

Definition at line 35 of file ProgramState.cpp.

The documentation for this class was generated from the following files:

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4