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