tests/ui/cmse-nonsecure/cmse-nonsecure-entry/gate_test.rs

// gate-test-cmse_nonsecure_entry

#[no_mangle]
pub extern "C-cmse-nonsecure-entry" fn entry_function(input: u32) -> u32 {
    //~^ ERROR [E0570]
    //~| ERROR [E0658]
    input + 6
}

fn main() {}