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