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