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