10 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATE_FWD_H 11 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_PROGRAMSTATE_FWD_H 14 #include "llvm/ADT/IntrusiveRefCntPtr.h" 19 class ProgramStateManager;
DominatorTree GraphTraits specialization so the DominatorTree can be iterable by generic graph iterat...
IntrusiveRefCntPtr< const ProgramState > ProgramStateRef
i32 captured_struct **param SharedsTy A type which contains references the shared variables *param Shareds Context with the list of shared variables from the p *TaskFunction *param Data Additional data for task generation like final * state
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified...
ProgramState - This class encapsulates:
Dataflow Directional Tag Classes.
void ProgramStateRelease(const ProgramState *state)
Decrement the number of times this state is referenced.
static void release(const clang::ento::ProgramState *state)
void ProgramStateRetain(const ProgramState *state)
Increments the number of times this state is referenced.
static void retain(const clang::ento::ProgramState *state)