RealView Compilation Tools - ARM Information Center

Compiler-specific Features
Note
This function attribute is a GNU compiler extension that is supported by the ARM
compiler.
Syntax
__attribute__((nonnull(arg-index, ...)))
Where arg-index, ... denotes the argument index list.
If no argument index list is specified, all pointer arguments are marked as nonnull.
Example
The following declarations are equivalent:
void * my_memcpy (void *dest, const void *src, size_t len)
__attribute__((nonnull (1, 2)));
void * my_memcpy (void *dest, const void *src, size_t len)
__attribute__((nonnull));
4.3.10 __attribute__((noreturn))
This function attribute informs the compiler that the function does not return. The
compiler can then perform optimizations by removing the code that is never reached.
Note
This function attribute is a GNU compiler extension that is supported by the ARM
compiler. It has the __declspec equivalent __declspec(noreturn). However,
__attribute((noreturn)) and __declspec(noreturn) differ in that when compiling a
function definition, if the function reaches an explicit or implicit return,
__attribute((noreturn)) is ignored and the compiler generates a warning. This does not
apply to __declspec(noreturn).
Example
int Function_Attributes_NoReturn_0(void) __attribute__ ((noreturn));
See also
• __declspec(noreturn) on page 4-28.
4-36 Copyright © 2007-2010 ARM. All rights reserved. ARM DUI 0348C
Non-Confidential,
ID101213