| /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,
189 virtual StoreRef invalidateRegions(Store store,
203 StoreRef enterStackFrame(Store store,
256 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"
579 StoreRef reapedStore;
650 void setReapedStore(StoreRef st) { reapedStore = st; }
|
| SValBuilder.h | 215 NonLoc makeLazyCompoundVal(const StoreRef &store,
|
| ProgramState.h | 92 ProgramStateRef makeWithStore(const StoreRef &store) const;
94 void setStore(const StoreRef &storeRef);
99 StoreRef st, GenericDataMap gdm);
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| Store.cpp | 28 StoreRef StoreManager::enterStackFrame(Store OldStore,
31 StoreRef Store = StoreRef(OldStore, *this);
62 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) {
63 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);
200 const StoreRef &newStore
228 const StoreRef &newStore =
239 const StoreRef &newStore =
251 const StoreRef &NewStore =
424 ProgramStateRef ProgramState::makeWithStore(const StoreRef &store) const {
430 void ProgramState::setStore(const StoreRef &newStore) {
|
| BasicValueFactory.cpp | 30 const StoreRef &store,
127 BasicValueFactory::getLazyCompoundValData(const StoreRef &store,
|
| RegionStore.cpp | 382 StoreRef getInitialStore(const LocationContext *InitLoc) {
383 return StoreRef(RBFactory.getEmptyMap().getRootWithoutRetain(), *this);
396 StoreRef invalidateRegions(Store store,
416 virtual StoreRef Bind(Store store, Loc LV, SVal V) {
417 return StoreRef(bind(getRegionBindings(store), LV, V).asStore(), *this);
423 StoreRef BindDefault(Store store, const MemRegion *R, SVal V) {
427 return StoreRef(B.addBinding(R, BindingKey::Default, V)
468 virtual StoreRef killBinding(Store ST, Loc L);
560 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
[all...] |
| /art/compiler/jni/quick/ |
| jni_compiler.cc | 124 __ StoreRef(sirt_offset, main_jni_conv->InterproceduralScratchRegister());
147 __ StoreRef(sirt_offset, in_reg);
|
| /art/compiler/utils/ |
| assembler.h | 341 virtual void StoreRef(FrameOffset dest, ManagedRegister src) = 0;
|
| /art/compiler/utils/mips/ |
| assembler_mips.h | 371 virtual void StoreRef(FrameOffset dest, ManagedRegister msrc);
|
| assembler_mips.cc | 628 void MipsAssembler::StoreRef(FrameOffset dest, ManagedRegister msrc) {
[all...] |
| /art/compiler/utils/arm/ |
| assembler_arm.h | 454 virtual void StoreRef(FrameOffset dest, ManagedRegister src);
|
| assembler_arm.cc | [all...] |
| /art/compiler/utils/x86/ |
| assembler_x86.h | 476 virtual void StoreRef(FrameOffset dest, ManagedRegister src);
|
| assembler_x86.cc | [all...] |
