Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DProgramState.cpp37 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
67 ProgramState::~ProgramState() { in ~ProgramState()
106 ProgramState NewState = *state; in removeDeadBindings()
312 ProgramState NewSt = *this; in BindExpr()
388 ProgramState State(this, in getInitialState()
419 newState = (ProgramState*) Alloc.Allocate<ProgramState>(); in getPersistentState()
427 ProgramState NewSt(*this); in makeWithStore()
[all …]
H A DBugReporterVisitors.cpp2024 const ProgramState *state = N->getState().get(); in patternMatch()
2030 const ProgramState *state = N->getState().get(); in patternMatch()
2175 const ProgramState *state = N->getState().get(); in VisitConditionVariable()
2214 const ProgramState *state = N->getState().get(); in VisitTrueTest()
H A DBugReporter.cpp834 const ProgramState *State, in reversePropagateIntererstingSymbols()
864 const ProgramState *State, in reversePropagateInterestingSymbols()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h75 class ProgramState : public llvm::FoldingSetNode {
81 void operator=(const ProgramState& R) = delete;
106 ProgramState(const ProgramState &RHS);
108 ~ProgramState();
492 friend class ProgramState; variable
510 llvm::FoldingSet<ProgramState> StateSet;
522 std::vector<ProgramState *> freeStates;
789 inline SVal ProgramState::getSVal(const Stmt *Ex, in getSVal()
796 ProgramState::getSValAsScalarOrLoc(const Stmt *S, in getSValAsScalarOrLoc()
848 ProgramStateRef ProgramState::remove() const { in remove()
[all …]
H A 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;
H A DSubEngine.h37 class ProgramState; variable
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DDereferenceChecker.cpp46 const Expr *Ex, const ProgramState *state,
56 const ProgramState *state, in AddDerefSource()
/freebsd-12.1/lib/clang/libclang/
H A DMakefile603 SRCS_FUL+= StaticAnalyzer/Core/ProgramState.cpp