Searched refs:BeforeProcessingCall (Results 1 – 1 of 1) sorted by relevance
1794 ExplodedNode *BeforeProcessingCall = nullptr; in replayWithoutInlining() local1800 BeforeProcessingCall = N; in replayWithoutInlining()1820 if (!BeforeProcessingCall) in replayWithoutInlining()1828 EpsilonPoint(BeforeProcessingCall->getLocationContext(), CE); in replayWithoutInlining()1831 ProgramStateRef NewNodeState = BeforeProcessingCall->getState(); in replayWithoutInlining()1843 NewNode->addPredecessor(BeforeProcessingCall, G); in replayWithoutInlining()