Searched defs:StoreRef (Results 1 - 2 of 2) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStoreRef.h1 //== StoreRef.h - Smart pointer for store objects ---------------*- C++ -*--==//
10 // This file defined the type StoreRef.
30 class StoreRef { class in namespace:clang::ento
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
[all...]
H A DStore.h19 #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(Stor function in class:clang::ento::StoreRef
256 inline StoreRef::StoreRef(const StoreRef &sr) function in class:clang::ento::StoreRef
[all...]

Completed in 101 milliseconds