Searched defs:ProgramState (Results 1 - 2 of 2) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp1 //= ProgramState.cpp - Path-Sensitive "State" for tracking values --*- C++ -*--=
10 // This file implements ProgramState and ProgramStateManager.
14 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
28 void ProgramStateRetain(const ProgramState *state) {
29 ++const_cast<ProgramState*>(state)->refCount;
33 void ProgramStateRelease(const ProgramState *state) {
35 ProgramState *s = const_cast<ProgramState*>(state);
39 s->~ProgramState();
45 ProgramState function in class:ProgramState
55 ProgramState::ProgramState(const ProgramState &RHS) function in class:ProgramState
[all...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h1 //== ProgramState.h - Path-sensitive "State" for tracking values -*- C++ -*--=//
48 // ProgramStateTrait - Traits used by the Generic Data Map of a ProgramState.
61 /// \class ProgramState
62 /// ProgramState - This class encapsulates:
70 /// ProgramState is intended to be used as a functional object; that is,
73 class ProgramState : public llvm::FoldingSetNode { class in namespace:clang::ento
79 void operator=(const ProgramState& R) = delete;
91 /// makeWithStore - Return a ProgramState with the same values as the current
98 /// This ctor is used when creating the first ProgramState object.
99 ProgramState(ProgramStateManage
[all...]

Completed in 25 milliseconds