| /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;
647 void setReapedStore(StoreRef st) { reapedStore = st; }
|
| SValBuilder.h | 216 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);
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 | 377 StoreRef getInitialStore(const LocationContext *InitLoc) override {
378 return StoreRef(RBFactory.getEmptyMap().getRootWithoutRetain(), *this);
391 StoreRef invalidateRegions(Store store,
409 StoreRef Bind(Store store, Loc LV, SVal V) override {
410 return StoreRef(bind(getRegionBindings(store), LV, V).asStore(), *this);
416 StoreRef BindDefault(Store store, const MemRegion *R, SVal V) override {
431 return StoreRef(B.asImmutableMap().getRootWithoutRetain(), *this);
470 StoreRef killBinding(Store ST, Loc L) override;
562 StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
[all...] |
| /art/compiler/jni/quick/ |
| jni_compiler.cc | 138 __ StoreRef(handle_scope_offset, main_jni_conv->InterproceduralScratchRegister());
161 __ StoreRef(handle_scope_offset, in_reg);
|
| /art/compiler/utils/arm64/ |
| assembler_arm64.h | 115 void StoreRef(FrameOffset dest, ManagedRegister src) OVERRIDE;
|
| assembler_arm64.cc | 140 void Arm64Assembler::StoreRef(FrameOffset offs, ManagedRegister m_src) {
|
| /art/compiler/utils/ |
| assembler.h | 384 virtual void StoreRef(FrameOffset dest, ManagedRegister src) = 0;
|
| /art/compiler/utils/mips/ |
| assembler_mips.h | 172 void StoreRef(FrameOffset dest, ManagedRegister msrc) OVERRIDE;
|
| assembler_mips.cc | 618 void MipsAssembler::StoreRef(FrameOffset dest, ManagedRegister msrc) {
[all...] |
| /art/compiler/utils/arm/ |
| assembler_arm.cc | 475 void ArmAssembler::StoreRef(FrameOffset dest, ManagedRegister msrc) {
|
| assembler_arm.h | 628 void StoreRef(FrameOffset dest, ManagedRegister src) OVERRIDE;
|
| /art/compiler/utils/x86/ |
| assembler_x86.h | 476 void StoreRef(FrameOffset dest, ManagedRegister src) OVERRIDE;
|
| assembler_x86.cc | [all...] |
| /art/compiler/utils/x86_64/ |
| assembler_x86_64.h | 518 void StoreRef(FrameOffset dest, ManagedRegister src) OVERRIDE;
|
| assembler_x86_64.cc | [all...] |
