OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:ProgramState
(Results
1 - 11
of
11
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState_Fwd.h
1
//== ProgramState_Fwd.h - Incomplete declarations of
ProgramState
-*- C++ -*--=/
18
class
ProgramState
;
20
void ProgramStateRetain(const
ProgramState
*state);
21
void ProgramStateRelease(const
ProgramState
*state);
26
template <> struct IntrusiveRefCntPtrInfo<const clang::ento::
ProgramState
> {
27
static void retain(const clang::ento::
ProgramState
*state) {
30
static void release(const clang::ento::
ProgramState
*state) {
38
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) 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
...]
SubEngine.h
33
class
ProgramState
;
Store.h
34
class
ProgramState
;
67
/// \return A pointer to a
ProgramState
object that contains the same
SVals.h
33
class
ProgramState
;
/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
...]
Android.mk
40
ProgramState
.cpp \
BugReporterVisitors.cpp
22
#include "clang/StaticAnalyzer/Core/PathSensitive/
ProgramState
.h"
[
all
...]
BugReporter.cpp
[
all
...]
/external/clang/lib/StaticAnalyzer/Checkers/
DereferenceChecker.cpp
45
const Expr *Ex, const
ProgramState
*state,
55
const
ProgramState
*state,
/external/clang/include/clang/StaticAnalyzer/Core/
CheckerManager.h
42
class
ProgramState
;
372
/// \brief Run checkers for debug-printing a
ProgramState
.
Completed in 102 milliseconds