Searched refs:DeletedObj (Results 1 – 1 of 1) sorted by relevance
91 const Expr *DeletedObj = DE->getArgument(); in checkPreStmt() local92 const MemRegion *MR = C.getSVal(DeletedObj).getAsRegion(); in checkPreStmt()