845     bool ResolvedUndefs = true;  in solveWhileResolvedUndefsIn()  local
846     while (ResolvedUndefs) {  in solveWhileResolvedUndefsIn()
848       ResolvedUndefs = false;  in solveWhileResolvedUndefsIn()
850         ResolvedUndefs |= resolvedUndefsIn(F);  in solveWhileResolvedUndefsIn()
855     bool ResolvedUndefs = true;  in solveWhileResolvedUndefsIn()  local
856     while (ResolvedUndefs) {  in solveWhileResolvedUndefsIn()
858       ResolvedUndefs = false;  in solveWhileResolvedUndefsIn()
860         ResolvedUndefs |= resolvedUndefsIn(*F);  in solveWhileResolvedUndefsIn()
865     bool ResolvedUndefs = true;  in solveWhileResolvedUndefs()  local
866     while (ResolvedUndefs) {  in solveWhileResolvedUndefs()
868       ResolvedUndefs = false;  in solveWhileResolvedUndefs()
871           ResolvedUndefs |= resolvedUndef(*I);  in solveWhileResolvedUndefs()