Home
last modified time | relevance | path

Searched refs:ProgramState (Results 1 – 15 of 15) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DProgramState.cpp28 void ProgramStateRetain(const ProgramState *state) { in ProgramStateRetain()
29 ++const_cast<ProgramState*>(state)->refCount; in ProgramStateRetain()
33 void ProgramStateRelease(const ProgramState *state) { in ProgramStateRelease()
35 ProgramState *s = const_cast<ProgramState*>(state); in ProgramStateRelease()
39 s->~ProgramState(); in ProgramStateRelease()
45 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env, in ProgramState() function in ProgramState
55 ProgramState::ProgramState(const ProgramState &RHS) in ProgramState() function in ProgramState
65 ProgramState::~ProgramState() { in ~ProgramState()
100 ProgramState NewState = *state; in removeDeadBindings()
114 ProgramStateRef ProgramState::bindLoc(Loc LV, SVal V, bool notifyChanges) const { in bindLoc()
[all …]
DCMakeLists.txt31 ProgramState.cpp
DAndroid.mk40 ProgramState.cpp \
DBugReporterVisitors.cpp1286 const ProgramState *state = N->getState().getPtr(); in patternMatch()
1292 const ProgramState *state = N->getState().getPtr(); in patternMatch()
1446 const ProgramState *state = N->getState().getPtr(); in VisitConditionVariable()
1490 const ProgramState *state = N->getState().getPtr(); in VisitTrueTest()
DBugReporter.cpp1209 const ProgramState *State, in reversePropagateIntererstingSymbols()
1241 const ProgramState *State, in reversePropagateInterestingSymbols()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DProgramState_Fwd.h18 class ProgramState; variable
20 void ProgramStateRetain(const ProgramState *state);
21 void ProgramStateRelease(const ProgramState *state);
26 template <> struct IntrusiveRefCntPtrInfo<const clang::ento::ProgramState> {
27 static void retain(const clang::ento::ProgramState *state) {
30 static void release(const clang::ento::ProgramState *state) {
38 typedef IntrusiveRefCntPtr<const ProgramState> ProgramStateRef;
DProgramState.h72 class ProgramState : public llvm::FoldingSetNode {
78 void operator=(const ProgramState& R) LLVM_DELETED_FUNCTION;
98 ProgramState(ProgramStateManager *mgr, const Environment& env,
103 ProgramState(const ProgramState &RHS);
105 ~ProgramState();
132 static void Profile(llvm::FoldingSetNodeID& ID, const ProgramState *V) { in Profile()
418 friend void ProgramStateRetain(const ProgramState *state);
419 friend void ProgramStateRelease(const ProgramState *state);
438 friend class ProgramState; variable
439 friend void ProgramStateRelease(const ProgramState *state);
[all …]
DSubEngine.h33 class ProgramState; variable
DStore.h34 class ProgramState; variable
DSVals.h33 class ProgramState; variable
/external/clang/lib/StaticAnalyzer/
DREADME.txt23 (ProgramState). A location in the program is called a program point
42 recorded in the ProgramState object (and are manipulated by the
52 ProgramState and ExplodedNodes are basically immutable once created. Once
53 one creates a ProgramState, you need to create a new one to get a new
54 ProgramState. This immutability is key since the ExplodedGraph represents
65 ProgramState and ExplodedNode which contains updated checker state. If it
/external/clang/lib/StaticAnalyzer/Checkers/
DDereferenceChecker.cpp45 const Expr *Ex, const ProgramState *state,
55 const ProgramState *state, in AddDerefSource()
/external/clang/docs/analyzer/
DIPA.txt224 data that is stored in ProgramState, which defines a mapping from MemRegions to
249 ProgramState to attempt to devirtualize the call. In the case of no dynamic
293 RuntimeDefinition object) with a path-sensitive "mode" in the ProgramState.
384 there is no inherent issue with persisting them (say, in a ProgramState's GDM),
DRegionStore.txt2 functional data structure stored in each ProgramState; the only class that can
/external/clang/include/clang/StaticAnalyzer/Core/
DCheckerManager.h43 class ProgramState; variable