Searched refs:ProgramState (Results 1 – 9 of 9) sorted by relevance
37 ProgramState *s = const_cast<ProgramState*>(state); in ProgramStateRelease()41 s->~ProgramState(); in ProgramStateRelease()47 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env, in ProgramState() function in ProgramState57 ProgramState::ProgramState(const ProgramState &RHS) in ProgramState() function in ProgramState63 ProgramState::~ProgramState() { in ~ProgramState()101 ProgramState NewState = *state; in removeDeadBindingsFromEnvironmentAndStore()310 ProgramState NewSt = *this; in BindExpr()395 ProgramState State(this, in getInitialState()434 ProgramState NewSt(*this); in makeWithStore()440 ProgramState NewSt(*this); in cloneAsPosteriorlyOverconstrained()[all …]
58 const ProgramState *RawSt = State.get(); in assumeDualImpl()
2975 const ProgramState *state = N->getState().get(); in patternMatch()2981 const ProgramState *state = N->getState().get(); in patternMatch()
71 class ProgramState : public llvm::FoldingSetNode {77 void operator=(const ProgramState& R) = delete;140 ProgramState(const ProgramState &RHS);142 ~ProgramState();504 friend class ProgramState; variable521 llvm::FoldingSet<ProgramState> StateSet;533 std::vector<ProgramState *> freeStates;805 inline SVal ProgramState::getSVal(const Stmt *Ex, in getSVal()812 ProgramState::getSValAsScalarOrLoc(const Stmt *S, in getSValAsScalarOrLoc()864 ProgramStateRef ProgramState::remove() const { in remove()[all …]
17 class ProgramState; variable19 void ProgramStateRetain(const ProgramState *state);20 void ProgramStateRelease(const ProgramState *state);25 template <> struct IntrusiveRefCntPtrInfo<const clang::ento::ProgramState> {26 static void retain(const clang::ento::ProgramState *state) {29 static void release(const clang::ento::ProgramState *state) {37 typedef IntrusiveRefCntPtr<const ProgramState> ProgramStateRef;
151 void push(const ProgramState *S) { Aux.push_back(S); } in push()153 bool contains(const ProgramState *S) const { in contains()158 llvm::SmallVector<const ProgramState *, 4> Aux;
90 class ProgramState; variable
52 const Expr *Ex, const ProgramState *state,64 const ProgramState *state, in AddDerefSource()
770 SRCS_FUL+= StaticAnalyzer/Core/ProgramState.cpp