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