Searched refs:PreInitialized (Results 1 – 1 of 1) sorted by relevance
583 ExplodedNodeSet PreInitialized; in handleConstructor() local586 StmtNodeBuilder Bldr(DstPreVisit, PreInitialized, *currBldrCtx); in handleConstructor()611 PreInitialized = DstPreVisit; in handleConstructor()615 getCheckerManager().runCheckersForPreCall(DstPreCall, PreInitialized, in handleConstructor()