Searched defs:StoreRef (Results 1 - 2 of 2) sorted by relevance
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | StoreRef.h | 1 //== 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 D | 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(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