Searched defs:RegionSVal (Results 1 – 1 of 1) sorted by relevance
314 auto RegionSVal = Val.getAs<loc::MemRegionVal>(); in getTrackRegion() local1108 auto RegionSVal = C.getSVal(CE).getAs<DefinedOrUnknownSVal>(); in checkPostStmt() local