Searched refs:AllocedVal (Results 1 – 1 of 1) sorted by relevance
250 SVal AllocedVal = C.getSVal(NE); in checkPostStmt() local251 const MemRegion *Region = AllocedVal.getAsRegion(); in checkPostStmt()