OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:StoreManager
(Results
1 - 2
of
2
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Store.h
10
// This file defined the types Store and
StoreManager
.
36
class
StoreManager
{
41
/// MRMgr - Manages region objects associated with this
StoreManager
.
45
StoreManager
(ProgramStateManager &stateMgr);
48
virtual ~
StoreManager
() {}
158
/// If the
StoreManager
supports it, increment the reference count of
162
/// If the
StoreManager
supports it, decrement the reference count of
196
/// enterStackFrame - Let the
StoreManager
to do something when execution
207
virtual bool HandleBinding(
StoreManager
& SMgr, Store store,
218
/// CastRetrievedVal - Used by subclasses of
StoreManager
to implemen
[
all
...]
/external/clang/lib/StaticAnalyzer/Core/
Store.cpp
10
// This file defined the types Store and
StoreManager
.
21
StoreManager
::
StoreManager
(ProgramStateManager &stateMgr)
25
StoreRef
StoreManager
::enterStackFrame(const ProgramState *state,
30
const MemRegion *
StoreManager
::MakeElementRegion(const MemRegion *Base,
47
StoreRef
StoreManager
::BindDefault(Store store, const MemRegion *R, SVal V) {
51
const ElementRegion *
StoreManager
::GetElementZeroRegion(const MemRegion *R,
58
const MemRegion *
StoreManager
::castRegion(const MemRegion *R, QualType CastToTy) {
209
/// CastRetrievedVal - Used by subclasses of
StoreManager
to implement
212
SVal
StoreManager
::CastRetrievedVal(SVal V, const TypedValueRegion *R
[
all
...]
Completed in 39 milliseconds