HomeSort by relevance Sort by last modified time
    Searched refs:BindDefault (Results 1 - 4 of 4) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Store.h 72 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
  /external/clang/lib/StaticAnalyzer/Core/
Store.cpp 62 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) {
ProgramState.cpp 125 ProgramStateRef ProgramState::bindDefault(SVal loc, SVal V) const {
128 const StoreRef &newStore = Mgr.StoreMgr->BindDefault(getStore(), R, V);
RegionStore.cpp 415 // BindDefault is only used to initialize a region with a default value.
416 StoreRef BindDefault(Store store, const MemRegion *R, SVal V) override {
    [all...]

Completed in 120 milliseconds