OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:ProgramState
(Results
1 - 10
of
10
) 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++ -*--=//
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
...]
SubEngine.h
33
class
ProgramState
;
Store.h
34
class
ProgramState
;
67
/// \return A pointer to a
ProgramState
object that contains the same
SVals.h
35
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
...]
BugReporterVisitors.cpp
23
#include "clang/StaticAnalyzer/Core/PathSensitive/
ProgramState
.h"
[
all
...]
BugReporter.cpp
[
all
...]
/external/clang/lib/StaticAnalyzer/Checkers/
DereferenceChecker.cpp
46
const Expr *Ex, const
ProgramState
*state,
56
const
ProgramState
*state,
/external/clang/include/clang/StaticAnalyzer/Core/
CheckerManager.h
43
class
ProgramState
;
384
/// \brief Run checkers for debug-printing a
ProgramState
.
Completed in 289 milliseconds