#![warn(clippy::missing_spin_loop)]
#![allow(clippy::bool_comparison)]
#![allow(unused_braces)]

use core::sync::atomic::{AtomicBool, Ordering};

fn main() {
    let b = AtomicBool::new(true);
    // Those should lint
    while b.load(Ordering::Acquire) { std::hint::spin_loop() }
    //~^ missing_spin_loop

    while !b.load(Ordering::SeqCst) { std::hint::spin_loop() }
    //~^ missing_spin_loop

    while b.load(Ordering::Acquire) == false { std::hint::spin_loop() }
    //~^ missing_spin_loop

    while { true == b.load(Ordering::Acquire) } { std::hint::spin_loop() }
    //~^ missing_spin_loop

    while b.compare_exchange(true, false, Ordering::Acquire, Ordering::Relaxed) != Ok(true) { std::hint::spin_loop() }
    //~^ missing_spin_loop

    while Ok(false) != b.compare_exchange(false, true, Ordering::Acquire, Ordering::Relaxed) { std::hint::spin_loop() }
    //~^ missing_spin_loop

    // This is OK, as the body is not empty
    while b.load(Ordering::Acquire) {
        std::hint::spin_loop()
    }
    // TODO: also match on loop+match or while let
}