Searched refs:BeforeProcessingCall (Results 1 – 1 of 1) sorted by relevance
1313 ExplodedNode *BeforeProcessingCall = nullptr; in replayWithoutInlining() local1319 BeforeProcessingCall = N; in replayWithoutInlining()1339 if (!BeforeProcessingCall) in replayWithoutInlining()1347 EpsilonPoint(BeforeProcessingCall->getLocationContext(), CE); in replayWithoutInlining()1350 ProgramStateRef NewNodeState = BeforeProcessingCall->getState(); in replayWithoutInlining()1362 NewNode->addPredecessor(BeforeProcessingCall, G); in replayWithoutInlining()