Searched refs:ResolvedUndefs (Results 1 – 2 of 2) sorted by relevance
83 bool ResolvedUndefs = true; in runSCCP() local84 while (ResolvedUndefs) { in runSCCP()87 ResolvedUndefs = Solver.resolvedUndefsIn(F); in runSCCP()
700 bool ResolvedUndefs = true; in solveWhileResolvedUndefsIn() local701 while (ResolvedUndefs) { in solveWhileResolvedUndefsIn()703 ResolvedUndefs = false; in solveWhileResolvedUndefsIn()705 ResolvedUndefs |= resolvedUndefsIn(F); in solveWhileResolvedUndefsIn()710 bool ResolvedUndefs = true; in solveWhileResolvedUndefsIn() local711 while (ResolvedUndefs) { in solveWhileResolvedUndefsIn()713 ResolvedUndefs = false; in solveWhileResolvedUndefsIn()715 ResolvedUndefs |= resolvedUndefsIn(*F); in solveWhileResolvedUndefsIn()