HomeSort by relevance Sort by last modified time
    Searched defs:StoreManager (Results 1 - 10 of 10) 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...]
  /prebuilts/clang/host/darwin-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Store.h 10 // This file defined the types Store and StoreManager.
39 class StoreManager {
44 /// MRMgr - Manages region objects associated with this StoreManager.
48 StoreManager(ProgramStateManager &stateMgr);
51 virtual ~StoreManager() {}
176 /// If the StoreManager supports it, increment the reference count of
180 /// If the StoreManager supports it, decrement the reference count of
220 /// enterStackFrame - Let the StoreManager to do something when execution
238 virtual bool HandleBinding(StoreManager& SMgr, Store store,
252 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Store.h 10 // This file defined the types Store and StoreManager.
39 class StoreManager {
44 /// MRMgr - Manages region objects associated with this StoreManager.
48 StoreManager(ProgramStateManager &stateMgr);
51 virtual ~StoreManager() {}
176 /// If the StoreManager supports it, increment the reference count of
180 /// If the StoreManager supports it, decrement the reference count of
220 /// enterStackFrame - Let the StoreManager to do something when execution
238 virtual bool HandleBinding(StoreManager& SMgr, Store store,
252 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Store.h 10 // This file defined the types Store and StoreManager.
39 class StoreManager {
44 /// MRMgr - Manages region objects associated with this StoreManager.
48 StoreManager(ProgramStateManager &stateMgr);
51 virtual ~StoreManager() {}
176 /// If the StoreManager supports it, increment the reference count of
180 /// If the StoreManager supports it, decrement the reference count of
220 /// enterStackFrame - Let the StoreManager to do something when execution
238 virtual bool HandleBinding(StoreManager& SMgr, Store store,
252 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R
    [all...]
  /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Store.h 10 // This file defined the types Store and StoreManager.
39 class StoreManager {
44 /// MRMgr - Manages region objects associated with this StoreManager.
48 StoreManager(ProgramStateManager &stateMgr);
51 virtual ~StoreManager() {}
176 /// If the StoreManager supports it, increment the reference count of
180 /// If the StoreManager supports it, decrement the reference count of
220 /// enterStackFrame - Let the StoreManager to do something when execution
238 virtual bool HandleBinding(StoreManager& SMgr, Store store,
252 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R
    [all...]
  /prebuilts/clang/host/linux-x86/clang-3957855/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Store.h 10 // This file defined the types Store and StoreManager.
39 class StoreManager {
44 /// MRMgr - Manages region objects associated with this StoreManager.
48 StoreManager(ProgramStateManager &stateMgr);
51 virtual ~StoreManager() {}
176 /// If the StoreManager supports it, increment the reference count of
180 /// If the StoreManager supports it, decrement the reference count of
220 /// enterStackFrame - Let the StoreManager to do something when execution
238 virtual bool HandleBinding(StoreManager& SMgr, Store store,
252 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R
    [all...]
  /prebuilts/clang/host/linux-x86/clang-3960126/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Store.h 10 // This file defined the types Store and StoreManager.
39 class StoreManager {
44 /// MRMgr - Manages region objects associated with this StoreManager.
48 StoreManager(ProgramStateManager &stateMgr);
51 virtual ~StoreManager() {}
176 /// If the StoreManager supports it, increment the reference count of
180 /// If the StoreManager supports it, decrement the reference count of
220 /// enterStackFrame - Let the StoreManager to do something when execution
238 virtual bool HandleBinding(StoreManager& SMgr, Store store,
252 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R
    [all...]
  /prebuilts/clang/host/linux-x86/clang-3977809/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Store.h 10 // This file defined the types Store and StoreManager.
39 class StoreManager {
44 /// MRMgr - Manages region objects associated with this StoreManager.
48 StoreManager(ProgramStateManager &stateMgr);
51 virtual ~StoreManager() {}
176 /// If the StoreManager supports it, increment the reference count of
180 /// If the StoreManager supports it, decrement the reference count of
220 /// enterStackFrame - Let the StoreManager to do something when execution
238 virtual bool HandleBinding(StoreManager& SMgr, Store store,
252 bool HandleBinding(StoreManager& SMgr, Store store, const MemRegion* R
    [all...]
  /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Store.h 10 // This file defined the types Store and StoreManager.
39 class StoreManager {
44 /// MRMgr - Manages region objects associated with this StoreManager.
48 StoreManager(ProgramStateManager &stateMgr);
51 virtual ~StoreManager() {}
176 /// If the StoreManager supports it, increment the reference count of
180 /// If the StoreManager supports it, decrement the reference count of
220 /// enterStackFrame - Let the StoreManager to do something when execution
238 virtual bool HandleBinding(StoreManager& SMgr, Store store,
252 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,
51 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) {
55 const ElementRegion *StoreManager::GetElementZeroRegion(const MemRegion *R,
62 const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) {
235 SVal StoreManager::evalDerivedToBase(SVal Derived, const CastExpr *Cast) {
251 SVal StoreManager::evalDerivedToBase(SVal Derived, const CXXBasePath &Path)
    [all...]

Completed in 869 milliseconds