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++ -*--=//
49
// ProgramStateTrait - Traits used by the Generic Data Map of a
ProgramState
.
62
/// \class
ProgramState
63
///
ProgramState
- This class encapsulates:
71
///
ProgramState
is intended to be used as a functional object; that is,
74
class
ProgramState
: public llvm::FoldingSetNode {
80
void operator=(const
ProgramState
& R) = delete;
92
/// makeWithStore - Return a
ProgramState
with the same values as the current
99
/// This ctor is used when creating the first
ProgramState
object.
100
ProgramState
(ProgramStateManager *mgr, const Environment& env
[
all
...]
Completed in 182 milliseconds