Searched refs:ProgramState (Results 1 - 11 of 11) sorted by relevance

/freebsd-10.2-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState_Fwd.h1 //== ProgramState_Fwd.h - Incomplete declarations of ProgramState -*- C++ -*--=/
18 class ProgramState;
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;
H A DProgramState.h1 //== ProgramState.h - Path-sensitive "State" for tracking values -*- C++ -*--=//
47 // ProgramStateTrait - Traits used by the Generic Data Map of a ProgramState.
60 /// \class ProgramState
61 /// ProgramState - This class encapsulates:
69 /// ProgramState is intended to be used as a functional object; that is,
72 class ProgramState : public llvm::FoldingSetNode { class in namespace:clang::ento
78 void operator=(const ProgramState& R) LLVM_DELETED_FUNCTION;
90 /// makeWithStore - Return a ProgramState with the same values as the current
97 /// This ctor is used when creating the first ProgramState object.
98 ProgramState(ProgramStateManage
[all...]
H A DSubEngine.h33 class ProgramState;
H A DStore.h34 class ProgramState;
67 /// \return A pointer to a ProgramState object that contains the same
H A DSVals.h33 class ProgramState;
/freebsd-10.2-release/contrib/llvm/tools/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...]
H A DBugReporterVisitors.cpp22 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
1286 const ProgramState *state = N->getState().getPtr();
1292 const ProgramState *state = N->getState().getPtr();
1447 const ProgramState *state = N->getState().getPtr();
1491 const ProgramState *state = N->getState().getPtr();
H A DBugReporter.cpp1244 const ProgramState *State,
1276 const ProgramState *State,
/freebsd-10.2-release/lib/clang/libclangstaticanalyzercore/
H A DMakefile36 ProgramState.cpp \
/freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DDereferenceChecker.cpp45 const Expr *Ex, const ProgramState *state,
55 const ProgramState *state,
/freebsd-10.2-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/
H A DCheckerManager.h42 class ProgramState;
395 /// \brief Run checkers for debug-printing a ProgramState.

Completed in 190 milliseconds