Home
last modified time | relevance | path

Searched refs:getTrackRegion (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DNullabilityChecker.cpp200 const SymbolicRegion *getTrackRegion(SVal Val,
289 NullabilityChecker::getTrackRegion(SVal Val, bool CheckSuperRegion) const { in getTrackRegion() function in NullabilityChecker
507 getTrackRegion(Event.Location, /*CheckSuperregion=*/true); in checkEvent()
633 const MemRegion *Region = getTrackRegion(*RetSVal); in checkPreStmt()
722 const MemRegion *Region = getTrackRegion(*ArgSVal); in checkPreCall()
786 const MemRegion *Region = getTrackRegion(Call.getReturnValue()); in checkPostCall()
855 const MemRegion *ReturnRegion = getTrackRegion(M.getReturnValue()); in checkPostObjCMessage()
979 const MemRegion *Region = getTrackRegion(*RegionSVal); in checkPostStmt()
1151 const MemRegion *ValueRegion = getTrackRegion(*ValDefOrUnknown); in checkBind()