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 107 milliseconds