Searched refs:invalidateRegions (Results 1 - 13 of 13) sorted by relevance
| /freebsd-current/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | LoopWidening.cpp | 96 return PrevState->invalidateRegions(Regions, getLoopCondition(LoopStmt),
|
| H A D | ProgramState.cpp | 151 ProgramState::invalidateRegions(RegionList Regions, function in class:ProgramState
167 ProgramState::invalidateRegions(ValueList Values, function in class:ProgramState
201 = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call,
|
| H A D | ExprEngineCallAndReturn.cpp | 786 State = State->invalidateRegions(TargetR, E, Count, LCtx,
833 State = Call.invalidateRegions(currBldrCtx->blockCount(), State);
|
| H A D | CallEvent.cpp | 233 ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount, function in class:CallEvent
282 return Result->invalidateRegions(ValuesToInvalidate, getOriginExpr(),
|
| H A D | RegionStore.cpp | 415 StoreRef invalidateRegions(Store store,
1302 RegionStoreManager::invalidateRegions(Store store, function in class:RegionStoreManager
|
| H A D | ExprEngineCXX.cpp | 1038 State = Call->invalidateRegions(blockCount);
|
| H A D | ExprEngine.cpp | 422 State = State->invalidateRegions(Reg, InitWithAdjustments,
3453 State = State->invalidateRegions(ValuesToInvalidate, AE,
|
| /freebsd-current/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Store.h | 112 /// invalidate existing bindings, consider invalidateRegions().
205 /// invalidateRegions - Clears out the specified regions from the store,
228 virtual StoreRef invalidateRegions(Store store,
|
| H A D | ProgramState.h | 296 /// within a certain region of memory, consider invalidateRegions().
326 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E,
333 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E, unsigned BlockCount,
488 /// \sa invalidateRegions()
|
| H A D | CallEvent.h | 365 ProgramStateRef invalidateRegions(unsigned BlockCount,
|
| /freebsd-current/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ErrnoModeling.cpp | 308 State = State->invalidateRegions(ErrnoR, InvalE, C.blockCount(),
|
| H A D | SmartPtrModeling.cpp | 533 State->invalidateRegions({StreamThisRegion}, Call.getOriginExpr(),
|
| H A D | CStringChecker.cpp | 1150 return State->invalidateRegions(R, E, C.blockCount(), LCtx,
|
Completed in 280 milliseconds