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
.
40
class
StoreManager
{
45
/// MRMgr - Manages region objects associated with this
StoreManager
.
49
StoreManager
(ProgramStateManager &stateMgr);
52
virtual ~
StoreManager
() {}
150
/// If the
StoreManager
supports it, increment the reference count of
154
/// If the
StoreManager
supports it, decrement the reference count of
194
/// enterStackFrame - Let the
StoreManager
to do something when execution
212
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
.
24
StoreManager
::
StoreManager
(ProgramStateManager &stateMgr)
28
StoreRef
StoreManager
::enterStackFrame(Store OldStore,
45
const MemRegion *
StoreManager
::MakeElementRegion(const MemRegion *Base,
62
StoreRef
StoreManager
::BindDefault(Store store, const MemRegion *R, SVal V) {
66
const ElementRegion *
StoreManager
::GetElementZeroRegion(const MemRegion *R,
73
const MemRegion *
StoreManager
::castRegion(const MemRegion *R, QualType CastToTy) {
246
SVal
StoreManager
::evalDerivedToBase(SVal Derived, const CastExpr *Cast) {
262
SVal
StoreManager
::evalDerivedToBase(SVal Derived, const CXXBasePath &Path)
[
all
...]
Completed in 830 milliseconds