Searched refs:ExitID (Results 1 – 1 of 1) sorted by relevance
174 CFGBlock &Block, unsigned ExitID, in checkForFunctionCall() argument186 if (ID == ExitID && State == FoundPathWithNoRecursiveCall) in checkForFunctionCall()229 checkForFunctionCall(S, FD, **I, ExitID, States, State); in checkForFunctionCall()