Searched refs:AllocedVal (Results 1 – 1 of 1) sorted by relevance
252 SVal AllocedVal = State->getSVal(NE, C.getLocationContext()); in checkPostStmt() local253 const MemRegion *Region = AllocedVal.getAsRegion(); in checkPostStmt()