Searched refs:NewNodeState (Results 1 – 1 of 1) sorted by relevance
1396 ProgramStateRef NewNodeState = BeforeProcessingCall->getState(); in replayWithoutInlining() local1397 NewNodeState = in replayWithoutInlining()1398 NewNodeState->set<ReplayWithoutInlining>(const_cast<Stmt *>(CE)); in replayWithoutInlining()1402 ExplodedNode *NewNode = G.getNode(NewNodeLoc, NewNodeState, false, &IsNew); in replayWithoutInlining()