src/tools/clippy/tests/ui/empty_loop_no_std.rs

//@compile-flags: -Clink-arg=-nostartfiles
#![warn(clippy::empty_loop)]
#![crate_type = "lib"]
#![no_std]

pub fn main(argc: isize, argv: *const *const u8) -> isize {
    // This should trigger the lint
    loop {}
    //~^ empty_loop
}