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