Searched refs:ProgramState (Results 1 – 9 of 9) sorted by relevance
30 void ProgramStateRetain(const ProgramState *state) { in ProgramStateRetain()31 ++const_cast<ProgramState*>(state)->refCount; in ProgramStateRetain()35 void ProgramStateRelease(const ProgramState *state) { in ProgramStateRelease()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()68 int64_t ProgramState::getID() const { in getID()69 return getStateManager().Alloc.identifyKnownAlignedObject<ProgramState>(this); in getID()[all …]
58 const ProgramState *RawSt = State.get(); in assumeDualImpl()
2989 const ProgramState *state = N->getState().get(); in patternMatch()2995 const ProgramState *state = N->getState().get(); in patternMatch()
71 class ProgramState : public llvm::FoldingSetNode {77 void operator=(const ProgramState& R) = delete;135 ProgramState(ProgramStateManager *mgr, const Environment& env,140 ProgramState(const ProgramState &RHS);142 ~ProgramState();173 static void Profile(llvm::FoldingSetNodeID& ID, const ProgramState *V) { in Profile()484 friend void ProgramStateRetain(const ProgramState *state);485 friend void ProgramStateRelease(const ProgramState *state);506 friend class ProgramState; variable507 friend void ProgramStateRelease(const ProgramState *state);[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
54 const Expr *Ex, const ProgramState *state,66 const ProgramState *state, in AddDerefSource()
821 SRCS_FUL+= StaticAnalyzer/Core/ProgramState.cpp