HomeSort by relevance Sort by last modified time
    Searched defs:StoreRef (Results 1 - 2 of 2) sorted by null

  /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 17 #include "clang/StaticAnalyzer/Core/PathSensitive/StoreRef.h"
67 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
69 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
74 virtual StoreRef killBinding(Store ST, Loc L) = 0;
86 virtual StoreRef bindCompoundLiteral(Store ST,
93 virtual StoreRef getInitialStore(const LocationContext *InitLoc) = 0;
152 virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
188 virtual StoreRef invalidateRegions(Store store,
198 StoreRef enterStackFrame(Store store,
251 inline StoreRef::StoreRef(Store store, StoreManager & smgr
    [all...]

Completed in 40 milliseconds