Searched refs:ProgramState (Results 1 – 16 of 16) sorted by relevance
| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| D | ProgramState.cpp | 30 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 …]
|
| D | CMakeLists.txt | 39 ProgramState.cpp
|
| D | ConstraintManager.cpp | 58 const ProgramState *RawSt = State.get(); in assumeDualImpl()
|
| D | BugReporterVisitors.cpp | 2957 const ProgramState *state = N->getState().get(); in patternMatch()
2963 const ProgramState *state = N->getState().get(); in patternMatch()
|
| /openbsd/src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 71 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);
504 friend class ProgramState; variable
505 friend void ProgramStateRelease(const ProgramState *state);
[all …]
|
| D | ProgramState_Fwd.h | 17 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;
|
| D | ConstraintManager.h | 135 void push(const ProgramState *S) { Aux.push_back(S); } in push()
137 bool contains(const ProgramState *S) const { in contains()
142 llvm::SmallVector<const ProgramState *, 4> Aux;
|
| D | ExprEngine.h | 90 class ProgramState; variable
|
| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/ |
| D | README.txt | 23 (ProgramState). A location in the program is called a program point
42 recorded in the ProgramState object (and are manipulated by the
52 ProgramState and ExplodedNodes are basically immutable once created. Once
53 one creates a ProgramState, you need to create a new one to get a new
54 ProgramState. This immutability is key since the ExplodedGraph represents
65 ProgramState and ExplodedNode which contains updated checker state. If it
|
| /openbsd/src/gnu/llvm/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/ |
| D | BUILD.gn | 48 "ProgramState.cpp",
|
| /openbsd/src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| D | DereferenceChecker.cpp | 52 const Expr *Ex, const ProgramState *state,
64 const ProgramState *state, in AddDerefSource()
|
| /openbsd/src/gnu/llvm/clang/docs/analyzer/developer-docs/ |
| D | IPA.rst | 232 data that is stored in ProgramState, which defines a mapping from MemRegions to
258 ProgramState to attempt to devirtualize the call. In the case of no dynamic
303 RuntimeDefinition object) with a path-sensitive "mode" in the ProgramState.
394 there is no inherent issue with persisting them (say, in a ProgramState's GDM),
|
| D | DebugChecks.rst | 234 Dumps the current ProgramState to the stderr. Quickly lookup the program state
236 This is not very useful for writing tests (apart from testing how ProgramState
|
| D | RegionStore.rst | 5 functional data structure stored in each ``ProgramState``; the only class that
|
| D | InitializerLists.rst | 53 Approach (1): If only we enabled ``ProgramState::bindLoc(..., notifyChanges=true)``
|
| /openbsd/src/gnu/llvm/clang/utils/analyzer/ |
| D | exploded-graph-rewriter.py | 261 class ProgramState: class
347 self.state = ProgramState(json_node['state_id'],
|