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
.
37
class
StoreManager
{
42
/// MRMgr - Manages region objects associated with this
StoreManager
.
46
StoreManager
(ProgramStateManager &stateMgr);
49
virtual ~
StoreManager
() {}
162
/// If the
StoreManager
supports it, increment the reference count of
166
/// If the
StoreManager
supports it, decrement the reference count of
201
/// enterStackFrame - Let the
StoreManager
to do something when execution
213
virtual bool HandleBinding(
StoreManager
& SMgr, Store store,
226
bool HandleBinding(
StoreManager
& SMgr, Store store, const MemRegion* R
[
all
...]
/external/clang/lib/StaticAnalyzer/Core/
Store.cpp
10
// This file defined the types Store and
StoreManager
.
22
StoreManager
::
StoreManager
(ProgramStateManager &stateMgr)
26
StoreRef
StoreManager
::enterStackFrame(ProgramStateRef state,
32
const MemRegion *
StoreManager
::MakeElementRegion(const MemRegion *Base,
49
StoreRef
StoreManager
::BindDefault(Store store, const MemRegion *R, SVal V) {
53
const ElementRegion *
StoreManager
::GetElementZeroRegion(const MemRegion *R,
60
const MemRegion *
StoreManager
::castRegion(const MemRegion *R, QualType CastToTy) {
214
/// CastRetrievedVal - Used by subclasses of
StoreManager
to implement
217
SVal
StoreManager
::CastRetrievedVal(SVal V, const TypedValueRegion *R
[
all
...]
Completed in 28 milliseconds