HomeSort by: relevance | last modified time | path
    Searched refs:ProgramState (Results 1 - 7 of 7) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState_Fwd.h 1 //== ProgramState_Fwd.h - Incomplete declarations of ProgramState -*- C++ -*--=/
17 class ProgramState;
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;
ProgramState.h 1 //== 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 {
78 void operator=(const ProgramState& R) = delete;
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(ProgramStateManager *mgr, const Environment& env
    [all...]
ExprEngine.h 30 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
93 class ProgramState;
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 1 //= ProgramState.cpp - Path-Sensitive "State" for tracking values --*- C++ -*--=
9 // This file implements ProgramState and ProgramStateManager.
13 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
29 void ProgramStateRetain(const ProgramState *state) {
30 ++const_cast<ProgramState*>(state)->refCount;
34 void ProgramStateRelease(const ProgramState *state) {
36 ProgramState *s = const_cast<ProgramState*>(state);
40 s->~ProgramState();
46 ProgramState::ProgramState(ProgramStateManager *mgr, const Environment& env
    [all...]
  /src/external/apache2/llvm/lib/libclangStaticAnalyzerCore/
Makefile 40 ProgramState.cpp \
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
DereferenceChecker.cpp 49 const Expr *Ex, const ProgramState *state,
59 const ProgramState *state,
  /src/external/apache2/llvm/dist/clang/utils/analyzer/
exploded-graph-rewriter.py 261 class ProgramState:
263 logging.debug('Adding ProgramState ' + str(state_id))
316 self.state = ProgramState(json_node['state_id'],

Completed in 105 milliseconds