Searched defs:nodeBuilder (Results 1 – 2 of 2) sorted by relevance
282 NodeBuilderWithSinks nodeBuilder(Pred, dstNodes, BuilderCtx, BE); in HandleBlockEdge() local
2498 processCFGBlockEntrance(const BlockEdge & L,NodeBuilderWithSinks & nodeBuilder,ExplodedNode * Pred) processCFGBlockEntrance() argument