The first declaration of a function shall
specify the
noreturn attribute if any declaration of that function specifies the
noreturn attribute
. If a function is declared with the
noreturn attribute in one
translation unit and the same function is declared without the
noreturn attribute in another
translation unit, the program is ill-formed, no diagnostic required
.