RealView Compilation Tools Compiler Reference Guide - ARM ...

Compiler-specific Features
Restrictions
The return address is not preserved when calling the noreturn function. This limits the
ability of a debugger to display the call stack.
Example
__declspec(noreturn) void overflow(void); // never return on overflow
int negate(int x)
{
if (x == 0x80000000) overflow();
return -x;
}
See also
• __attribute__((noreturn)) on page 4-33.
4.2.5 __declspec(nothrow)
The __declspec(nothrow) attribute asserts that a call to a function never results in a C++
exception being propagated from the call into the caller.
The ARM library headers automatically add this qualifier to declarations of C functions
that, according to the ISO C Standard, can never throw.
Usage
If the compiler knows that a function can never throw out, it might be able to generate
smaller exception-handling tables for callers of that function.
Restrictions
If a call to a function results in a C++ exception being propagated from the call into the
caller, the behavior is undefined.
This modifier is ignored when not compiling with exceptions enabled.
Example
struct S
{
~S();
4-26 Copyright © 2007, 2010 ARM Limited. All rights reserved. ARM DUI 0348A
Non-Confidential