Searched refs:RegionSVal (Results 1 – 1 of 1) sorted by relevance
278 auto RegionSVal = Val.getAs<loc::MemRegionVal>(); in getTrackRegion() local279 if (!RegionSVal) in getTrackRegion()282 const MemRegion *Region = RegionSVal->getRegion(); in getTrackRegion()954 auto RegionSVal = C.getSVal(CE).getAs<DefinedOrUnknownSVal>(); in checkPostStmt() local955 const MemRegion *Region = getTrackRegion(*RegionSVal); in checkPostStmt()961 NullConstraint Nullness = getNullConstraint(*RegionSVal, State); in checkPostStmt()