Searched refs:createUncachedNode (Results 1 – 3 of 3) sorted by relevance
431 ExplodedNode *ExplodedGraph::createUncachedNode(const ProgramPoint &L, in createUncachedNode() function in ExplodedGraph496 ExplodedNode *NewN = G->createUncachedNode(N->getLocation(), N->State, in trim()
2643 ExplodedNode *NewN = GNew->createUncachedNode( in getNextBugPath()
359 ExplodedNode *createUncachedNode(const ProgramPoint &L,