HomeSort by: relevance | last modified time | path
    Searched refs:invalidateRegions (Results 1 - 11 of 11) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
LoopWidening.cpp 95 return PrevState->invalidateRegions(Regions, getLoopCondition(LoopStmt),
ProgramState.cpp 154 ProgramState::invalidateRegions(RegionList Regions,
171 ProgramState::invalidateRegions(ValueList Values,
205 = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
ExprEngineCallAndReturn.cpp 683 State = State->invalidateRegions(TargetR, E, Count, LCtx,
725 State = Call.invalidateRegions(currBldrCtx->blockCount(), State);
CallEvent.cpp 251 ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount,
300 return Result->invalidateRegions(ValuesToInvalidate, getOriginExpr(),
ExprEngineCXX.cpp 875 State = Call->invalidateRegions(blockCount);
RegionStore.cpp 425 StoreRef invalidateRegions(Store store,
1326 RegionStoreManager::invalidateRegions(Store store,
ExprEngine.cpp 407 State = State->invalidateRegions(Reg, InitWithAdjustments,
2762 State = State->invalidateRegions(ValuesToInvalidate, AE,
  /src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Store.h 111 /// invalidate existing bindings, consider invalidateRegions().
203 /// invalidateRegions - Clears out the specified regions from the store,
226 virtual StoreRef invalidateRegions(Store store,
ProgramState.h 253 /// within a certain region of memory, consider invalidateRegions().
283 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E,
290 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E,
448 /// \sa invalidateRegions()
CallEvent.h 360 ProgramStateRef invalidateRegions(unsigned BlockCount,
  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
CStringChecker.cpp 982 return state->invalidateRegions(R, E, C.blockCount(), LCtx,

Completed in 82 milliseconds