HomeSort by relevance Sort by last modified time
    Searched full:binddefault (Results 1 - 7 of 7) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Store.h 72 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
ProgramState.h 238 ProgramStateRef bindDefault(SVal loc, SVal V) const;
  /external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 125 ProgramStateRef ProgramState::bindDefault(SVal loc, SVal V) const {
128 const StoreRef &newStore = Mgr.StoreMgr->BindDefault(getStore(), R, V);
ExprEngineCXX.cpp 320 State = State->bindDefault(loc::MemRegionVal(Target), ZeroVal);
Store.cpp 51 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) {
RegionStore.cpp 411 // BindDefault is only used to initialize a region with a default value.
412 StoreRef BindDefault(Store store, const MemRegion *R, SVal V) override {
    [all...]
  /external/clang/lib/StaticAnalyzer/Checkers/
MallocChecker.cpp     [all...]

Completed in 668 milliseconds