RealView Compilation Tools Compiler Reference Guide - ARM ...

Compiler-specific Features
Note
This function attribute is a GNU compiler extension that is supported by the ARM
compiler. It has the __declspec equivalent __declspec(noinline).
Example
static int b __attribute__ ((noinline));
See also
• #pragma [no_]inline on page 4-56
• __declspec(noinline) on page 4-25.
4.3.7 __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).
Example
int Function_Attributes_NoReturn_0(void) __attribute__ ((noreturn));
See also
• __declspec(noreturn) on page 4-25.
4.3.8 __attribute__((pure))
Many functions have no effects except to return a value, and that the return value
depends only on the parameters and global variables. Functions of this kind can be
subject to data flow analysis and might be eliminated.
Note
This function attribute is a GNU compiler extension that is supported by the ARM
compiler.
ARM DUI 0348A Copyright © 2007, 2010 ARM Limited. All rights reserved. 4-33
Non-Confidential