Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp30 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 ProgramState
57 ProgramState::ProgramState(const ProgramState &RHS) in ProgramState() function in ProgramState
63 ProgramState::~ProgramState() { in ~ProgramState()
68 int64_t ProgramState::getID() const { in getID()
69 return getStateManager().Alloc.identifyKnownAlignedObject<ProgramState>(this); in getID()
[all …]
H A DBugReporterVisitors.cpp2989 const ProgramState *state = N->getState().get(); in patternMatch()
2995 const ProgramState *state = N->getState().get(); in patternMatch()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h71 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; variable
507 friend void ProgramStateRelease(const ProgramState *state);
[all …]
H A DProgramState_Fwd.h17 class ProgramState; variable
19 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;
H A DExprEngine.h90 class ProgramState; variable
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DDereferenceChecker.cpp54 const Expr *Ex, const ProgramState *state,
66 const ProgramState *state, in AddDerefSource()
/freebsd/lib/clang/libclang/
H A DMakefile817 SRCS_FUL+= StaticAnalyzer/Core/ProgramState.cpp