GCC feature request: attribute((noreturn)) on asm

[Shaun Jackman]

I want to declare that the following function does not return, but GCC
complains.

__attribute__((noreturn))
void exec_application(void)
{
        asm("rcall application");
}

bootloader.c: In function 'exec_application':
bootloader.c:154: error: 'noreturn' function does return

Is there any way to hint that we're never coming back from the asm instruction?

Cheers,
Shaun