/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
StoreRef.h | 1 //== StoreRef.h - Smart pointer for store objects ---------------*- C++ -*--==// 10 // This file defined the type StoreRef. 30 class StoreRef { 34 StoreRef(Store, StoreManager &); 35 StoreRef(const StoreRef &); 36 StoreRef &operator=(StoreRef const &); 38 bool operator==(const StoreRef &x) const { 42 bool operator!=(const StoreRef &x) const { return !operator==(x); [all...] |
Store.h | 19 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h" 70 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0; 72 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V); 77 virtual StoreRef killBinding(Store ST, Loc L) = 0; 81 virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0; 144 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx, 184 virtual StoreRef invalidateRegions(Store store, 196 StoreRef enterStackFrame(Store store, 250 inline StoreRef::StoreRef(Store store, StoreManager & smgr [all...] |
BasicValueFactory.h | 22 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h" 46 StoreRef store; 49 LazyCompoundValData(const StoreRef &st, const TypedValueRegion *r) 56 const StoreRef &store, 172 const LazyCompoundValData *getLazyCompoundValData(const StoreRef &store,
|
SymbolManager.h | 22 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h" 576 StoreRef reapedStore; 646 void setReapedStore(StoreRef st) { reapedStore = st; }
|
SValBuilder.h | 216 NonLoc makeLazyCompoundVal(const StoreRef &store,
|
ProgramState.h | 93 ProgramStateRef makeWithStore(const StoreRef &store) const; 95 void setStore(const StoreRef &storeRef); 100 StoreRef st, GenericDataMap gdm);
|
/external/clang/lib/StaticAnalyzer/Core/ |
Store.cpp | 28 StoreRef StoreManager::enterStackFrame(Store OldStore, 31 StoreRef Store = StoreRef(OldStore, *this); 51 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) { 52 return StoreRef(store, *this);
|
ProgramState.cpp | 46 StoreRef st, GenericDataMap gdm) 105 StoreRef newStore = StoreMgr->removeDeadBindings(NewState.getStore(), LCtx, 128 const StoreRef &newStore = Mgr.StoreMgr->BindDefault(getStore(), R, V); 190 const StoreRef &newStore 208 const StoreRef &newStore = 218 const StoreRef &newStore = 230 const StoreRef &NewStore = 403 ProgramStateRef ProgramState::makeWithStore(const StoreRef &store) const { 409 void ProgramState::setStore(const StoreRef &newStore) {
|
BasicValueFactory.cpp | 30 const StoreRef &store, 127 BasicValueFactory::getLazyCompoundValData(const StoreRef &store,
|
RegionStore.cpp | 371 StoreRef getInitialStore(const LocationContext *InitLoc) override { 372 return StoreRef(RBFactory.getEmptyMap().getRootWithoutRetain(), *this); 385 StoreRef invalidateRegions(Store store, 403 StoreRef Bind(Store store, Loc LV, SVal V) override { 404 return StoreRef(bind(getRegionBindings(store), LV, V).asStore(), *this); 410 StoreRef BindDefault(Store store, const MemRegion *R, SVal V) override { 425 return StoreRef(B.asImmutableMap().getRootWithoutRetain(), *this); 464 StoreRef killBinding(Store ST, Loc L) override; 556 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx, [all...] |
/art/compiler/jni/quick/ |
jni_compiler.cc | 154 __ StoreRef(handle_scope_offset, main_jni_conv->InterproceduralScratchRegister()); 177 __ StoreRef(handle_scope_offset, in_reg);
|
/art/compiler/utils/arm64/ |
assembler_arm64.h | 125 void StoreRef(FrameOffset dest, ManagedRegister src) OVERRIDE;
|
assembler_arm64.cc | 145 void Arm64Assembler::StoreRef(FrameOffset offs, ManagedRegister m_src) {
|
/art/compiler/utils/ |
assembler.h | 389 virtual void StoreRef(FrameOffset dest, ManagedRegister src) = 0;
|
/art/compiler/utils/x86/ |
assembler_x86.h | 648 void StoreRef(FrameOffset dest, ManagedRegister src) OVERRIDE;
|
assembler_x86.cc | [all...] |
/art/compiler/utils/arm/ |
assembler_arm.cc | 509 void ArmAssembler::StoreRef(FrameOffset dest, ManagedRegister msrc) { [all...] |
assembler_arm.h | 923 void StoreRef(FrameOffset dest, ManagedRegister src) OVERRIDE [all...] |
/art/compiler/utils/mips/ |
assembler_mips.h | 429 void StoreRef(FrameOffset dest, ManagedRegister msrc) OVERRIDE; [all...] |
assembler_mips.cc | [all...] |
/art/compiler/utils/mips64/ |
assembler_mips64.h | 381 void StoreRef(FrameOffset dest, ManagedRegister msrc) OVERRIDE;
|
assembler_mips64.cc | [all...] |
/art/compiler/utils/x86_64/ |
assembler_x86_64.h | 719 void StoreRef(FrameOffset dest, ManagedRegister src) OVERRIDE; [all...] |
assembler_x86_64.cc | [all...] |