Skip to content

inefficient_while_comp ​

Default: Disabled

Source Code

What it does ​

Checks if the while loop exit condition is using relational (<, <=, >=, >) operators.

Example ​

cairo
fn main() {
    let mut a = 1_u32;
    while a <= 10 {
        a += 1;
    }
}

Can be optimized to:

cairo
fn main() {
    let mut a = 1_u32;
    while a != 10 {
        a += 1;
    }
}