HomeSort by relevance Sort by last modified time
    Searched defs:ProgramStateManager (Results 1 - 10 of 10) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 10 // This file implements ProgramState and ProgramStateManager.
37 ProgramStateManager &Mgr = s->getStateManager();
45 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env,
70 ProgramStateManager::ProgramStateManager(ASTContext &Ctx,
83 ProgramStateManager::~ProgramStateManager() {
90 ProgramStateManager::removeDeadBindings(ProgramStateRef state,
115 ProgramStateManager &Mgr = getStateManager();
126 ProgramStateManager &Mgr = getStateManager()
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 44 ProgramStateManager &, SubEngine *);
46 ProgramStateManager &);
82 friend class ProgramStateManager;
86 ProgramStateManager *stateMgr;
100 ProgramState(ProgramStateManager *mgr, const Environment& env,
109 /// Return the ProgramStateManager associated with this state.
110 ProgramStateManager &getStateManager() const {
154 // are managed using the ConstraintManager associated with a ProgramStateManager.
442 // ProgramStateManager - Factory object for ProgramStates.
445 class ProgramStateManager {
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 43 ProgramStateManager &, SubEngine *);
45 ProgramStateManager &);
81 friend class ProgramStateManager;
85 ProgramStateManager *stateMgr;
99 ProgramState(ProgramStateManager *mgr, const Environment& env,
108 /// Return the ProgramStateManager associated with this state.
109 ProgramStateManager &getStateManager() const {
153 // are managed using the ConstraintManager associated with a ProgramStateManager.
441 // ProgramStateManager - Factory object for ProgramStates.
444 class ProgramStateManager {
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 43 ProgramStateManager &, SubEngine *);
45 ProgramStateManager &);
81 friend class ProgramStateManager;
85 ProgramStateManager *stateMgr;
99 ProgramState(ProgramStateManager *mgr, const Environment& env,
108 /// Return the ProgramStateManager associated with this state.
109 ProgramStateManager &getStateManager() const {
153 // are managed using the ConstraintManager associated with a ProgramStateManager.
441 // ProgramStateManager - Factory object for ProgramStates.
444 class ProgramStateManager {
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 43 ProgramStateManager &, SubEngine *);
45 ProgramStateManager &);
81 friend class ProgramStateManager;
85 ProgramStateManager *stateMgr;
99 ProgramState(ProgramStateManager *mgr, const Environment& env,
108 /// Return the ProgramStateManager associated with this state.
109 ProgramStateManager &getStateManager() const {
153 // are managed using the ConstraintManager associated with a ProgramStateManager.
441 // ProgramStateManager - Factory object for ProgramStates.
444 class ProgramStateManager {
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 43 ProgramStateManager &, SubEngine *);
45 ProgramStateManager &);
81 friend class ProgramStateManager;
85 ProgramStateManager *stateMgr;
99 ProgramState(ProgramStateManager *mgr, const Environment& env,
108 /// Return the ProgramStateManager associated with this state.
109 ProgramStateManager &getStateManager() const {
153 // are managed using the ConstraintManager associated with a ProgramStateManager.
441 // ProgramStateManager - Factory object for ProgramStates.
444 class ProgramStateManager {
    [all...]
  /prebuilts/clang/host/linux-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 43 ProgramStateManager &, SubEngine *);
45 ProgramStateManager &);
81 friend class ProgramStateManager;
85 ProgramStateManager *stateMgr;
99 ProgramState(ProgramStateManager *mgr, const Environment& env,
108 /// Return the ProgramStateManager associated with this state.
109 ProgramStateManager &getStateManager() const {
153 // are managed using the ConstraintManager associated with a ProgramStateManager.
441 // ProgramStateManager - Factory object for ProgramStates.
444 class ProgramStateManager {
    [all...]
  /prebuilts/clang/host/linux-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 43 ProgramStateManager &, SubEngine *);
45 ProgramStateManager &);
81 friend class ProgramStateManager;
85 ProgramStateManager *stateMgr;
99 ProgramState(ProgramStateManager *mgr, const Environment& env,
108 /// Return the ProgramStateManager associated with this state.
109 ProgramStateManager &getStateManager() const {
153 // are managed using the ConstraintManager associated with a ProgramStateManager.
441 // ProgramStateManager - Factory object for ProgramStates.
444 class ProgramStateManager {
    [all...]
  /prebuilts/clang/host/linux-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 43 ProgramStateManager &, SubEngine *);
45 ProgramStateManager &);
81 friend class ProgramStateManager;
85 ProgramStateManager *stateMgr;
99 ProgramState(ProgramStateManager *mgr, const Environment& env,
108 /// Return the ProgramStateManager associated with this state.
109 ProgramStateManager &getStateManager() const {
153 // are managed using the ConstraintManager associated with a ProgramStateManager.
441 // ProgramStateManager - Factory object for ProgramStates.
444 class ProgramStateManager {
    [all...]
  /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h 43 ProgramStateManager &, SubEngine *);
45 ProgramStateManager &);
81 friend class ProgramStateManager;
85 ProgramStateManager *stateMgr;
99 ProgramState(ProgramStateManager *mgr, const Environment& env,
108 /// Return the ProgramStateManager associated with this state.
109 ProgramStateManager &getStateManager() const {
153 // are managed using the ConstraintManager associated with a ProgramStateManager.
441 // ProgramStateManager - Factory object for ProgramStates.
444 class ProgramStateManager {
    [all...]

Completed in 118 milliseconds