Specifies that a function will never return if it is called. This allows the compiler to make certain modifications to the control flow graph to improve the code generation. An example of an improvement would be to not conserve the LR or non-volatiles on the stack.