| /freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| HD | LoopWidening.cpp | 96 return PrevState->invalidateRegions(Regions, getLoopCondition(LoopStmt), in getWidenedLoopState()
|
| HD | ProgramState.cpp | 151 ProgramState::invalidateRegions(RegionList Regions, in invalidateRegions() function in ProgramState
167 ProgramState::invalidateRegions(ValueList Values, in invalidateRegions() function in ProgramState
201 = Mgr.StoreMgr->invalidateRegions(getStore(), Values, E, Count, LCtx, Call, in invalidateRegionsImpl()
|
| HD | ExprEngineCallAndReturn.cpp | 786 State = State->invalidateRegions(TargetR, E, Count, LCtx, in bindReturnValue()
833 State = Call.invalidateRegions(currBldrCtx->blockCount(), State); in conservativeEvalCall()
|
| HD | CallEvent.cpp | 233 ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount, in invalidateRegions() function in CallEvent
282 return Result->invalidateRegions(ValuesToInvalidate, getOriginExpr(), in invalidateRegions()
|
| HD | ExprEngineCXX.cpp | 1038 State = Call->invalidateRegions(blockCount); in VisitCXXNewExpr()
|
| HD | RegionStore.cpp | 415 StoreRef invalidateRegions(Store store,
1302 RegionStoreManager::invalidateRegions(Store store, in invalidateRegions() function in RegionStoreManager
|
| HD | ExprEngine.cpp | 422 State = State->invalidateRegions(Reg, InitWithAdjustments, in createTemporaryRegionIfNeeded()
3465 State = State->invalidateRegions(ValuesToInvalidate, AE, in VisitAtomicExpr()
|
| /freebsd-head/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| HD | Store.h | 228 virtual StoreRef invalidateRegions(
|
| HD | ProgramState.h | 326 invalidateRegions(ArrayRef<const MemRegion *> Regions, const Expr *E,
333 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E, unsigned BlockCount,
|
| HD | CallEvent.h | 366 ProgramStateRef invalidateRegions(unsigned BlockCount,
|
| /freebsd-head/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| HD | ErrnoModeling.cpp | 263 State = State->invalidateRegions(ErrnoR, InvalE, C.blockCount(), in setErrnoStdMustBeChecked()
|
| HD | SmartPtrModeling.cpp | 533 State->invalidateRegions({StreamThisRegion}, Call.getOriginExpr(), in handleOstreamOperator()
|
| HD | StreamChecker.cpp | 844 return State->invalidateRegions( in escapeByStartIndexAndCount()
855 State = State->invalidateRegions(EscapingVals, Call.getOriginExpr(), in escapeArgs()
|
| HD | CStringChecker.cpp | 1295 return State->invalidateRegions(R, E, C.blockCount(), LCtx, in invalidateBufferAux()
|