620                     Branch elseBranch{endBlock->tokAt(2) ? endBlock->linkAt(2) : nullptr};  in updateRange()  local
622                     std::tie(thenBranch.check, elseBranch.check) = evalCond(condTok);  in updateRange()
623 … if (!thenBranch.check && !elseBranch.check && analyzer->stopOnCondition(condTok) && stopUpdates())  in updateRange()
633                     } else if (!elseBranch.check) {  in updateRange()
639 …                  elseBranch.escape = isEscapeScope(endBlock->linkAt(2), elseBranch.escapeUnknown);  in updateRange()
640                         if (elseBranch.check) {  in updateRange()
645                             if (checkBranch(elseBranch))  in updateRange()
652                     actions |= (thenBranch.action | elseBranch.action);  in updateRange()
655                     if (thenBranch.isDead() && elseBranch.isDead()) {  in updateRange()
656                         if (thenBranch.isModified() && elseBranch.isModified())  in updateRange()
658                         if (thenBranch.isConclusiveEscape() && elseBranch.isConclusiveEscape())  in updateRange()
675                     if (thenBranch.isInconclusive() || elseBranch.isInconclusive()) {  in updateRange()
678                     } else if (thenBranch.isModified() || elseBranch.isModified()) {  in updateRange()
683                         analyzer->assume(condTok, elseBranch.isModified());  in updateRange()