28 lines
908 B
Rust
28 lines
908 B
Rust
|
#![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() }
|
||
|
|
|
||
|
|
while !b.load(Ordering::SeqCst) { std::hint::spin_loop() }
|
||
|
|
|
||
|
|
while b.load(Ordering::Acquire) == false { std::hint::spin_loop() }
|
||
|
|
|
||
|
|
while { true == b.load(Ordering::Acquire) } { std::hint::spin_loop() }
|
||
|
|
|
||
|
|
while b.compare_exchange(true, false, Ordering::Acquire, Ordering::Relaxed) != Ok(true) { std::hint::spin_loop() }
|
||
|
|
|
||
|
|
while Ok(false) != b.compare_exchange(false, true, Ordering::Acquire, Ordering::Relaxed) { std::hint::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
|
||
|
|
}
|