Searched refs:ProgramState (Results 1 – 7 of 7) sorted by relevance
36 ProgramState *s = const_cast<ProgramState*>(state); in ProgramStateRelease()40 s->~ProgramState(); in ProgramStateRelease()46 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env, in ProgramState() function in ProgramState56 ProgramState::ProgramState(const ProgramState &RHS) in ProgramState() function in ProgramState66 ProgramState::~ProgramState() { in ~ProgramState()104 ProgramState NewState = *state; in removeDeadBindingsFromEnvironmentAndStore()316 ProgramState NewSt = *this; in BindExpr()392 ProgramState State(this, in getInitialState()423 newState = (ProgramState*) Alloc.Allocate<ProgramState>(); in getPersistentState()431 ProgramState NewSt(*this); in makeWithStore()[all …]
2701 const ProgramState *state = N->getState().get(); in patternMatch()2707 const ProgramState *state = N->getState().get(); in patternMatch()
72 class ProgramState : public llvm::FoldingSetNode {78 void operator=(const ProgramState& R) = delete;103 ProgramState(const ProgramState &RHS);105 ~ProgramState();464 friend class ProgramState; variable481 llvm::FoldingSet<ProgramState> StateSet;493 std::vector<ProgramState *> freeStates;765 inline SVal ProgramState::getSVal(const Stmt *Ex, in getSVal()772 ProgramState::getSValAsScalarOrLoc(const Stmt *S, in getSValAsScalarOrLoc()824 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;
93 class ProgramState; variable
49 const Expr *Ex, const ProgramState *state,59 const ProgramState *state, in AddDerefSource()
688 SRCS_FUL+= StaticAnalyzer/Core/ProgramState.cpp