Are all functions in C/C++ assumed to return?

Question

I was reading this paper on undefined behaviour and one of the example \"optimisations\" looks highly dubious:

if (arg2 == 0)
    ereport(ERROR,         


        

Answer 1

Most functions are assumed to eventually return. There are compiler-specific extensions in some compilers to inform the compiler that a function will never return.

__attribute__ ((noreturn)) does this for gcc.