<algorithm>: avoid continue in ranges::search_n (#5343)

AlexGuteniev · web-flow · commit 7b38f9fc067b · 2025-03-24T16:36:11.000-07:00
diff --git a/stl/inc/algorithm b/stl/inc/algorithm
@@ -2426,7 +2426,11 @@ namespace ranges {
                     // |=======|????????|========|??????...
 
                     --_Mid2;
-                    if (!_STD invoke(_Pred, _STD invoke(_Proj, *_Mid2), _Val)) { // mismatch; skip past it
+                    if (_STD invoke(_Pred, _STD invoke(_Proj, *_Mid2), _Val)) {
+                        if (_Mid2 == _Mid1) { // [_Mid1, _Mid2) is empty, so [_First, _Last) all match
+                            return {_STD move(_First), _STD move(_Last)};
+                        }
+                    } else { // mismatch; skip past it
                         ++_Mid2;
                         const auto _Delta = _RANGES distance(_First, _Mid2);
 
@@ -2441,11 +2445,6 @@ namespace ranges {
                         _Mid1 = _Last;
                         _RANGES advance(_Last, _Delta);
                         _Mid2 = _Last;
-                        continue;
-                    }
-
-                    if (_Mid2 == _Mid1) { // [_Mid1, _Mid2) is empty, so [_First, _Last) all match
-                        return {_STD move(_First), _STD move(_Last)};
                     }
                 }
             } else {
