Searched refs:BeforeProcessingCall (Results 1 – 1 of 1) sorted by relevance
1359 ExplodedNode *BeforeProcessingCall = nullptr; in replayWithoutInlining() local1365 BeforeProcessingCall = N; in replayWithoutInlining()1385 if (!BeforeProcessingCall) in replayWithoutInlining()1393 EpsilonPoint(BeforeProcessingCall->getLocationContext(), CE); in replayWithoutInlining()1396 ProgramStateRef NewNodeState = BeforeProcessingCall->getState(); in replayWithoutInlining()1408 NewNode->addPredecessor(BeforeProcessingCall, G); in replayWithoutInlining()