Home
last modified time | relevance | path

Searched defs:ExplicitRegions (Results 1 – 9 of 9) sorted by relevance

/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoChecker.cpp220 checkRegionChanges(ProgramStateRef State,const InvalidatedSymbols * Invalidated,ArrayRef<const MemRegion * > ExplicitRegions,ArrayRef<const MemRegion * > Regions,const LocationContext * LCtx,const CallEvent * Call) const checkRegionChanges() argument
H A DCheckerDocumentation.cpp278 ArrayRef<const MemRegion *> ExplicitRegions, in checkRegionChanges()
H A DAnalysisOrderChecker.cpp200 ArrayRef<const MemRegion *> ExplicitRegions, in checkRegionChanges()
H A DPthreadLockChecker.cpp696 ArrayRef<const MemRegion *> ExplicitRegions, in checkRegionChanges()
H A DSmartPtrModeling.cpp575 ArrayRef<const MemRegion *> ExplicitRegions, in checkRegionChanges() argument
H A DCStringChecker.cpp2760 checkRegionChanges(ProgramStateRef state,const InvalidatedSymbols *,ArrayRef<const MemRegion * > ExplicitRegions,ArrayRef<const MemRegion * > Regions,const LocationContext * LCtx,const CallEvent * Call) const checkRegionChanges() argument
/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp1185 ArrayRef<const MemRegion *> ExplicitRegions, in checkRegionChanges()
/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DCheckerManager.cpp599 runCheckersForRegionChanges(ProgramStateRef state,const InvalidatedSymbols * invalidated,ArrayRef<const MemRegion * > ExplicitRegions,ArrayRef<const MemRegion * > Regions,const LocationContext * LCtx,const CallEvent * Call) runCheckersForRegionChanges() argument
H A DExprEngine.cpp3534 notifyCheckersOfPointerEscape(ProgramStateRef State,const InvalidatedSymbols * Invalidated,ArrayRef<const MemRegion * > ExplicitRegions,const CallEvent * Call,RegionAndSymbolInvalidationTraits & ITraits) notifyCheckersOfPointerEscape() argument