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