loop-single-iteration

Disallow loops whose control flow cannot reach another iteration

A loop whose body always exits or diverges cannot reach a second iteration and obscures its actual control flow.
Instead, you SHOULD use a conditional for optional execution or state an unconditional transfer directly.

- Category: suspicious
- Level: warning
- Fix: none
- Scope: module

Reported

declare function ready(): boolean;
declare function process(): void;

while (ready()) {
    process();
    break;
}
Accepted

declare function ready(): boolean;
declare function process(): void;

if (ready()) {
    process();
}
Prior art

- Clippy · neverloop
- ESLint · no-unreachable-loop
- eslint-plugin-sonarjs · no-one-iteration-loop

language/linter/src/rules/suspicious/loopsingleiteration.rs:6