Searched refs:FoundPathWithNoRecursiveCall (Results 1 – 1 of 1) sorted by relevance
170 FoundPathWithNoRecursiveCall enumerator186 if (ID == ExitID && State == FoundPathWithNoRecursiveCall) in checkForFunctionCall()189 if (State == FoundPathWithNoRecursiveCall) { in checkForFunctionCall()254 states, FoundPathWithNoRecursiveCall); in checkRecursiveFunction()