Searched refs:PreInitialized (Results 1 – 1 of 1) sorted by relevance
744 ExplodedNodeSet PreInitialized; in handleConstructor() local747 StmtNodeBuilder Bldr(DstPreVisit, PreInitialized, *currBldrCtx); in handleConstructor()770 PreInitialized = DstPreVisit; in handleConstructor()774 getCheckerManager().runCheckersForPreCall(DstPreCall, PreInitialized, in handleConstructor()