Searched refs:DstPre (Results 1 – 1 of 1) sorted by relevance
579 ExplodedNodeSet DstPre; in VisitDeclStmt() local580 getCheckerManager().runCheckersForPreStmt(DstPre, Pred, DS, *this); in VisitDeclStmt()581 getCheckerManager().runCheckersForPostStmt(Dst, DstPre, DS, *this); in VisitDeclStmt()