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