OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:ProgramState
(Results
1 - 2
of
2
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp
1
//=
ProgramState
.cpp - Path-Sensitive "State" for tracking values --*- C++ -*--=
10
// This file implements
ProgramState
and ProgramStateManager.
14
#include "clang/StaticAnalyzer/Core/PathSensitive/
ProgramState
.h"
28
void ProgramStateRetain(const
ProgramState
*state) {
29
++const_cast<
ProgramState
*>(state)->refCount;
33
void ProgramStateRelease(const
ProgramState
*state) {
35
ProgramState
*s = const_cast<
ProgramState
*>(state);
39
s->~
ProgramState
();
45
ProgramState
::ProgramState(ProgramStateManager *mgr, const Environment& env
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
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) LLVM_DELETED_FUNCTION;
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
...]
Completed in 41 milliseconds