HomeSort by: relevance | last modified time | path
    Searched defs:StoreRef (Results 1 - 2 of 2) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
StoreRef.h 1 //===- StoreRef.h - Smart pointer for store objects -------------*- C++ -*-===//
9 // This file defined the type StoreRef.
29 class StoreRef {
34 StoreRef(Store store, StoreManager &smgr);
35 StoreRef(const StoreRef &sr);
36 StoreRef &operator=(StoreRef const &newStore);
37 ~StoreRef();
39 bool operator==(const StoreRef &x) const
    [all...]
Store.h 21 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
104 /// \return A StoreRef object that contains the same
107 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
112 virtual StoreRef BindDefaultInitial(Store store, const MemRegion *R,
117 virtual StoreRef BindDefaultZero(Store store, const MemRegion *R) = 0;
122 virtual StoreRef killBinding(Store ST, Loc L) = 0;
126 virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0;
186 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
226 virtual StoreRef invalidateRegions(Store store,
238 StoreRef enterStackFrame(Store store
    [all...]

Completed in 88 milliseconds