Searched refs:ExitID (Results 1 – 1 of 1) sorted by relevance
210 const unsigned ExitID = cfg->getExit().getBlockID(); in checkForRecursiveFunctionCall() local229 if (ExitID == ID) in checkForRecursiveFunctionCall()251 return States[ExitID] == FoundPath; in checkForRecursiveFunctionCall()