add `noreturn` attribute to functions returning !

Closes #9317