Searched refs:ProgramState (Results 1 – 9 of 9) sorted by relevance
1 //= ProgramState.cpp - Path-Sensitive "State" for tracking values --*- C++ -*--=9 // This file implements ProgramState and ProgramStateManager.13 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"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 function in ProgramState 57 ProgramState::ProgramState(const ProgramState &RHS) ProgramState() function in ProgramState [all...]
58 const ProgramState *RawSt = State.get(); in assumeDualImpl()
43 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"2989 const ProgramState *state = N->getState().get(); in patternMatch() 2995 const ProgramState *state = N->getState().get(); in patternMatch()
1 //== ProgramState.h - Path-sensitive "State" for tracking values -*- C++ -*--=//48 // ProgramStateTrait - Traits used by the Generic Data Map of a ProgramState.59 /// \class ProgramState60 /// ProgramState - This class encapsulates:68 /// ProgramState is intended to be used as a functional object; that is,71 class ProgramState : public llvm::FoldingSetNode {77 void operator=(const ProgramState& R) = delete;127 /// makeWithStore - Return a ProgramState with the same values as the current134 /// This ctor is used when creating the first ProgramState object.135 ProgramState(ProgramStateManage504 friend class ProgramState; global() variable [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;
30 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"90 class ProgramState; variable
54 const Expr *Ex, const ProgramState *state,66 const ProgramState *state, in AddDerefSource()
800 SRCS_FUL+= StaticAnalyzer/Core/ProgramState.cpp