Searched refs:BeforeProcessingCall (Results 1 – 1 of 1) sorted by relevance
2087 ExplodedNode *BeforeProcessingCall = nullptr; in replayWithoutInlining() local2093 BeforeProcessingCall = N; in replayWithoutInlining()2113 if (!BeforeProcessingCall) in replayWithoutInlining()2121 EpsilonPoint(BeforeProcessingCall->getLocationContext(), CE); in replayWithoutInlining()2124 ProgramStateRef NewNodeState = BeforeProcessingCall->getState(); in replayWithoutInlining()2136 NewNode->addPredecessor(BeforeProcessingCall, G); in replayWithoutInlining()