Searched refs:FoundPathWithNoRecursiveCall (Results 1 – 1 of 1) sorted by relevance
203 FoundPathWithNoRecursiveCall enumerator214 States[cfg->getEntry().getBlockID()] = FoundPathWithNoRecursiveCall; in checkForRecursiveFunctionCall()227 if (CurState == FoundPathWithNoRecursiveCall) { in checkForRecursiveFunctionCall()