Searched refs:ProgramState (Results 1 – 11 of 11) sorted by relevance
| /trueos/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| HD | ProgramState.cpp | 28 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 …]
|
| HD | BugReporterVisitors.cpp | 1286 const ProgramState *state = N->getState().getPtr(); in patternMatch()
1292 const ProgramState *state = N->getState().getPtr(); in patternMatch()
1447 const ProgramState *state = N->getState().getPtr(); in VisitConditionVariable()
1491 const ProgramState *state = N->getState().getPtr(); in VisitTrueTest()
|
| HD | BugReporter.cpp | 1244 const ProgramState *State, in reversePropagateIntererstingSymbols()
1276 const ProgramState *State, in reversePropagateInterestingSymbols()
|
| /trueos/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| HD | ProgramState.h | 72 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()
417 friend void ProgramStateRetain(const ProgramState *state);
418 friend void ProgramStateRelease(const ProgramState *state);
437 friend class ProgramState; variable
438 friend void ProgramStateRelease(const ProgramState *state);
[all …]
|
| HD | ProgramState_Fwd.h | 18 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;
|
| HD | SubEngine.h | 33 class ProgramState; variable
|
| HD | Store.h | 34 class ProgramState; variable
|
| HD | SVals.h | 33 class ProgramState; variable
|
| /trueos/lib/clang/libclangstaticanalyzercore/ |
| HD | Makefile | 36 ProgramState.cpp \
|
| /trueos/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| HD | DereferenceChecker.cpp | 45 const Expr *Ex, const ProgramState *state,
55 const ProgramState *state, in AddDerefSource()
|
| /trueos/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/ |
| HD | CheckerManager.h | 42 class ProgramState; variable
|